197.01/50.36	MAYBE
197.01/50.36	
197.01/50.36	Problem:
197.01/50.36	 a(x1) -> x1
197.01/50.36	 a(b(x1)) -> c(x1)
197.01/50.36	 c(c(x1)) -> b(a(c(b(a(a(x1))))))
197.01/50.36	
197.01/50.36	Proof:
197.01/50.36	 Open
197.01/50.37	EOF