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