196.16/50.17	MAYBE
196.16/50.17	
196.16/50.17	Problem:
196.16/50.17	 a(x1) -> x1
196.16/50.17	 a(a(x1)) -> b(b(a(c(c(c(x1))))))
196.16/50.17	 c(b(x1)) -> a(x1)
196.16/50.17	
196.16/50.17	Proof:
196.16/50.17	 Open
196.16/50.17	EOF