Observe o trecho de programa em Object Pascal, a seguir:

for N:=7 to 13 do writeln(N:5);

Assinale a alternativa que apresente corretamente codificação equivalente, que utiliza a estrutura de controle repeat ... until ... e que produz o mesmo resultado.