In hard mode we're asked to "The computer takes enough tokens to make the size of the pile a power of 2-1", but what if the pile is a power of 2^n -1  at the beginning of the computer's turn? 

Edit:

" This will always be a legal move except when the size of the pile is one less than a power of two. " got it!