Як виконується команда циклу з передумовою в Object Pascal?

Выполняя алгоритм, получаем следующий результат (15 итераций)

1. 0..65534 -> 32767
2. 0..32766 -> 16383
3. 0..16382 -> 8191
4. 0..8190  -> 4095
5. 0..4094  -> 2047
6. 2048..4094 -> 3071
7. 2048..3070 -> 2559
8. 2560..3070 -> 2815
9. 2816..3070 -> 2943
10. 2944..3070 -> 3007
11. 2944..3006 -> 2975
12. 2976..3006 -> 2991
13. 2992..3006 -> 2999
14. 3000..3006 -> 3003
15. 3000..3002 -> 3001

Если лень перебирать вручную, можно воспользоваться программой

var k,l,r,x,f:integer;
begin
f := 3001;
l := 0;
r := 65534;
x := (l + r) div 2;
k := 1;
while (x <> f) and (l < r) do
  begin
  writeln(k,' ',l,' ',r,' ',x);
  k := k + 1;
  if f < x then r := x - 1
    else l := x + 1;
  x := (l + r) div 2
  end;
writeln(k,' ',l,' ',r,' ',x);
end.

Uses Crt;
Var
   A,B:integer;
   P:real;
   C:boolean;
Begin
ClrScr;
Write('Введите натуральное число: ');ReadLn(B);
Write('A = ');ReadLn(A);
P:=1;
C:=false;
B:=Abs(B);
While B>0 do
   Begin
   P:=P*(B mod 10);
   if B mod 10 = A then C:=true;
   B:=B div 10
   End;
WriteLn('P = ',P);
if C then WriteLn('Не верно')
else WriteLn('Верно');
ReadLn
End.

uses Crt;
Var
   A:integer;
Begin
ClrScr;
For A:= 100 to 999 do
    if ((A+1) mod 2 = 0)and((A+2) mod 3 = 0)and((A+3) mod 4 = 0)and((A+4) mod 5 = 0) then Write(A,' ');
ReadLn;
End.

uses Crt;
Var
   A,B,C:integer;
Begin
ClrScr;
Write('Введите натуральное число: ');ReadLn(B);
Write('A = ');ReadLn(A);
C:=0;
While B<>0 do
   Begin
   if B mod 10 <> A then C:=C*10+B mod 10;
   B:=B div 10;
   End;
While C<>0 do
   Begin
   B:=B*10+C mod 10;
   C:=C div 10
   End;
WriteLn(B);
ReadLn;
End.