Em um laboratório de automação industrial, foi montado um sistema para o acionamento temporizado de um exaustor a ser instalado em uma cabine de soldagem. O exaustor é acionado por uma saída digital do Controlador Lógico Programável (CLP), identificada por Q0.0. Uma botoeira de partida do tipo normalmente aberta (NA) está conectada à entrada I0.0, fornecendo nível lógico 1 quando pressionada. Uma botoeira de parada do tipo normalmente fechada (NF) está conectada à entrada I0.1, fornecendo nível lógico 1 em repouso e nível lógico 0 quando pressionada. O sistema utiliza um temporizador do tipo TOF (Timer Off Delay – retardo na desenergização), cujo tempo de atraso é definido pelo parâmetro PT (Preset Time). O comportamento temporal de funcionamento desse temporizador é representado na figura abaixo, em que a entrada lógica é representada por IN e a saída lógica por Q.  




O sistema deverá operar conforme os seguintes requisitos:

1) Ao pressionar a botoeira de partida (I0.0), o exaustor (Q0.0) deverá ser ligado imediatamente.
2) O exaustor deverá permanecer ligado enquanto a botoeira de parada não for acionada.
3) Quando a botoeira de parada for acionada (I0.1 = 0), o exaustor deverá permanecer ligado durante o intervalo de tempo PT, sendo desligado automaticamente ao término da temporização.
4) Caso a botoeira de partida seja pressionada novamente antes do término da temporização, a entrada do temporizador deverá ser reenergizada, mantendo o exaustor ligado. Uma nova temporização deverá ser iniciada quando ocorrer outro comando de parada.
5) Para a implementação da lógica de controle, será utilizada uma memória interna auxiliar do CLP (M0.0).

Considerando o funcionamento descrito e o diagrama temporal do temporizador TOF representado na figura, assinale a alternativa que melhor representa o programa em linguagem Ladder para o acionamento do exaustor (Q0.0).