196.24/50.16	MAYBE
196.24/50.16	
196.24/50.16	Problem:
196.24/50.16	 c(c(c(c(x1)))) -> b(b(b(b(x1))))
196.24/50.16	 b(b(x1)) -> x1
196.24/50.16	 b(b(x1)) -> c(b(c(x1)))
196.24/50.16	
196.24/50.16	Proof:
196.24/50.16	 Open
196.24/50.17	EOF