define psiphon = {
        104.18.165.46,
        104.18.167.46,
        104.18.168.46,
        104.237.142.58,
        108.175.6.178,
        109.228.57.109,
        109.228.58.99,
        110.172.149.103,
        110.172.149.110,
        110.172.149.114,
        110.172.149.115,
        110.172.149.144,
        110.172.149.157,
        110.172.149.163,
        110.172.149.175,
        110.172.149.181,
        110.172.149.187,
        110.172.149.19,
        110.172.149.193,
        110.172.149.201,
        110.172.149.206,
        110.172.149.211,
        110.172.149.214,
        110.172.149.238,
        110.172.149.239,
        110.172.149.251,
        110.172.149.31,
        110.172.149.36,
        110.172.149.37,
        110.172.149.4,
        110.172.149.46,
        110.172.149.6,
        110.172.149.65,
        110.172.149.68,
        110.172.149.69,
        110.172.149.71,
        110.172.149.82,
        110.172.149.89,
        128.127.106.161,
        128.199.136.135,
        128.199.191.131,
        128.199.65.114,
        128.199.82.221,
        128.199.94.49,
        128.199.96.106,
        128.199.97.7,
        128.199.98.222,
        128.199.99.206,
        130.195.209.10,
        130.195.209.11,
        130.195.209.12,
        130.195.209.13,
        130.195.209.14,
        130.195.209.74,
        130.195.209.75,
        130.195.209.76,
        130.195.209.77,
        130.195.209.78,
        130.195.249.2,
        130.195.249.3,
        130.195.249.4,
        130.195.249.5,
        130.195.249.6,
        138.197.145.53,
        138.197.155.194,
        138.197.156.198,
        138.197.157.197,
        138.197.158.172,
        138.197.160.56,
        138.197.160.87,
        138.197.160.94,
        139.144.40.97,
        139.162.131.109,
        139.162.133.131,
        139.162.236.36,
        139.162.3.219,
        139.162.36.137,
        139.162.46.60,
        139.162.48.240,
        139.59.137.148,
        139.59.146.136,
        139.59.147.241,
        139.59.154.22,
        139.59.156.107,
        139.59.156.169,
        139.59.157.110,
        139.59.213.171,
        139.59.214.133,
        139.59.65.148,
        139.59.65.165,
        139.59.65.246,
        139.59.65.251,
        139.59.65.252,
        139.59.72.94,
        139.59.73.136,
        139.59.78.117,
        139.59.78.168,
        141.98.103.66,
        146.185.139.214,
        146.185.153.241,
        146.185.188.146,
        146.70.111.242,
        146.70.111.243,
        146.70.111.244,
        146.70.111.245,
        146.70.111.246,
        146.70.122.42,
        146.70.122.43,
        146.70.122.44,
        146.70.122.45,
        146.70.122.46,
        146.70.145.42,
        146.70.145.43,
        146.70.145.44,
        146.70.145.45,
        146.70.145.46,
        146.70.146.234,
        146.70.146.235,
        146.70.146.236,
        146.70.146.237,
        146.70.146.238,
        146.70.170.162,
        146.70.170.163,
        146.70.170.164,
        146.70.170.165,
        146.70.170.166,
        146.70.170.170,
        146.70.170.171,
        146.70.170.172,
        146.70.170.173,
        146.70.170.174,
        146.70.170.226,
        146.70.170.227,
        146.70.170.228,
        146.70.170.229,
        146.70.170.230,
        146.70.180.18,
        146.70.180.19,
        146.70.180.20,
        146.70.180.21,
        146.70.180.22,
        146.70.180.58,
        146.70.180.59,
        146.70.180.60,
        146.70.180.61,
        146.70.180.62,
        146.70.219.170,
        146.70.219.171,
        146.70.219.172,
        146.70.219.173,
        146.70.219.174,
        146.70.219.202,
        146.70.219.203,
        146.70.219.204,
        146.70.219.205,
        146.70.219.206,
        146.70.219.218,
        146.70.219.219,
        146.70.219.220,
        146.70.219.221,
        146.70.219.222,
        146.70.221.162,
        146.70.221.163,
        146.70.221.164,
        146.70.221.165,
        146.70.221.166,
        146.70.227.146,
        146.70.227.147,
        146.70.227.148,
        146.70.227.149,
        146.70.227.150,
        146.70.227.178,
        146.70.227.179,
        146.70.227.180,
        146.70.227.181,
        146.70.227.182,
        146.70.245.162,
        146.70.245.163,
        146.70.245.164,
        146.70.245.165,
        146.70.245.166,
        146.70.245.170,
        146.70.245.171,
        146.70.245.172,
        146.70.245.173,
        146.70.245.174,
        146.70.245.234,
        146.70.245.235,
        146.70.245.236,
        146.70.245.237,
        146.70.245.238,
        146.70.251.146,
        146.70.251.147,
        146.70.251.148,
        146.70.251.149,
        146.70.251.150,
        146.70.251.242,
        146.70.251.243,
        146.70.251.244,
        146.70.251.245,
        146.70.251.246,
        146.70.54.146,
        146.70.54.147,
        146.70.54.148,
        146.70.54.149,
        146.70.54.150,
        146.70.54.82,
        146.70.54.83,
        146.70.54.84,
        146.70.54.85,
        146.70.54.86,
        149.102.235.171,
        149.102.235.172,
        149.102.235.173,
        149.102.235.174,
        149.102.235.175,
        149.102.235.176,
        149.102.239.153,
        149.102.239.154,
        149.102.239.155,
        149.102.239.156,
        149.102.239.157,
        149.102.239.158,
        149.102.239.89,
        149.102.239.90,
        149.102.239.91,
        149.102.239.92,
        149.102.239.93,
        149.102.239.94,
        149.40.52.141,
        149.40.52.142,
        149.40.52.143,
        149.40.52.144,
        149.40.52.145,
        149.40.52.146,
        149.40.52.45,
        149.40.52.46,
        149.40.52.47,
        149.40.52.48,
        149.40.52.49,
        149.40.52.50,
        149.40.61.43,
        149.40.61.44,
        149.40.61.45,
        149.40.61.46,
        149.40.61.47,
        149.40.61.48,
        151.236.218.214,
        151.236.219.62,
        151.236.221.123,
        152.89.160.178,
        152.89.160.179,
        152.89.160.180,
        152.89.160.181,
        152.89.160.182,
        154.17.253.108,
        154.17.253.109,
        154.17.253.115,
        154.17.253.116,
        154.17.253.120,
        154.17.253.124,
        154.17.253.129,
        154.17.253.130,
        154.17.253.141,
        154.17.253.150,
        154.17.253.162,
        154.17.253.163,
        154.17.253.211,
        154.17.253.213,
        154.17.253.216,
        154.17.253.33,
        154.17.253.42,
        154.17.253.45,
        154.17.253.47,
        154.17.253.53,
        154.17.253.62,
        154.17.253.65,
        154.17.253.83,
        154.17.253.87,
        154.17.253.90,
        159.203.6.156,
        162.243.24.149,
        162.243.24.98,
        162.243.26.250,
        162.243.28.20,
        162.243.29.182,
        162.243.36.65,
        162.243.42.103,
        162.243.42.115,
        162.243.8.249,
        170.187.137.17,
        172.104.103.178,
        172.104.103.179,
        172.104.104.189,
        172.104.110.186,
        172.104.111.192,
        172.104.111.193,
        172.104.112.212,
        172.104.115.190,
        172.104.116.221,
        172.104.119.193,
        172.104.119.200,
        172.104.121.218,
        172.104.122.189,
        172.104.126.182,
        172.104.127.204,
        172.104.129.121,
        172.104.132.81,
        172.104.138.203,
        172.104.146.112,
        172.104.152.26,
        172.104.39.139,
        172.104.53.205,
        172.104.54.189,
        172.104.56.17,
        172.104.99.170,
        173.255.194.110,
        173.255.198.146,
        173.255.206.107,
        173.255.245.235,
        178.32.112.159,
        178.32.125.209,
        178.33.104.87,
        178.33.105.36,
        178.33.44.186,
        178.62.202.182,
        178.79.129.46,
        178.79.160.35,
        178.79.191.16,
        185.10.58.145,
        185.10.58.146,
        185.10.58.147,
        185.10.58.148,
        185.10.58.149,
        185.10.58.150,
        185.10.58.151,
        185.10.58.152,
        185.10.58.153,
        185.10.58.154,
        185.10.58.160,
        185.10.58.161,
        185.10.58.162,
        185.10.58.163,
        185.10.58.164,
        185.10.58.175,
        185.10.58.176,
        185.10.58.177,
        185.10.58.178,
        185.10.58.179,
        185.10.58.190,
        185.10.58.191,
        185.10.58.192,
        185.10.58.193,
        185.10.58.194,
        185.10.58.210,
        185.10.58.211,
        185.10.58.212,
        185.10.58.213,
        185.10.58.214,
        185.10.58.250,
        185.10.58.251,
        185.10.58.252,
        185.10.58.253,
        185.10.58.254,
        185.132.38.250,
        185.183.106.202,
        185.183.106.203,
        185.183.106.204,
        185.183.106.205,
        185.183.106.206,
        185.183.107.26,
        185.216.32.100,
        185.216.32.101,
        185.216.32.102,
        185.216.32.106,
        185.216.32.107,
        185.216.32.108,
        185.216.32.109,
        185.216.32.110,
        185.216.32.26,
        185.216.32.27,
        185.216.32.28,
        185.216.32.29,
        185.216.32.30,
        185.216.32.90,
        185.216.32.91,
        185.216.32.92,
        185.216.32.93,
        185.216.32.94,
        185.216.32.98,
        185.216.32.99,
        185.230.124.130,
        185.232.21.114,
        185.232.21.115,
        185.232.21.116,
        185.232.21.117,
        185.232.21.118,
        185.244.214.54,
        185.252.222.138,
        185.252.222.139,
        185.252.222.140,
        185.252.222.141,
        185.252.222.142,
        188.166.17.112,
        188.166.19.95,
        188.166.26.23,
        188.166.28.245,
        188.166.30.103,
        188.166.36.60,
        188.166.39.179,
        188.166.39.20,
        188.226.158.242,
        188.226.159.23,
        188.226.159.74,
        188.226.160.139,
        188.226.160.209,
        188.241.178.238,
        193.29.107.178,
        193.29.107.179,
        193.29.107.180,
        193.29.107.181,
        193.29.107.182,
        193.56.254.34,
        193.56.254.35,
        193.56.254.36,
        193.56.254.37,
        193.56.254.38,
        193.9.115.106,
        194.187.251.170,
        194.187.251.171,
        194.187.251.172,
        194.187.251.173,
        194.187.251.174,
        194.233.168.215,
        194.59.250.67,
        194.99.105.213,
        195.206.107.76,
        196.245.156.77,
        196.245.172.66,
        196.245.172.67,
        196.245.172.68,
        196.245.172.69,
        196.245.172.70,
        196.245.53.100,
        196.245.53.101,
        196.245.53.102,
        196.245.53.103,
        196.245.53.104,
        196.245.53.105,
        196.245.53.106,
        196.245.53.107,
        196.245.53.108,
        196.245.53.109,
        196.245.53.110,
        196.245.53.111,
        196.245.53.112,
        196.245.53.113,
        196.245.53.114,
        196.245.53.115,
        196.245.53.116,
        196.245.53.117,
        196.245.53.118,
        196.245.53.119,
        196.245.53.120,
        196.245.53.121,
        196.245.53.122,
        196.245.53.123,
        196.245.53.124,
        196.245.53.125,
        196.245.53.126,
        196.245.53.98,
        196.245.53.99,
        198.251.68.247,
        198.58.113.173,
        199.244.102.104,
        199.244.102.105,
        199.244.102.107,
        199.244.102.114,
        199.244.102.124,
        199.244.102.144,
        199.244.102.146,
        199.244.102.148,
        199.244.102.168,
        199.244.102.172,
        199.244.102.197,
        199.244.102.222,
        199.244.102.229,
        199.244.102.35,
        199.244.102.51,
        199.244.102.65,
        199.244.102.73,
        199.244.102.86,
        199.244.102.89,
        199.244.102.93,
        2.58.46.226,
        2.58.46.227,
        2.58.46.228,
        2.58.46.229,
        2.58.46.230,
        212.111.42.248,
        212.227.226.103,
        212.227.226.106,
        212.227.226.107,
        212.227.226.113,
        212.227.226.125,
        212.227.226.132,
        212.227.226.158,
        212.227.226.230,
        212.227.226.236,
        212.227.226.238,
        212.227.32.140,
        212.227.32.209,
        212.227.32.227,
        212.227.32.235,
        212.227.32.76,
        212.227.76.82,
        212.71.252.202,
        213.171.211.2,
        213.5.70.21,
        213.5.71.217,
        213.5.71.233,
        213.5.71.235,
        216.250.116.136,
        216.250.116.160,
        217.138.209.10,
        217.138.209.11,
        217.138.209.12,
        217.138.209.13,
        217.138.209.14,
        217.138.222.82,
        217.138.222.83,
        217.138.222.84,
        217.138.222.85,
        217.138.222.86,
        217.160.102.111,
        217.160.102.119,
        217.160.102.122,
        217.160.102.24,
        217.160.102.62,
        217.160.102.68,
        217.160.102.77,
        217.160.102.81,
        217.160.102.83,
        217.160.102.86,
        217.160.102.94,
        217.160.104.143,
        217.160.104.211,
        217.160.104.228,
        217.160.153.129,
        217.160.153.141,
        217.160.153.158,
        217.160.153.250,
        217.160.155.143,
        217.160.155.148,
        217.160.155.157,
        217.160.155.164,
        217.160.155.166,
        217.160.155.169,
        217.160.155.179,
        217.160.155.203,
        217.160.155.241,
        217.160.155.249,
        217.160.158.91,
        217.160.159.108,
        217.160.34.102,
        217.160.34.109,
        217.160.34.124,
        217.160.34.128,
        217.160.34.27,
        217.160.34.64,
        217.160.34.71,
        217.160.34.96,
        217.160.50.253,
        217.160.56.91,
        217.160.71.180,
        217.160.96.205,
        23.239.25.154,
        31.3.154.101,
        31.3.154.102,
        31.3.154.98,
        31.3.154.99,
        31.3.156.34,
        31.3.156.35,
        31.3.156.36,
        31.3.156.37,
        31.3.156.38,
        37.120.131.22,
        37.120.153.138,
        37.120.193.10,
        37.120.193.34,
        37.120.209.50,
        37.120.209.51,
        37.120.209.52,
        37.120.209.53,
        37.120.209.54,
        37.120.209.58,
        37.120.209.59,
        37.120.209.60,
        37.120.209.61,
        37.120.209.62,
        37.120.209.66,
        37.120.209.67,
        37.120.209.68,
        37.120.209.69,
        37.120.209.70,
        37.221.161.162,
        37.221.161.163,
        37.221.161.164,
        37.221.161.165,
        37.221.161.166,
        37.46.115.225,
        37.46.116.40,
        37.46.116.41,
        37.46.116.42,
        37.46.116.43,
        37.46.116.44,
        37.46.117.49,
        37.46.117.50,
        37.46.117.51,
        37.46.117.52,
        37.46.118.114,
        37.46.118.115,
        37.46.118.116,
        37.46.118.117,
        37.46.118.118,
        37.46.119.235,
        37.46.119.236,
        37.46.119.237,
        37.46.119.238,
        37.46.119.239,
        37.46.119.30,
        37.46.119.31,
        37.46.119.32,
        37.46.119.33,
        37.46.119.34,
        37.59.18.181,
        38.99.128.251,
        45.128.38.202,
        45.128.38.203,
        45.128.38.204,
        45.128.38.205,
        45.128.38.206,
        45.152.183.154,
        45.152.183.155,
        45.152.183.156,
        45.152.183.157,
        45.152.183.158,
        45.33.6.61,
        45.79.168.67,
        45.79.200.37,
        46.101.33.64,
        46.101.44.124,
        46.101.57.167,
        46.101.58.82,
        46.101.81.194,
        46.101.94.105,
        46.101.94.239,
        46.101.94.74,
        46.101.94.75,
        46.105.36.145,
        46.105.36.186,
        46.105.36.205,
        46.105.37.169,
        46.105.37.234,
        46.105.37.26,
        46.105.38.27,
        46.105.38.77,
        46.105.58.223,
        46.105.58.228,
        46.105.58.246,
        5.157.51.68,
        5.253.205.34,
        5.253.205.35,
        5.253.205.36,
        5.253.205.37,
        5.253.205.38,
        5.253.206.226,
        5.253.206.227,
        5.253.206.228,
        5.253.206.229,
        5.253.206.230,
        5.254.51.82,
        5.254.51.83,
        5.254.51.84,
        5.254.51.85,
        5.254.51.86,
        5.254.53.226,
        5.254.53.227,
        5.254.53.228,
        5.254.53.230,
        5.254.53.250,
        5.254.53.251,
        5.254.53.252,
        5.254.53.253,
        5.254.53.254,
        5.254.83.100,
        5.254.83.101,
        5.254.83.102,
        5.254.83.98,
        5.254.83.99,
        50.116.24.32,
        50.116.27.113,
        50.21.179.243,
        50.21.189.24,
	51.159.156.170,
        57.128.75.127,
        62.151.176.48,
        62.151.183.156,
        62.151.183.46,
        66.175.234.225,
        66.228.55.132,
        74.208.108.12,
        74.208.116.107,
        74.208.140.35,
        74.208.165.202,
        74.208.55.248,
        74.208.76.248,
        74.208.76.69,
        74.208.85.35,
        76.9.201.201,
        77.68.101.226,
        77.68.121.74,
        77.68.48.9,
        77.68.55.105,
        77.68.55.178,
        77.68.55.27,
        77.68.8.150,
        79.142.65.247,
        79.142.66.7,
        79.142.70.251,
        79.142.74.10,
        79.142.74.11,
        79.142.74.12,
        79.142.74.13,
        79.142.74.39,
        79.142.74.4,
        79.142.74.40,
        79.142.74.41,
        79.142.74.42,
        79.142.74.43,
        79.142.74.49,
        79.142.74.5,
        79.142.74.50,
        79.142.74.51,
        79.142.74.52,
        79.142.74.53,
        79.142.74.6,
        79.142.74.7,
        79.142.74.8,
        79.142.74.9,
        79.142.75.14,
        79.142.75.15,
        79.142.75.16,
        79.142.75.17,
        79.142.75.18,
        79.142.75.44,
        79.142.75.45,
        79.142.75.46,
        79.142.75.47,
        79.142.75.48,
        79.142.75.84,
        79.142.75.85,
        79.142.75.86,
        79.142.75.87,
        79.142.75.88,
        79.142.76.181,
        79.142.77.89,
        79.142.77.90,
        79.142.77.91,
        79.142.77.92,
        79.142.77.93,
        79.142.79.13,
        82.102.23.162,
        82.102.23.242,
        82.102.23.243,
        82.102.23.244,
        82.102.23.245,
        82.102.23.246,
        82.102.23.250,
        82.102.23.251,
        82.102.23.252,
        82.102.23.253,
        82.102.23.254,
        82.165.169.40,
        82.165.250.167,
        82.165.3.207,
        82.165.68.38,
        82.223.108.106,
        82.223.11.221,
        82.223.14.46,
        82.223.243.196,
        82.223.50.38,
        82.223.54.50,
        82.223.55.87,
        85.159.208.76,
        87.106.157.244,
        88.208.224.117,
        88.208.225.106,
        88.208.225.119,
        88.208.225.120,
        88.208.225.131,
        88.208.225.137,
        88.208.225.142,
        88.208.225.161,
        88.208.225.162,
        88.208.225.170,
        88.208.225.32,
        88.208.225.43,
        88.208.225.56,
        88.208.225.57,
        88.208.225.68,
        88.208.225.74,
        88.208.225.79,
        88.208.225.93,
        88.208.240.56,
        88.208.240.58,
        88.208.240.59,
        88.208.240.70,
        88.208.240.78,
        88.208.240.95,
        88.208.243.134,
        89.249.73.238,
        89.38.224.58,
        89.38.224.82,
        89.38.224.83,
        89.38.224.84,
        89.38.224.85,
        89.38.224.86,
        89.45.7.106,
        89.45.7.107,
        89.45.7.108,
        89.45.7.109,
        89.45.7.110,
        89.45.7.210,
        89.45.7.211,
        89.45.7.212,
        89.45.7.213,
        89.45.7.214,
        91.90.123.122,
        91.90.123.123,
        91.90.123.124,
        91.90.123.125,
        91.90.123.126,
        95.85.40.251,
        95.85.58.112,
        96.126.104.104,
	130.195.209.106,
	130.195.209.107,
	130.195.209.108,
	130.195.209.109,
	130.195.209.110,
	146.70.227.218,
	146.70.227.219,
	146.70.227.220,
	146.70.227.221,
	146.70.227.222,
	146.70.48.34,
	146.70.48.35,
	146.70.48.36,
	146.70.48.37,
	146.70.48.38,
	178.32.115.223,
	178.32.125.183,
	178.32.125.232,
	178.32.97.183,
	178.33.250.104,
	185.242.4.2,
	185.242.4.3,
	185.242.4.4,
	185.242.4.5,
	185.242.4.6,
	212.227.32.135,
	212.227.32.208,
	212.227.32.226,
	212.227.32.234,
	217.160.232.133,
	37.59.29.42,
	46.105.57.182,
	46.105.57.185,
	46.105.57.197,
}