MAYBE
116.32/55.30	MAYBE
116.32/55.30	
116.32/55.30	Problem:
116.32/55.30	 f(f(a(),b()),x) -> f(b(),f(a(),f(c(),f(b(),f(a(),x)))))
116.32/55.30	 f(x,f(y,z)) -> f(f(x,y),z)
116.32/55.30	
116.32/55.30	Proof:
116.32/55.30	 Open
116.32/55.31	EOF