W wiki.bbchallenge.org 10-th Busy Beaver is larger than Graham's number 3 points Kirr 23 days ago 1 comments