Ребус: VOLVO+FIAT=MOTOR, используя тип "Множество"

Program Rebus;// VOLVO + FIAT= MOTOR
Type
  MN = set of 0..9;
Var
  f,i,a,t,v,o,l,m,r : 0..9;
  S1, S2, S3 : MN;{для хранения цифр каждого из чисел}
  sum,motor:longint;
Begin
  S1 := [ ];
  S2 := [ ];
  s3 := [ ];
  for v := 1 to 9 do
  begin
    S1 := S1+[v];
    for o := 0 to 9 do
      if Not(o in S1) then
      begin
        S1 := S1+[o];
        for l := 0 to 9 do
          if Not (l in S1) then
          begin 
            S1 := S1+[l];                    
            for f:=0 to 9 do 
            begin
              S2 := S2+[f];
                for i :=0 to 9 do
                  if Not(i in S2) then
                  begin
                    S2 := S2+[i];
                    for a := 0 to 9 do
                      if Not (a in S2) then
                      begin 
                        S2 := S2+[a];      
                          for t:=0 to 9 do
                            if Not (t in S2) then
                              begin
                                s2:=s2+[t];
                                for m:=1 to 9 do 
                                begin
                                  S3 := S3+[m];                  
                                  for r:=0 to 9 do
                                    if Not (r in S3) then
                                    begin
                                      s3:=s3+[r];              
                                      sum:=10000*v+1000*(o+f)+100*(l+i)+10*(v+a)+(o+t);
                                      motor:=10000*m+1000*o+100*t+10*o+r;
                                      if sum=motor then
                                        if (s1*s2=[ ]) and (s2*s3=[t])and (s1*s3=[o])then
                                          writeln(v,o,l,v,o,'+',f,i,a,t,'=',m,o,t,o,r);
                                      s3:=s3-[r];
                                    end;
                                    s3:=s3-[m];
                                end;
                                s2:=s2-[t];
                              end;
                        s2:=s2-[a];
                      end;
                    s2:=s2-[i];
                  end;
               s2:=s2-[f];
            end;
            s1:=s1-[l]; 
          end;
          s1:=s1-[o];
      end;
    s1:=s1-[v];
  end;
  Readln;
End.

type
  mn = 0..9;
 
var
  v, o, l, f, i, a, t, m, r: mn;
  s: set of mn;
 
begin
  writeln('VOLVO+FIAT=MOTOR');
  for v := 1 to 9 do
    begin
      s := [v];
      for o := 0 to 9 do if not (o in s)
        then begin
          include(s, o);
          for l := 0 to 9 do if not (l in s)
            then begin
              include(s, l);
              for f := 1 to 9 do if not (f in s)
                then begin
                  include(s, f);
                  for i := 0 to 9 do if not (i in s)
                    then begin
                      include(s, i);
                      for a := 0 to 9 do if not (a in s)
                        then begin
                          include(s, a);
                          for t := 0 to 9 do if not (t in s)
                            then begin
                              include(s, t);
                              for m := 1 to 9 do if not (m in s)
                                then begin
                                  include(s, m);
                                  for r := 0 to 9 do
                                    if not (r in s) and
                                       ((((v*10+o+f)*10+l+i)*10+v+a)*10+o+t = (((m*10+o)*10+t)*10+o)*10+r)
                                      then writeln(v, o, l, v, o, '+', f, i, a, t, '=', m, o, t, o, r);
                                  exclude(s, m)
                                end;
                              exclude(s, t)
                            end;
                          exclude(s, a)
                        end;
                      exclude(s, i)
                    end;
                  exclude(s, f)
                end;
              exclude(s, l)
            end;
          exclude(s, o)
        end;
    end;
  readln
end.

type
  mn = 0..9;
 
const
  d: set of mn = [0..9];
 
var
  v, o, l, f, i, a, t, m, r: mn;
 
begin
  writeln('VOLVO+FIAT=MOTOR');
  for v in d - [0] do
    for o in d - [v] do
      for l in d - [v, o] do
        for f in d - [0, v, o, l] do
          for i in d - [v, o, l, f] do
            for a in d - [v, o, l, f, i] do
              for t in d - [v, o, l, f, i, a] do
                for m in d - [0, v, o, l, f, i, a, t] do
                  for r in d - [v, o, l, f, i, a, t, m] do
                    if ((((v*10+o+f)*10+l+i)*10+v+a)*10+o+t = (((m*10+o)*10+t)*10+o)*10+r)
                      then writeln(v, o, l, v, o, '+', f, i, a, t, '=', m, o, t, o, r);
  readln
end.