Модуль для работы с множествами [Pascal]

[iFool]

Реализовать Модуль для работы с множествами целых чисел, число элементов в котором больше, чем 256. Модуль должен содержать процедуры инициализации множества, включения, исключения элемента, проверки принадлежности элемента множеству; объединения, пересечения и разности множеств. Написать программу, иллюстрирующую работу данного модуля/
Множество должно удовлетворять

const
  maxDigit = 10000;
  ArraySize = maxDigit div (high (byte) + 1);
type
  TSet = set of byte;
  PSet = ^TSet;
  TBigSet = array [0..ArraySize] of PSet;

мои нароботки
Вот мой недописанный модуль (не все процедуры пока)

unit Unit1;

interface
  const
    maxDigit = 10000;
    ArraySize = maxDigit div (high (byte) + 1);
  type
    TSet = set of byte;
    PSet = ^TSet;
    TBigSet = array [0..ArraySize] of PSet;

{Инициализация множества}
procedure CreateSet(var s: TBigSet);

{Объединение множеств}
procedure PlusSet(var left: TBigSet; right: TBigSet);

{Включение элемента в множество}
procedure include(var s: TBigSet; i: Integer);

{Проверка на пустоту}
function is_empty(const s: TBigSet): boolean;

{Проверка, включен ли элемент в множество}
function in_set(const s: TBigSet; i: Integer): boolean;

{Печать}
procedure print_set(s: TBigSet);

implementation

procedure CreateSet(var s: TBigSet);
var i: integer;
begin
  for i := 0 to pred(ArraySize) do begin
    new(s[i]); s[i]^ := [];
  end;
  readln;
end;

procedure PlusSet(var left: TBigSet; right: TBigSet);
var i: integer;
begin
  for i := 0 to pred(ArraySize) do
    left[i]^ := left[i]^ + right[i]^;
end;

procedure include(var s: TBigSet; i: Integer);
begin
	system.include(s[i div 256]^, i mod 256)
end;

function is_empty(const s: TBigSet): boolean;
var
	_result: boolean;
	i: integer;
begin
	_result := true;
	i := 0;
	while _result and (i < ArraySize) do begin
		_result := _result and (S[i]^ = []);
		inc(i);
	end;
	is_empty := _result;
end;

function in_set(const s: TBigSet; i: Integer): boolean;
begin
	in_set := (i mod 256) in s[i div 256]^;
end;

procedure print_set(s: TBigSet);
var
	i: integer;
begin
	for i := 0 to maxDigit do
		if in_set(s, i) then write(i:6);
	writeln;
end;

end.

Сам код программы::

program Project_BigSet;

uses
  SysUtils,  Unit1;

var
  first, second: TBigSet; i:integer;
begin

  writeln ('Vvedi elementy');
        CreateSet(first);
        for i := 2 to 20 do include(first, i);
        CreateSet(second);
        for i := 12 to 30 do include(second, i);

        PlusSet(first, second);
        print_set(first);

        readln;
        readln;
end.

короче, не работает пока
что не так??

[puporev]

короче, не работает

Что конкретно не работает? У меня работает, только в конце нового множества выкидывает мусор, потому что неверно написана процедура print_set(s: TBigSet); неверно определен размер множества. Напиши так.

procedure print_set(s: TBigSet);
var
	i: integer;
begin
	for i := 0 to maxDigit do
		if in_set(s, i) then write(i:6);
	writeln;
end;

По хорошему еще бы надо процедуру освобождения памяти.

procedure DisposeSet(var s: TBigSet);
var i: integer;
begin
  for i := 0 to pred(ArraySize) do
  dispose(s[i]);
end;

[iFool]

не пойму почему вылетает
начинаю вводить множество и вылетае