User blog comment:DrCeasium/The value of Rado's sigma function for 5-state TMs/@comment-32876686-20170902180613

This is interesting, so if I am correct, what you are doing is proving that BB(5) where BB(x) is the busy beaver function of x, is 4098 ?