MAYBE
132.58/55.42	MAYBE
132.58/55.42	
132.58/55.42	Problem:
132.58/55.42	 c(c(c(a(x1)))) -> d(d(x1))
132.58/55.42	 d(b(x1)) -> c(c(x1))
132.58/55.42	 b(c(x1)) -> b(a(c(x1)))
132.58/55.42	 c(x1) -> a(a(x1))
132.58/55.42	 d(x1) -> b(c(x1))
132.58/55.42	
132.58/55.42	Proof:
132.58/55.42	 Open
132.58/55.42	EOF