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


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


MAYBE


******** Signature ********
 0 : o
 either : (o,o) -> o
 f : ((o -> o),o,o) -> o
 g : (o,o) -> o
 s : o -> o
******** Computation Rules ********
 (1)  f(F,Y,0) => 0
 (2)  f(G,V,s(W)) => g(W,either(W,G[V]))
 (3)  g(P,X1) => f(%X.s(0),X1,P)

MAYBE