These websites are known to have been using ns1.prefeituradecoronelpacheco.com.br as their DNS nameserver.