stat[i] имеет смысл количества человек, сдававших i экзаменов
обнуление массива stat
i := 0; j := 1; (* Инвариант: [i, j) - интервал из одинаковых номеров паспортов *)
WHILE (j < len) & (pass[j] = pass[i]) DO
   INC(j)
ELSIF (j < len) & (pass[j] # pass[i]) DO
   INC(stat[j - i]); i := j; j := i + 1
END;
IF i < len THEN (* чтобы алгоритм был применим к пустой последовательности *)
   INC(stat[j - i])
END

i := 0;
WHILE i < total DO
  count := 0;
  current := m[i];
  WHILE (i < total) & (current = m[i]) DO
    INC(i);
    INC(count)
  END
  INC(stat[count])
END

i := 0;
WHILE i < len DO
   j := i + 1;
   WHILE (j < len) & (pass[j] = pass[i]) DO
     INC(j)
   END;
   INC(stat[j-i])
   i := j
END

i := 0; j := 1;
WHILE (j < len)  DO
   IF  (pass[j] # pass[i])  THEN   INC(stat[j - i]); i := j  END;
   INC(j)
END;
IF i < len THEN  INC(stat[j - i]) END;