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


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


MAYBE


******** Signature ********
 f : ((d -> d),b) -> c
 g : (b,a,d) -> d
 h : ((a,b) -> c) -> b
 i : c -> c
******** Computation Rules ********
 (1)  f(g(h(F),Y),U) => i(F[Y,U])

MAYBE