MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 min(0(),y) -> 0()
0.08/0.18	 min(x,0()) -> 0()
0.08/0.18	 min(s(x),s(y)) -> s(min(x,y))
0.08/0.18	 max(0(),y) -> y
0.08/0.18	 max(x,0()) -> x
0.08/0.18	 max(s(x),s(y)) -> s(max(x,y))
0.08/0.18	 p(s(x)) -> x
0.08/0.18	 f(s(x),s(y),s(z)) ->
0.08/0.18	 f(max(s(x),max(s(y),s(z))),p(min(s(x),max(s(y),s(z)))),min(s(x),min(s(y),s(z))))
0.08/0.18	 f(0(),y,z) -> max(y,z)
0.08/0.18	 f(x,0(),z) -> max(x,z)
0.08/0.18	 f(x,y,0()) -> max(x,y)
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.19	EOF