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


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


MAYBE


******** Signature ********
 0 : a -> b
 cons : ((a -> b),c) -> c
 hd : (c,a) -> b
 map : ((((a -> b),a) -> b),c) -> c
 nil : c
******** Computation Rules ********
 (1)  F[0,Y] => hd(map(F,cons(0,nil)),Y)
 (2)  map(G,nil) => nil
 (3)  map(H,cons(I,P)) => cons(H[I],map(H,P))

MAYBE