Em 2023, o Instituto Brasileiro de Geografia e Estatística (IBGE) divulgou o resultado do Censo 2022. Com base nessa pesquisa, são municípios que estão entre as dez cidades mais populosas do Tocantins: I. Araguaína. II. Brejinho de Nazaré. III. Palmas. IV. Porto Nacional. Quais estão corretos?