text: A briga só terminou 10 anos depois, em 1845, quando os líderes dos dois lados se entenderam, e o Rio Grande voltou a ser brasileiro.
tokens: a briga só terminou 10 anos depois em 1845 quando os líderes dos dois lados se entenderam e o rio grande voltou a ser brasileiro