Решение ребуса ТЕНЬ + ТЕНЬ = МРАК

uses crt;
var t,e,n,z,m,r,a,k,x:integer;
begin
clrscr;
x:=0;
for t:=1 to 9 do
for e:=0 to 9 do
for n:=0 to 9 do
for z:=0 to 9 do
for m:=1 to 9 do
for r:=0 to 9 do
for a:=0 to 9 do
for k:=0 to 9 do
if (2000*t+200*e+20*n+2*z=1000*m+100*r+10*a+k)
and(t<>e)and(t<>n)and(t<>z)and(t<>m)and(t<>r)and(t<>a)and(t<>k)
and(e<>n)and(e<>z)and(e<>m)and(e<>r)and(e<>a)and(e<>k)
and(n<>z)and(n<>m)and(n<>r)and(n<>a)and(n<>k)
and(z<>m)and(z<>r)and(z<>a)and(z<>k)
and(m<>r)and(m<>a)and(m<>k)
and(r<>a)and(r<>k)and(a<>k) then
 begin
  writeln(t,e,n,z,'+',t,e,n,z,'=',m,r,a,k);
  x:=x+1;
  if x mod  20=0 then readln
 end;
readln
end.

Type
  mn = Set of 0..9;
  Var
  t,e,n,z: 0..9;  //числа тени
  count, //счетчик числа решений
  n1, n2: Integer;
  a1, a2, a3, a4: 0..9; //мрачные числа
  s1, s2: mn; //охранна цифр
Procedure Print( x, y: Integer); { вывод решения в виде ребуса }
begin
  Inc(count);
  writeln(count,':');
  Writeln( x: 5 );
    Writeln('+');
    Writeln( x: 5 );
    Writeln('-------');
    Writeln( y:5 );
  writeln;
 
end;
 
Begin
count := 0;
  s1 := []; s2 := [];
  for t := 1 to 4 do begin
    s1:=s1 + [t]; { заносим первую использованную цифрру }
    for e:=0 to 9 do
 
    if not (e in s1) then begin
      s1 := s1 + [e];
      for n := 0 to 9 do
        if not (n in s1) then begin
          s1 := s1 + [n];
          for z:=1 to 9 do
            if not (z in s1) then begin
              s1 := s1 + [z];
              n1:=1000*t+100*e+10*n+z; //число для тени
              n2 := 2*n1;//число для мрака
              a1:=n2 div 1000; //выделяем мрак
              a2:=n2 div 100 mod 10;
              a3:=n2 div 10 mod 10;
              a4:=n2 mod 10;
              s2:=[a1,a2,a3,a4];// мрачное числовое множество
              if (s1 * s2 = []) and ([a1]*[a2] = [])
                 and ([a1]*[a3] = []) and ([a1]*[a4] = [])
                 and ([a2]*[a3] = []) and ([a2]*[a4] = [])
                 and ([a3]*[a4] = [])then Print(n1, n2);
              s1 := s1 - [z];
            end;
          s1 := s1 - [n];
        end;
        s1 := s1 - [e];
    end;
    s1 := s1 - [t];
  end;
  Writeln('vsego naydeno', count );
  Readln;
End.