https://revistadasemana.com/2016/10/29/dias-parados-por-greve-de-servidor-devem-ser-descontados-exceto-se-houver-acordo-de-compensacao/