193.97/50.05	MAYBE
193.97/50.05	
193.97/50.05	Problem:
193.97/50.05	 a(x1) -> x1
193.97/50.05	 a(b(x1)) -> b(b(c(a(c(x1)))))
193.97/50.05	 b(x1) -> x1
193.97/50.05	 c(c(x1)) -> a(x1)
193.97/50.05	
193.97/50.05	Proof:
193.97/50.05	 Open
193.97/50.05	EOF