MAYBE
182.26/55.33	MAYBE
182.26/55.33	
182.26/55.33	Problem:
182.26/55.33	 a(a(b(x1))) -> b(b(c(a(c(x1)))))
182.26/55.33	 a(c(x1)) -> a(a(x1))
182.26/55.33	
182.26/55.33	Proof:
182.26/55.33	 Open
182.26/55.33	EOF