User blog comment:LittlePeng9/First order oodle theory/@comment-172.58.104.9-20161113193108

Does anyone know which BB(n) (Busy Beaver) would be larger than Gongulus?