<code pascal>
program towers;

const n=4;

type vez=record
            p:integer;
            d:array [1..n] of integer;
         end;

var a,b,c:vez;

procedure nuluj(var v:vez);
var i:integer;
begin
   v.p:=0;
   for i:=1 to n do
     v.d[i]:=0;
end;

procedure napln(var v:vez);
var i:integer;
begin
   for i:=1 to n do
     v.d[i]:=n-i+1;
   v.p:=n;
end;

procedure vypis(v:vez);
var i:integer;
begin
   for i:=1 to v.p do
     write(v.d[i],' ');
   write(' ':(2*n+2-2*v.p));
end;

procedure vypisVse;
begin
   vypis(a);
   write (' : ');
   vypis(b);
   write (' : ');
   vypis(c);
   writeln();
end;

procedure error (s: string);
begin
     writeln (s);
     halt;
end;

procedure krok(var x,y:vez);
begin

  if x.p=0 then error ('Nic!');
  if y.p=n then error ('Plno!');
  if y.p<>0 then
     if x.d[x.p]>y.d[y.p] then
        error ('Chyba!');

  y.p := y.p+1;
  y.d[y.p] := x.d[x.p];

  x.d[x.p] := 0;
  x.p := x.p - 1;


end;

begin
   napln(a);
   nuluj(b);
   nuluj(c);
   vypisVse;
   krok(a,c);
   vypisVse;
   readln();
end.

</code>