MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 minus(X,s(Y)) -> pred(minus(X,Y))
0.08/0.17	 minus(X,0()) -> X
0.08/0.17	 pred(s(X)) -> X
0.08/0.17	 le(s(X),s(Y)) -> le(X,Y)
0.08/0.17	 le(s(X),0()) -> false()
0.08/0.17	 le(0(),Y) -> true()
0.08/0.17	 gcd(0(),Y) -> 0()
0.08/0.17	 gcd(s(X),0()) -> s(X)
0.08/0.17	 gcd(s(X),s(Y)) -> if(le(Y,X),s(X),s(Y))
0.08/0.17	 if(true(),s(X),s(Y)) -> gcd(minus(X,Y),s(Y))
0.08/0.17	 if(false(),s(X),s(Y)) -> gcd(minus(Y,X),s(X))
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.18	EOF