197.44/50.54	MAYBE
197.44/50.54	
197.44/50.54	Problem:
197.44/50.54	 a(a(x1)) -> b(b(b(c(x1))))
197.44/50.54	 b(c(b(x1))) -> a(b(c(x1)))
197.44/50.54	
197.44/50.54	Proof:
197.44/50.54	 Open
197.44/50.55	EOF