/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


MAYBE


******** Signature ********
 s : nat -> nat
 i : nat -> nat
 0 : nat
 ap : ((a -> b),a) -> b
******** Computation Rules ********
 (1)  i(s(X)) => s(ap(ap(Z.x46.z(z(x46)),x45.i(x45)),X))
 (ap)  ap(x.M[x],N) => M[N]
 (ap0)  ap(M,N) => M[N]
 (2)  i(0) => 0

MAYBE