MAYBE
161.05/55.38	MAYBE
161.05/55.38	
161.05/55.38	Problem:
161.05/55.38	 a(x1) -> b(x1)
161.05/55.38	 a(b(c(x1))) -> c(c(b(a(a(x1)))))
161.05/55.38	 c(c(x1)) -> x1
161.05/55.38	
161.05/55.38	Proof:
161.05/55.38	 Open
161.05/55.39	EOF