Есть кучка из 2017 камней. Петя и Вася по очереди берут из неё камни (начинает Петя). Разрешается брать строго меньше половины от текущего числа камней. Проигрывает тот, кто не может сделать ход. Кто выиграет?