inetnum:            10.42.0.0 - 10.42.15.255
cidr:               10.42.0.0/20
netname:            IMPORTED-FROM-CHAOSVPN
bgp-status:         ignore
nserver:            ns1.chaosvpn.g.nic.dn42
nserver:            ns2.chaosvpn.g.nic.dn42
remarks:            Imported from chaosvpn, do not edit!
mnt-by:             DN42-MNT
source:             CHAOSVPN