195.80/50.04	MAYBE
195.80/50.04	
195.80/50.04	Problem:
195.80/50.04	 a(x1) -> x1
195.80/50.04	 a(b(b(x1))) -> b(b(b(a(c(a(x1))))))
195.80/50.04	 c(b(x1)) -> x1
195.80/50.04	
195.80/50.04	Proof:
195.80/50.04	 Open
195.80/50.04	EOF