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