Должны ли оплатить переработку?

При подсчете сверхурочных часов работа в праздничные дни, произведенная сверх нормы рабочего времени, не должна учитываться, поскольку она уже оплачена в двойном размере.

для работников с суммированным учетом рабочего времени работа в праздничные дни входит в месячную норму рабочего времени, и они должны выполнить эту норму, включающую и работу в нерабочие праздничные дни.

пример: посменный график работы, — учетный период — год.
переработка 48 часов, праздничные 70.

правильно ли я понимаю, что праздничные дни входят в норму времени? и переработка 48 часов должна оплачиваться отдельно, по окончанию учетного периода.

если возможно с ссылками на документ!