Em uma aula prática de Controladores Lógicos Programáveis (CLPs), um professor utiliza a bancada didática apresentada na Figura 1 para demonstrar aos estudantes a implementação de uma linha automatizada de envase de garrafas utilizando a linguagem Ladder (LD). Para a atividade, considere:

● o seguinte funcionamento da bancada didática: i) inicialmente, o motor da esteira (Q0.1) permanece ligado, transportando as garrafas até a posição de envase; ii) quando uma garrafa é detectada pelo sensor S1 (I0.0), o motor da esteira (Q0.1) é desligado e a válvula solenoide (Q0.0) é ligada para iniciar o enchimento da garrafa; iii) a válvula solenoide (Q0.0) permanece ligada enquanto o sensor S2 (I0.1) não detectar que o líquido atingiu o nível especificado; iv) durante esse período, a garrafa permanece parada na posição de envase, mantendo o sensor S1 (I0.0) continuamente acionado; v) quando o sensor S2 (I0.1) detectar que o nível especificado foi atingido, a válvula solenoide (Q0.0) deverá ser desligada e o motor da esteira (Q0.1) deverá ser ligado novamente, transportando a garrafa para a etapa seguinte do processo;

● que as nomenclaturas I0.0 e I0.1 correspondem aos endereços das entradas digitais, enquanto Q0.0 e Q0.1 correspondem aos endereços das saídas digitais do CLP;

● que os sensores S1 e S2 são do tipo PNP, indicando nível lógico 1 apenas quando acionados.

Com base nas informações da atividade e na Figura 1, assinale a alternativa que apresenta uma implementação em linguagem Ladder (LD), conforme a IEC 61131-3, compatível com a lógica de acionamento descrita.