Added some stuff for the Busy Beaver part