MAYBE
156.63/55.36	MAYBE
156.63/55.36	
156.63/55.36	Problem:
156.63/55.36	 a(a(b(x1))) -> c(a(c(a(a(x1)))))
156.63/55.36	 a(c(x1)) -> b(a(x1))
156.63/55.36	
156.63/55.36	Proof:
156.63/55.36	 Open
156.63/55.37	EOF