MAYBE
198.62/55.69	MAYBE
198.62/55.69	
198.62/55.69	Problem:
198.62/55.69	 p(a(a(x0)),p(x1,p(a(x2),x3))) -> p(x2,p(a(a(b(x1))),p(a(a(x0)),x3)))
198.62/55.69	
198.62/55.69	Proof:
198.62/55.69	 Open
198.62/55.69	EOF