Given a positive integer n, the player picks numbers from 1..n one at a time and groups them into pairs whose sum is a power of 2. Return true if all of 1..n can be paired this way.