MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 gt(s(x),0()) -> true()
0.08/0.18	 gt(0(),y) -> false()
0.08/0.18	 gt(s(x),s(y)) -> gt(x,y)
0.08/0.18	 divides(x,y) -> div(x,y,y)
0.08/0.18	 div(0(),0(),z) -> true()
0.08/0.18	 div(0(),s(x),z) -> false()
0.08/0.18	 div(s(x),0(),s(z)) -> div(s(x),s(z),s(z))
0.08/0.18	 div(s(x),s(y),z) -> div(x,y,z)
0.08/0.18	 prime(x) -> test(x,s(s(0())))
0.08/0.18	 test(x,y) -> if1(gt(x,y),x,y)
0.08/0.18	 if1(true(),x,y) -> if2(divides(x,y),x,y)
0.08/0.18	 if1(false(),x,y) -> true()
0.08/0.18	 if2(true(),x,y) -> false()
0.08/0.18	 if2(false(),x,y) -> test(x,s(y))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.19	EOF