MAYBE
59.82/27.17	MAYBE
59.82/27.17	
59.82/27.17	Problem:
59.82/27.17	 a(x1) -> b(b(c(b(x1))))
59.82/27.17	 c(b(b(x1))) -> a(c(x1))
59.82/27.17	 c(c(x1)) -> x1
59.82/27.17	
59.82/27.17	Proof:
59.82/27.17	 Open
59.82/27.17	EOF