197.02/50.10	MAYBE
197.02/50.10	
197.02/50.10	Problem:
197.02/50.10	 a(x1) -> x1
197.02/50.10	 a(b(a(b(x1)))) -> c(b(c(a(x1))))
197.02/50.10	 c(x1) -> b(a(x1))
197.02/50.10	
197.02/50.10	Proof:
197.02/50.10	 Open
197.02/50.10	EOF