Busy Beaver, the current BB(5) conjecture and bbchallenge.org · HackerTrans