3.145.132.129.in-addr.arpa domain name pointer frege-d-math-north-g-west.math.ethz.ch.
4.145.132.129.in-addr.arpa domain name pointer midget.math.ethz.ch.
5.145.132.129.in-addr.arpa domain name pointer kaukasus.math.ethz.ch.
6.145.132.129.in-addr.arpa domain name pointer fresnel.math.ethz.ch.
7.145.132.129.in-addr.arpa domain name pointer damokles.math.ethz.ch.
8.145.132.129.in-addr.arpa domain name pointer sophokles.math.ethz.ch.
9.145.132.129.in-addr.arpa domain name pointer martens.math.ethz.ch.
10.145.132.129.in-addr.arpa domain name pointer pamir.math.ethz.ch.
11.145.132.129.in-addr.arpa domain name pointer galois.math.ethz.ch.
12.145.132.129.in-addr.arpa domain name pointer limmat.math.ethz.ch.
14.145.132.129.in-addr.arpa domain name pointer majestix.math.ethz.ch.
15.145.132.129.in-addr.arpa domain name pointer hypatia-0.math.ethz.ch.
Host 16.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
19.145.132.129.in-addr.arpa domain name pointer jessica-0.math.ethz.ch.
21.145.132.129.in-addr.arpa domain name pointer vella.math.ethz.ch.
22.145.132.129.in-addr.arpa domain name pointer pappus.math.ethz.ch.
23.145.132.129.in-addr.arpa domain name pointer sftpmath.math.ethz.ch.
24.145.132.129.in-addr.arpa domain name pointer kuroi-0.math.ethz.ch.
25.145.132.129.in-addr.arpa domain name pointer backup.math.ethz.ch.
26.145.132.129.in-addr.arpa domain name pointer ifornfs.math.ethz.ch.
Host 27.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 28.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
29.145.132.129.in-addr.arpa domain name pointer riese.ethz.ch.
Host 33.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 34.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 35.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 36.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 37.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 38.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 39.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 40.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 42.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 43.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 44.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
45.145.132.129.in-addr.arpa domain name pointer tarantella.math.ethz.ch.
Host 46.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 47.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 48.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 49.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 50.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
52.145.132.129.in-addr.arpa domain name pointer jesmath2.math.ethz.ch.
53.145.132.129.in-addr.arpa domain name pointer jesmath3.math.ethz.ch.
54.145.132.129.in-addr.arpa domain name pointer jesmath4.math.ethz.ch.
55.145.132.129.in-addr.arpa domain name pointer jesmath5.math.ethz.ch.
Host 58.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 59.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 60.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 62.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 63.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 64.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 65.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 66.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 67.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 68.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 69.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 73.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 74.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 75.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 76.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 77.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 79.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 80.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 81.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 82.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 83.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 84.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 85.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 86.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 90.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 91.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 92.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 93.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 94.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 96.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 97.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 98.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 99.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 102.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 103.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 104.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 105.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 106.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 107.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 108.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 109.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 110.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 111.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 112.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 113.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 114.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 115.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 119.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 120.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 121.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 122.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 123.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 124.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 126.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 127.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 128.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 129.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 132.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 133.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 134.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 135.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 136.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 137.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 138.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 139.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 140.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 141.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 142.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 143.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 144.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 145.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 149.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 150.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 151.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 152.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 153.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 155.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 156.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 157.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 158.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 159.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 160.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 163.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 164.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 165.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 166.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 167.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 168.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 169.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 170.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 171.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 172.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 173.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 174.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 175.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 176.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 177.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 178.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 182.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 183.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 184.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 185.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 186.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 189.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 190.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 191.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 192.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 193.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 194.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 195.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 199.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 200.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 201.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 204.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 205.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 206.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 207.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 208.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 211.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 212.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 213.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 214.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 215.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 218.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 219.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 220.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 221.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 222.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 225.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 226.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 227.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 228.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 231.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 232.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 233.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 234.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 235.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 236.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 237.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 238.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 239.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 240.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 243.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 246.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 247.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 248.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 249.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 250.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 251.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 252.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 253.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 254.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)
Host 255.145.132.129.in-addr.arpa not found: 3(NXDOMAIN)