DeleteDupls=proc(a:array[int])
  i:int := array[int]$low(a)
  while i<array[int]$high(a) do
     x:int := a[i]
     j:int := i+1
     while j<=array[int]$high(a) do
       if x=a[j] then
         t:int := array[int]$remh(a)
         if j>array[int]$high(a) then break end
         a[j]:=t
       else
         j:=j+1
       end
     end
     i:=i+1
  end
end DeleteDupls