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


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


MAYBE


******** Signature ********
 pair : ((nat -> nat),nat) -> nat
 split : nat -> nat
 ap : ((a -> b),a) -> b
******** Computation Rules ********
 (1)  split(ap(F,Y)) => pair(F,Y)
 (ap)  ap(x.M[x],N) => M[N]
 (ap0)  ap(M,N) => M[N]

MAYBE