O que aconteceu com a carteira ARI e seu TGE?