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


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


MAYBE


******** Signature ********
 s : nat -> nat
 i : nat -> nat
 0 : nat
******** Computation Rules ********
 (1)  i(s(X)) => s(ap(ap(Z.x46.z(z(x46)),x45.i(x45)),X))
 (2)  i(0) => 0

MAYBE