Праздничными днями в мае являются 1 и 9 мая, а остальные это выходные дни, которые к отпуску не прибавляются. 4 мая был входным днем в результате переноса одного январского выходного дня - 4 января.