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


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


MAYBE


******** Signature ********
 0 : nat
 cons : (nat,list) -> list
 map : ((nat -> nat),list) -> list
 nil : list
 op : ((nat -> nat),(nat -> nat),nat) -> nat
 pow : ((nat -> nat),nat,nat) -> nat
 s : nat -> nat
******** Computation Rules ********
 (1)  map(F,nil) => nil
 (2)  map(F,cons(U,W)) => cons(F[U],map(F,W))
 (3)  pow(F,0) => %X.%X
 (4)  pow(F,s(V)) => op(F,pow(F,V))
 (5)  op(F,Z,V) => F[Z[V]]
 (6)  %Y.F[%Y] => F

MAYBE