User blog comment:Mh314159/A hopefully powerful new system/@comment-33713741-20190627114835/@comment-37246647-20190627224254

What's the upper bound for TREE(3) in terms of the FGH again?