Delphi... Проблема с динамическими массивами (попытка чтения по неправильному адресу)

[g0liath]

Уже которые сутки не могу найти ошибку. Не одну сотню раз пересматривал код, вносил многочисленные изменения, но ничего не помогло. Начал уже писать программу заново немного поменяв логику реализации, но это не помогло.

Вкратце о программе: в ней генерируется массив ключей, после чего происходит хеширование и эти ключи распределяются по хеш-таблице. Таблица заданна динамическими массивами. Если в основной таблице заканчивается свободное место, то динамически выделяется область памяти под еще один массив, указатель на который запоминается.

Ошибка: систематически (твердой закономерности не найдено) выскакивает ошибка, которая сообщает о попытке чтения по неправильному адресу.

  TAChar = array [1..6] of Char;
//Запись
  TRecord = record
    Key: TAChar;
    Number: Word;
  end;
//Пакет
  TPPacket = ^TPacket;
  TPacket = record
    ARecords: array of TRecord;
    Over: TPPacket;
  end;

var
  Form1: TForm1;
  ARecords1: array [1..1000] of TRecord;
  ARecords2: array [1..200] of TRecord;
  APackets: array of TPacket;
  
implementation

{$R *.dfm}

//Сгенерировать массивы ключей
procedure TForm1.Button1Click(Sender: TObject);
const
  CharTable: string = 'ABCDEFGHIJKLMNOPQSTUVWXYZ';
var
  I, J: Word;
  B: Boolean;
begin
  Randomize;
  for I := 1 to 1000 do begin
    repeat
      B := True;
      for J := 1 to 6 do
        ARecords1[I].Key[J] := CharTable[Random(Length(CharTable))+1];
      for J := I-1 downto 1 do
        if ARecords1[I].Key = ARecords1[J].Key then B := False;
    until B;
    ARecords1[I].Number := I;
    Form1.StringGrid1.Cells[0,I-1] := ARecords1[I].Key;
    Form1.StringGrid1.Cells[1,I-1] := IntToStr(ARecords1[I].Number);
  end;
  for I := 1 to 200 do begin
    repeat
      B := True;
      for J := 1 to 6 do
        ARecords2[I].Key[J] := CharTable[Random(Length(CharTable))];
      for J := I-1 downto 1 do
        if ARecords2[I].Key = ARecords2[J].Key then B := False;
      for J := 1 to 1000 do
        if ARecords2[I].Key = ARecords1[J].Key then B := False;
    until B;
    ARecords2[I].Number := I;
    Form1.StringGrid2.Cells[0,I-1] := ARecords2[I].Key;
    Form1.StringGrid2.Cells[1,I-1] := IntToStr(ARecords2[I].Number);
  end;
end;

[часть кода вырезана]

//Хеширование
procedure TForm1.Button2Click(Sender: TObject);
var
  I, J, N, B, R: Word;
  Flag: Boolean;
  P: TPPacket;
begin
  B := StrToInt(Form1.ComboBox1.Text);
  R := Round(1200/B);
  SetLength(APackets, B);
  for I := 0 to B-1 do begin
    SetLength(APackets[I].ARecords, Round(1200/B));
    for J := 0 to Round(1200/B)-1 do
      APackets[I].ARecords[J].Number := 0;
  end;

  for I := 1 to 1000 do begin
    case Form1.ComboBox2.ItemIndex of
      0: N := AverageSquares(ARecords1[I].Key, B);
      1: N := FoldingMethod(ARecords1[I].Key, B);
    end;

    Flag := False;
    P := @APackets[N];
    while P.Over <> Nil do
      P := P.Over;
    while Flag = False do begin
      for J := 0 to Round(1200/B)-1 do
        if P.ARecords[J].Number = 0 then begin
          P.ARecords[J] := ARecords1[I];
          Flag := True;
          Break;
        end;
      if Flag = False then begin
        GetMem(P.Over, SizeOf(TPacket));
        P := P.Over;
        P.Over := Nil;
        SetLength(P.ARecords, Round(1200/B));
        for J := 0 to Round(1200/B)-1 do
          P.ARecords[J].Number := 0;
        P.ARecords[0] := ARecords1[I];
        Flag := True;
      end;
    end;
  end;
end;

Когда появляется ошибка: сперва генерируется массив, потом в хэш-таблицу загоняется 1000 элементов. Вот именно в этот момент и происходит ошибка. Не всегда. Вероятность появление ошибки повышается при изменении числа пакетов в ComboBox1.

[Скандербег]

"Попытка скрестить бульдога с носорогом всегда приводит к непредсказуемым результатам" .
Исправления с комментариями в прицепе.

[g0liath]

Огромное спасибо. Я смог сам решить проблему и сдать работу, но комментарии были крайне интересны и познавательны.