MAYBE
56.70/17.03	MAYBE
56.70/17.03	
56.70/17.03	Problem:
56.70/17.03	 f(0(x1)) -> s(0(x1))
56.70/17.03	 d(0(x1)) -> 0(x1)
56.70/17.03	 d(s(x1)) -> s(s(d(p(s(x1)))))
56.70/17.03	 f(s(x1)) -> d(f(p(s(x1))))
56.70/17.03	 p(s(x1)) -> x1
56.70/17.03	
56.70/17.03	Proof:
56.70/17.03	 Open
56.70/17.03	EOF