The order of 1's within the number is 1 2 4 7 11 16 ...You can find the n'th number in sequence is equal to 1+n*(n-1)/2. So for any given input a, it is sufficient to test whether or not (a-1)*2 is equal to multiplication of two consequence number. I hope it helps