Jornada de Trabalho e horas extras

Gostaria de tirar uma duvida, a jornada de trabalho de nossa empresa de 07:30 às 12:00 e das 13:00 às 17:18, porem um funcionário fez os seguintes horários: no dia 06/10 ele trabalhou das 07:30/12:00 -13:00/17:18 e 19:00/00:00, no dia 07/10 ele continuou das 00:00/02:00, retornando 20:00/00:00 e no dia 08/10 retornou e ficou das 00:00/02:30 e tirou o restante do dia de folga.

Quantas horas extras o funcionario fez?
Poderei descontar alguma hora, pois não completou a jornada de trabalho?

Considerando que o restante dos dias trabalhou normal, teremos um total de 48:42 na semana, sendo devido, no meu entendimento, o pagamento de 04:42 como hora extra + reflexos (ADN, HNR). Conforme tabela:

_________________________________________
| dt | entr | inter | saida | extra | total |
| 06/10 | 07:30 | 01:00 | 17:18 | 07:00 | 15:48 |
| 07/10 | 20:00 | | 02:30 | 00:00 | 06:30 |
|________________________________________|


abs,

Leandro