Rede pública teve 500 mil matrículas a menos em 2023. Mas ensino em tempo integral mostra crescimento constante