Re: [math-fun] Exponential tower parenthesization counts