программа,по перестановке элементов по порядку.

[denis2010]

в программу вводим нули,единицы,двойки
выводим
эти числа по порядку,то есть сначала все нули,потом единицы,потом двойки...


const n=10;
procedure swap(var a,b:integer);{процедура,которая меняет два элемента в массиве}
var c: integer;{a,b-элементы массива,c-коробочка,нужная для перестановки элементов}
begin
c:=a;
a:=b;
b:=c;
end;
var
l,m,r,b,i:integer;
a: array[1..n] of integer;
begin
for i:=1 to n do
read(a[i]);
b:=1;
l:=0; m:=0; r:=n;
{инвариант: a[1..l]<b; a[l+1..m]=b; a[r+1]..a[n]>b}
while m <> r do begin
if a[m+1]=b then begin
m:=m+1;
end else if a[m+1]>b then begin
swap(a[m+1],a[r]);
r:=r-1;
end else begin {a[m+1]<b}
swap(a[m+1],a[l+1]);
l:=l+1; m:=m+1;
end;
end;
for i:=1 to n do
write(a[i], ' ');
end.

можете пож-ла прокомментировать каждую выделенную строку после строки инвариант и до двух end...
и объяснить мне по какому принципу работает эта программа?