MAYBE
194.55/56.70	MAYBE
194.55/56.70	
194.55/56.70	Problem:
194.55/56.70	 foo(0(x1)) -> 0(s(p(p(p(s(s(s(p(s(x1))))))))))
194.55/56.70	 foo(s(x1)) -> p(s(p(p(p(s(s(p(s(s(p(s(foo(p(p(s(s(p(s(bar(p(p(s(s(p(s(x1))))))))))))))))))))))))))
194.55/56.70	 bar(0(x1)) -> 0(p(s(s(s(x1)))))
194.55/56.70	 bar(s(x1)) -> p(s(p(p(s(s(foo(s(p(p(s(s(x1))))))))))))
194.55/56.70	 p(p(s(x1))) -> p(x1)
194.55/56.70	 p(s(x1)) -> x1
194.55/56.70	 p(0(x1)) -> 0(s(s(s(s(x1)))))
194.55/56.70	
194.55/56.70	Proof:
194.55/56.70	 Open
194.55/56.72	EOF