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


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


MAYBE


******** Signature ********
 pair : ((nat -> nat),nat) -> nat
 split : nat -> nat
******** Computation Rules ********
 (1)  split(F[Y]) => pair(F,Y)

MAYBE