Both are tourist cities with many businesses that are adopting bitcoin. Rolante has been doing this for a longer time and Santo Antonio is newer to the adoption, as far as I know. 
Here are the project websites:

https://www.bitcoineaqui.com.br/
https://nostr.com/npub18fh6flnjt9aa3jlnp5k3kd9zr6v5mlpeczhdx4qheytfyyqfpe7s2y0lzm

I don't know if there are members of the communities here in SN.

LibertasBR

bitcoin

Daily Robosats Update 4/25/25

siggy47

Thanks for the ground level information. Do you know much about those two public circular economies? Could they be running an instance?