196.05/50.12	MAYBE
196.05/50.12	
196.05/50.12	Problem:
196.05/50.12	 a(x1) -> b(b(c(x1)))
196.05/50.12	 c(a(x1)) -> x1
196.05/50.12	 c(b(b(b(x1)))) -> a(a(x1))
196.05/50.12	
196.05/50.12	Proof:
196.05/50.12	 Open
196.05/50.13	EOF