Notwithstanding
section 5546(b) of this title, an employee on a compressed schedule who performs work on a holiday designated by Federal statute or Executive order is entitled to pay at the rate of such employee’s basic pay, plus premium pay at a rate equal to such basic pay rate, for such work which is not in excess of the basic work requirement of such employee for such day. For hours worked on such a holiday in excess of the basic work requirement for such day, the employee is entitled to premium pay in accordance with the provisions of section 5542(a) or 5544(a) of this title, as applicable, or the provisions of section 7 of the Fair Labor Standards Act (
29 U.S.C. 207) whichever provisions are more beneficial to the employee.