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