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