Задача #5501

Исполнитель К17 преобразует число, записанное на экране.

У исполнителя есть три команды, которым присвоены номера:

1.Прибавить 1

2.Прибавить 2

3.Умножить на 2

Первая из них увеличивает число на экране на 1, вторая увеличивает его на 2, третья умножает на 2.

Программа для исполнителя К17 – это последовательность команд.

Сколько существует таких программ, которые преобразуют исходное число 4 в число 15 и при этом траектория вычислений программы содержит числа 9 и 12? Траектория должна содержать оба указанных числа.