Сколько существует программ, для которых при исходном числе 1

Исполнитель Май16 преобразует число на экране. У исполнителя есть две команды, которым присвоены номера:1. Прибавить 12. Прибавить 2Первая команда увеличивает число на экране на 1, вторая увеличивает его на 2. Программа для исполнителя Май16 — это последовательность команд. Сколько существует программ, для которых при исходном числе 1 результатом является число 12 и при этом траектория вычислений содержит число 7? Траектория вычислений программы — это последовательность результатов выполнения всех команд программы. Например, для программы 121 при исходном числе 7 траектория будет состоять из чисел 8, 10, 11.