Prefixo 4251 é qual operadora?

Segue abaixo a lista na ordem por DDD