Considere o trecho de pseudocódigo mostrado a seguir:

Proc2(inteiro x, inteiro n, inteiro v[])
inteiro k, m, d;
k ← 1
d ← n
enquanto (k <= d) faça
m ← (k + d) div 2 /* div = divisão inteira */
se (v[m] = x) então retorna m;
se (v[m] < x ) então k ← m +1
senão d ← m - 1
fim_enquanto;
retorna -1;

Tendo em vista os elementos do vetor v mostrados acima e para n = 8 e x = 6, assinale a alternativa que apresenta CORRETAMENTE o valor retornado por Proc2: