197.00/50.07	MAYBE
197.00/50.07	
197.00/50.07	Problem:
197.00/50.07	 a(b(x1)) -> x1
197.00/50.07	 a(c(x1)) -> c(b(c(b(x1))))
197.00/50.07	 b(c(x1)) -> a(a(x1))
197.00/50.07	
197.00/50.07	Proof:
197.00/50.07	 Open
197.00/50.07	EOF