MAYBE
161.04/55.31	MAYBE
161.04/55.31	
161.04/55.31	Problem:
161.04/55.31	 a(x1) -> b(x1)
161.04/55.31	 a(c(x1)) -> b(c(c(a(x1))))
161.04/55.31	 c(b(b(x1))) -> a(x1)
161.04/55.31	
161.04/55.31	Proof:
161.04/55.31	 Open
161.04/55.32	EOF