Переливание воды от Семизорова (этюд 12-15-19-13)

[sao]

У Вас есть три ёмкости: 12 литров, 15 литров и 19 литров; источник воды, из которого Вы можете в любой момент времени наполнить/дополнить любую ёмкость "до краёв". Также Вы можете в любой момент опустошить любую ёмкость, вылив из неё всю воду. Ни на одной из ёмкостей нет ни измерительных шкал, ни рисок, запрещается также набирать воду "на глазок". Требуется: с помощью переливаний воды получить 13 литров.

[fortpost]

Показать скрытый текст

0-0-19
12-0-7
0-0-7
0-15-7
12-3-7
12-0-10
12-15-10
0-15-10
12-3-10
12-0-13

[sao]

Показать скрытый текст

0-0-19
...
12-0-13

Вы решаете задачу за 10 шагов. Задача решается за 8. Постарайтесь решить за 8.

[Илья]

Показать скрытый текст

12-15-19
0  - 0 -19
0  -15-4
0  - 0 - 4
0  - 4 - 0
12- 4 - 0
1  -15- 0
0  -15 -1
12-15 -1