Uma secretária de educação está elaborando um relatório sobre o desempenho do sistema educacional do estado, utilizando dados de diferentes fontes para apresentar um panorama da situação. Dentre os indicadores analisados, estão as taxas de matrícula, o índice de repetência e o número de alunos que abandonaram os estudos. Esses dados são cruciais para a gestão e o planejamento de ações futuras. Qual o nome do principal sistema nacional de avaliação que abrange a educação básica e cujos resultados são amplamente utilizados para a formulação de políticas públicas e para o acompanhamento da qualidade da educação no Brasil?