# Main web servers and their aliases
+spike-01.openstreetmap:193.63.75.99
-+openstreetmap:193.63.75.99:600
-+www.openstreetmap:193.63.75.99:600
-+api.openstreetmap:193.63.75.99:600
-+maps.openstreetmap:193.63.75.99:600
-+mapz.openstreetmap:193.63.75.99:600
+3spike-01.openstreetmap:2001063000120500021a4bfffea5fd2a
+#+openstreetmap:193.63.75.99:600
+#3openstreetmap:2001063000120500021a4bfffea5fd2a:600
+#+www.openstreetmap:193.63.75.99:600
+#3www.openstreetmap:2001063000120500021a4bfffea5fd2a:600
+#+api.openstreetmap:193.63.75.99:600
+#3api.openstreetmap:2001063000120500021a4bfffea5fd2a:600
+#+maps.openstreetmap:193.63.75.99:600
+#3maps.openstreetmap:2001063000120500021a4bfffea5fd2a:600
+#+mapz.openstreetmap:193.63.75.99:600
+#3mapz.openstreetmap:2001063000120500021a4bfffea5fd2a:600
+spike-01.ic.openstreetmap:146.179.159.162
+www.ic.openstreetmap:146.179.159.162:3600
+spike-01.oob.openstreetmap:146.179.159.188
+spike-02.openstreetmap:193.63.75.100
+3spike-02.openstreetmap:20010630001205000219bbfffe393d9e
+openstreetmap:193.63.75.100:600
+3openstreetmap:20010630001205000219bbfffe393d9e:600
+www.openstreetmap:193.63.75.100:600
+3www.openstreetmap:20010630001205000219bbfffe393d9e:600
+api.openstreetmap:193.63.75.100:600
+3api.openstreetmap:20010630001205000219bbfffe393d9e:600
+maps.openstreetmap:193.63.75.100:600
+3maps.openstreetmap:20010630001205000219bbfffe393d9e:600
+mapz.openstreetmap:193.63.75.100:600
+3mapz.openstreetmap:20010630001205000219bbfffe393d9e:600
+spike-02.ic.openstreetmap:146.179.159.163
+www.ic.openstreetmap:146.179.159.163:3600
+spike-02.oob.openstreetmap:146.179.159.180
+spike-03.openstreetmap:193.63.75.103
+3spike-03.openstreetmap:20010630001205000219bbfffe398aba
+openstreetmap:193.63.75.103:600
+3openstreetmap:20010630001205000219bbfffe398aba:600
+www.openstreetmap:193.63.75.103:600
+3www.openstreetmap:20010630001205000219bbfffe398aba:600
+api.openstreetmap:193.63.75.103:600
+3api.openstreetmap:20010630001205000219bbfffe398aba:600
+maps.openstreetmap:193.63.75.103:600
+3maps.openstreetmap:20010630001205000219bbfffe398aba:600
+mapz.openstreetmap:193.63.75.103:600
+3mapz.openstreetmap:20010630001205000219bbfffe398aba:600
+spike-03.ic.openstreetmap:146.179.159.171
+www.ic.openstreetmap:146.179.159.171:3600
+spike-03.oob.openstreetmap:146.179.159.187
# Nominatim server
+poldi.openstreetmap:128.40.168.106
-+nominatim.openstreetmap:128.40.168.106:600
++nominatim.openstreetmap:128.40.168.106:3600
+poldi.ucl.openstreetmap:10.0.0.16
+poldi.oob.openstreetmap:10.0.1.16
# Services machine
+horntail.openstreetmap:193.63.75.101
+3horntail.openstreetmap:20010630001205000202b3fffeeceeac
+planet.openstreetmap:193.63.75.101
-+apt.openstreetmap:193.63.75.101
+3planet.openstreetmap:20010630001205000202b3fffeeceeac
+stats.openstreetmap:193.63.75.101
+3stats.openstreetmap:20010630001205000202b3fffeeceeac
+chef.openstreetmap:193.63.75.101
+3chef.openstreetmap:20010630001205000202b3fffeeceeac
+backup.openstreetmap:193.63.75.101
+3backup.openstreetmap:20010630001205000202b3fffeeceeac
+horntail.ic.openstreetmap:146.179.159.164
+backup.ic.openstreetmap:146.179.159.164
+horntail.oob.openstreetmap:146.179.159.186
# Wiki server
+konqi.openstreetmap:193.63.75.104
+3konqi.openstreetmap:2001063000120500021560fffeaa9956
+konqi.ilo.openstreetmap:146.179.159.179
+wiki.openstreetmap:193.63.75.104
+dump.wiki.openstreetmap:193.63.75.104
# Tile cache servers
+orm.openstreetmap:193.63.75.98
+3orm.openstreetmap:200106300012050002e081fffec52a8c
#+orm.ic.openstreetmap:10.0.16.2
#+orm.oob.openstreetmap:10.0.17.2
+fume.openstreetmap:85.30.190.241