MAYBE
0.07/0.18	MAYBE
0.07/0.19	
0.07/0.19	Problem:
0.07/0.19	 -(x,0()) -> x
0.07/0.19	 -(s(x),s(y)) -> -(x,y)
0.07/0.19	 <=(0(),y) -> true()
0.07/0.19	 <=(s(x),0()) -> false()
0.07/0.19	 <=(s(x),s(y)) -> <=(x,y)
0.07/0.19	 if(true(),x,y) -> x
0.07/0.19	 if(false(),x,y) -> y
0.07/0.19	 perfectp(0()) -> false()
0.07/0.19	 perfectp(s(x)) -> f(x,s(0()),s(x),s(x))
0.07/0.19	 f(0(),y,0(),u) -> true()
0.07/0.19	 f(0(),y,s(z),u) -> false()
0.07/0.19	 f(s(x),0(),z,u) -> f(x,u,-(z,s(x)),u)
0.07/0.19	 f(s(x),s(y),z,u) -> if(<=(x,y),f(s(x),-(y,x),z,u),f(x,u,z,u))
0.07/0.19	
0.07/0.19	Proof:
0.07/0.19	 Open
0.07/0.19	EOF