Задача о стабильных браках

Const n =8;
Type man = 1..n; woman = 1..n; rank = 1..n;
Var m: man; w: woman; r:rank;
        Wmr : array [man, rank] of woman;
        mwr : array [woman, rank] of man;   
        rwm : array [man, woman] of rank;
        Wmr : array [woman, man] of rank;
        X: array [man] of woman;
        Y: array [woman] of man;
        single: array [woman] of boolean;
procedure print;
        var m: man; rm, rw: integer;
begin rm:= 0;rw:=0;
        for m:=1 to n do
        begin write(x[m]:4);
    rm:=rm+rmw[m,x[m]]; rw := rw + rwm[x[m],m]
        end;
writeln(rm:8,rw:4);
end{print};
 
procedure try(m: man);
        var r: rank; w: woman;
 
        function stable: boolean;
var pm: man; pw: woman;
       i, lim: rank; s: boolean;
        begin s:=true; i:=1;
while(i<r) ^ s do
    begin pw:=wmr[m,i]; i:=i+1;
       if single[pw] then s:=rwm[pw,m]>rwm[pw,y[pw]];
end;
i:=1; lim:=rwm[w,m];
while (i<lim) ^ s do
begin pm:= mwr[w,i]; i:= i+1;
       if pm < m then s := rmw[pm,w] > rmw[pm,x[pm]]
end;
stable: = s
        end{stable};
begin{try}
        for r:=1 to n do
        begin w:=wmr[m,r];
        if single[w] then 
if stable then
begin x[m]:=w; y[w]:=m; single[w]:=false;
     if m<n then try(succ(m)) else print;
     single[w]:= true
end
          end
end{try};
begin
          for m: = 1 to n do
for r:= 1 to n do
begin read(wmr[m,r]); rmw[m,wmr[m;r]]:=r
end;
          for w:=1 to n do
for r := 1 to n do
begin read(mwr[w,r]); rwm[w,mwr[w,r]] :=r
end;
          for w:=1 to n do single[w] := true;
          try(1)
end.