Paralisação orçamentária forçou a demissão temporária de centenas de milhares de funcionários