O servidor cujo horário de trabalho é de seis horas diárias, entra as 07h30 e sai as 13h45. Na quarta feira de cinza quando o expediente se inicia as 12h00 e a repartição fecha as 16h00, deve sair as 13h45 ou as 16h00, horário de fechamento da repartição?