Turing machines deciders, part I

The bbchallenge Collaboration, Justin Blanchard, Konrad Deka +9

The Busy Beaver Challenge (or bbchallenge) aims at collaboratively solving the following conjecture: "$S(5)=47,176,870$" [Radó, 1962], [Marxen and Buntrock, 1990], [Aaronson…