# list of name servers that we always want to talk to.
192.1.2.129/32
192.1.2.130/32
192.1.2.254/32
192.1.3.254/32