定义一个时期

...

How many working days in year 2020?

Here is the detail of the calculation:

Because 2020 is a leap year, it has 366 days.

Let's remove 52 saturdays and 52 sundays. It remains 262 days.

Now, let's remove 13 public holidays that do not fall during a weekend and we obtain 249 working days in 2020.

Here is the list of these 13 public holidays:

1. Confraternização Universal : 2020年1月1日星期三
2. Dia de São Sebastião : 2020年1月20日星期一
3. Terça-feira de Carnaval : 2020年2月25日星期二
4. Sexta Feira Santa ou Paixão de Cristo : 2020年4月10日星期五
5. Tiradentes : 2020年4月21日星期二
6. Dia de São Jorge : 2020年4月23日星期四
7. Dia do Trabalho : 2020年5月1日星期五
8. Corpus Christi : 2020年6月11日星期四
9. Independência do Brasil : 2020年9月7日星期一
10. Nossa Senhora Aparecida : 2020年10月12日星期一
11. Finados : 2020年11月2日星期一
12. Dia Nacional de Zumbi e da Consciência Negra : 2020年11月20日星期五
13. Natal : 2020年12月25日星期五

And here is the public holiday falling on a weekend:

1. Proclamação da República Brasileira : 2020年11月15日星期日