Две кучи камней
Два игрока, Петя и Ваня, играют в следующую игру. Перед игроками лежат две кучи камней. Игроки ходят по очереди, первый ход делает Петя. За один ход игрок может:
- добавить в одну из куч (по своему выбору) 4 камня;
- увеличить количество камней в одной из куч (по своему выбору) в 2 раза.
Например, пусть в одной куче 20 камней, а в другой 30 камней; такую позицию в игре обозначим (20, 30). Тогда за один ход можно получить любую из четырёх позиций: (24, 30), (20, 34), (40, 30), (20, 60).
Для того чтобы делать ходы, у каждого игрока есть неограниченное количество камней. Игра завершается в тот момент, когда суммарное количество камней в кучах становится не менее 133. Победителем считается игрок, сделавший последний ход, т.е. первым получивший такую позицию, при которой в двух кучах суммарно будет 133 камня или больше. В начальный момент в первой куче было 17 камней, во второй куче - камней; .
Будем говорить, что игрок имеет выигрышную стратегию, если он может выиграть при любых ходах противника.
Известно, что Ваня выиграл своим первым ходом. Укажите минимальное значение , при котором такая ситуация возможна.