Паскаль. исполнитель “раздвоитель” преобразует натуральные числа. у него есть две команды: “вычесть 1” и “разделить на 2”, первая команда уменьшает число на 1, вторая команда уменьшает число в два раза, если оно чётное, иначе происходит ошибка.

Var a, b : integer;
begin
readln(a, b);
while a <> b do
begin
if (a >= b * 2) and (a mod 2 = 0) then
begin
a := round(a / 2);
writeln(':2');
end
else
begin
a := a - 1;
writeln(-1);
end
end;
end.