Ops a:0 f:1
TRS rebelsky10
f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(a)))))))))))))))))))) -> a
