paying notes stack end
high stack in efficiency
proof stack proof stack ___