1 D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
2 PTR(IPV6["culebre.he"], "culebre.openstreetmap.org."),
3 PTR(IPV6["fafnir.he"], "fafnir.openstreetmap.org."),
4 PTR(IPV6["fume.he"], "fume.openstreetmap.org."),
5 PTR(IPV6["grisu.he"], "grisu.openstreetmap.org."),
6 PTR(IPV6["horntail.he"], "horntail.openstreetmap.org."),
7 PTR(IPV6["idris.he"], "idris.openstreetmap.org."),
8 PTR(IPV6["konqi.he"], "konqi.openstreetmap.org."),
9 PTR(IPV6["longma.he"], "longma.openstreetmap.org."),
10 PTR(IPV6["muirdris.he"], "muirdris.openstreetmap.org."),
11 PTR(IPV6["naga.he"], "naga.openstreetmap.org."),
12 PTR(IPV6["smaug.he"], "smaug.openstreetmap.org."),
13 PTR(IPV6["spike-01.he"], "spike-01.openstreetmap.org."),
14 PTR(IPV6["spike-02.he"], "spike-02.openstreetmap.org."),
15 PTR(IPV6["spike-03.he"], "spike-03.openstreetmap.org."),
16 PTR(IPV6["switch1.he.dub"], "switch1.dub.openstreetmap.org.")