higher bound for the

stack of the stack stack stack stack

stack stack stack a a✕