Re: [math-fun] Lexicographic ordering of powers of two ...