Problem #WSP-000208

Problem

Tommy and Claire are going to get some number of game tokens tomorrow. They are planning to play a game: each player can take $1,4$ or $5$ tokens from the total. The person who can’t take any more loses. Claire will start. They don’t know how many tokens they will get. They might get a number between $1$ and $2025$. In how many cases Claire will have a winning strategy?