MAYBE
33.78/10.36	MAYBE
33.78/10.36	
33.78/10.36	Problem:
33.78/10.36	 a(x1) -> x1
33.78/10.36	 a(a(x1)) -> b(a(b(c(c(b(x1))))))
33.78/10.36	 c(b(x1)) -> a(x1)
33.78/10.36	
33.78/10.36	Proof:
33.78/10.36	 Open
33.78/10.37	EOF