MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 times(x,y) -> sum(generate(x,y))
0.07/0.18	 generate(x,y) -> gen(x,y,0())
0.07/0.18	 gen(x,y,z) -> if(ge(z,x),x,y,z)
0.07/0.18	 if(true(),x,y,z) -> nil()
0.07/0.18	 if(false(),x,y,z) -> cons(y,gen(x,y,s(z)))
0.07/0.18	 sum(nil()) -> 0()
0.07/0.18	 sum(cons(0(),xs)) -> sum(xs)
0.07/0.18	 sum(cons(s(x),xs)) -> s(sum(cons(x,xs)))
0.07/0.18	 ge(x,0()) -> true()
0.07/0.18	 ge(0(),s(y)) -> false()
0.07/0.18	 ge(s(x),s(y)) -> ge(x,y)
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.19	EOF