function IsWhite(p: pInteger; count: integer; var calls: integer): boolean;
begin;
  inc(calls);
  Result:=false;
  while count>0 do begin;
    Result:=Result or (p^>=0);
    inc(p);
    dec(count);
    end;
  end;

function FindOne(p: pInteger; count: integer; var calls: integer): integer;
begin;
  if count>1 then begin;
    count:=count shr 1;
    if not IsWhite(p, count, calls) then inc(p, count);
    Result:=FindOne(p, count, calls);
    end
  else Result:=p^;
  end;

procedure TForm1.Button1Click(Sender: TObject);
var
  x: array[0..13] of integer;
  sol: array[0..1] of integer;
  group: array[0..1] of integer;
  i, j, i1, i2, calls, gcount, maxcalls, maxi1, maxi2: integer;
begin;
  maxcalls:=0; maxi1:=0; maxi2:=0;
  for i2:=1 to Length(x)-1 do begin;
    for i1:=0 to i2-1 do begin;
      for i:=0 to Length(x)-1 do x[i]:=-1;
      x[i1]:=i1;
      x[i2]:=i2;
      calls:=0;
      gcount:=0;
      if IsWhite(@x[0],4,calls) then begin; group[gcount]:=0; inc(gcount); end; //0..3
      if IsWhite(@x[4],4,calls) then begin; group[gcount]:=4; inc(gcount); end; //4..7
      if (gcount<2) and IsWhite(@x[8],4,calls) then begin; group[gcount]:=8; inc(gcount); end; //8..11

      if gcount>=2 then for i:=0 to 1 do sol[i]:=FindOne(@x[group[i]],4,calls)
      else if gcount=0 then begin;
        sol[0]:=x[12];
        sol[1]:=x[13];
        end
      else begin; //gcount=1
        if IsWhite(@x[12],2,calls) then begin;
          sol[0]:=FindOne(@x[group[0]],4,calls);
          sol[1]:=FindOne(@x[12],2,calls);
          end
        else begin;
          i:=0; j:=0;
          while (i<2) and (j<3) do begin;
            if IsWhite(@x[group[0]+j],1,calls) then begin; sol[i]:=x[group[0]+j]; inc(i); end;
            inc(j);
            end;
          if i=1 then sol[1]:=x[group[0]+3];
          end;
        end;

      if maxcalls<calls then begin;
        maxcalls:=calls; maxi1:=i1; maxi2:=i2;
        end;
      if (i1<>sol[0]) or (i2<>sol[1])
      then Memo1.Lines.Add(Format('Неверное определение %d %d <> %d %d', [i1, i2, sol[0], sol[1]]));
      end;
    end;
  Memo1.Lines.Add(Format('Максимум проверок %d для шаров %d %d', [maxcalls, maxi1, maxi2]));
  end;