[math-fun] opposite of Gray code