User blog comment:WaxPlanck/Log of 8-state TMs/@comment-34434829-20180124094312/@comment-31607182-20180124153235

What formula did you use? I got 7,958,661,109,946,400,884,391,936 TM's using $$ (4n+4)^{2*n} $$