Одна куча камней
Два игрока, Петя и Ваня, играют в следующую игру. Перед игроками лежит куча камней. Игроки ходят по очереди, первый ход делает Петя. За один ход игрок может добавить в кучу один или четыре камня, или увеличить количество камней в куче вдвое. Например, из кучи в 15 камней игрок может получить кучу из 16, 19 или 30 камней. Для того чтобы делать ходы, у каждого игрока есть неограниченное количество камней.
Игра завершается в тот момент, когда количество камней в кучах становится не менее 40. Победителем считается игрок, сделавший последний ход.
В начальный момент в куче было камней, .
Будем говорить, что игрок имеет выигрышную стратегию, если он может выиграть при любых ходах противника.
Известно, что Петя не может выиграть своим первым ходом, однако после любого хода Пети Ваня может выиграть. Укажите значение , когда такая ситуация возможна.