MAYBE
198.92/58.47	MAYBE
198.92/58.47	
198.92/58.47	Problem:
198.92/58.47	 v(s(x1)) -> s(p(p(s(s(s(s(s(s(s(s(w(p(p(s(s(p(s(p(s(x1))))))))))))))))))))
198.92/58.47	 v(0(x1)) -> p(p(s(s(0(p(p(s(s(s(s(s(x1))))))))))))
198.92/58.47	 w(s(x1)) -> s(s(s(s(s(s(p(p(s(s(v(p(p(s(s(s(p(p(s(s(x1))))))))))))))))))))
198.92/58.47	 w(0(x1)) -> p(s(p(p(p(p(p(p(p(p(s(s(0(s(s(s(s(s(s(x1)))))))))))))))))))
198.92/58.47	 p(p(s(x1))) -> p(x1)
198.92/58.47	 p(s(x1)) -> x1
198.92/58.47	 p(0(x1)) -> 0(s(s(s(s(s(s(s(p(s(x1))))))))))
198.92/58.47	
198.92/58.47	Proof:
198.92/58.47	 Open
198.92/58.48	EOF