MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { f(0()) -> cons(0()) , f(s(0())) -> f(p(s(0()))) , p(s(X)) -> X} Proof Output: The input cannot be shown compatible