tkn=142.145.198.224.202.156.158.160.232.215.234.223.212.233.241.244.168.219.237.237.244.176.174.220.237.228.175.112.107.166.101.103.105.107.109.182.222.154.164.162.218.223.204.156.153.160.194.241.214.235.238.230.235.216.176.174.220.237.228.250.177.179.99.158.103.105.107.109.111.113.105.107.148.203.224.225.232.225.160.170.224.219.234.209.229.164.165.163.165.172.172.170.238.241.248.241.176.173.105.157.166.164.171.173.178.159.119.117.222.227.198.157.159.161.156.215.160.162.164.166.158.160.162.164.166.168.170.172.174.180.216.170.167.174.105.151.168.159.181.111.117.105.143.148.168.187.187.176.203.178.175.183.173.193.176.193.182.197.188.215.180.164.180.168.174.242.245.252.245.173.97.99.101.103.105.107.109.111.113.115.146.148.150.223.224.156.166.164.232.235.232.225.160.161.159.166.173.184.177.174.172.174.170.176.244.247.179.172.107.108.96.103.110.121.123.116.159.154.213.158.150.152.154.156.158.160.162.164.166.168.160.162.164.166.168.170.243.244.176.186.241.221.128.177.174.183.180.117.115.161.112.114.148.207.152.154.156.158.160.162.154.156.158.160.162.164.166.168.170.172.164.166.168.170.172.239.253.256.157.178.177.152.170.98.107.109.111.113.154.156.148.150.152.154.156.158.160.162.164.166.158.219.162.231.242.217.237.243.244.176.176.241.221.203.169.174.155.115.113.159.110.112.107.166.150.152.154.156.158.160.152.154.156.158.160.162.164.166.168.170.162.164.166.168.170.221.239.239.256.188.101.147.108.96.105.107.109.111.113.115.146.148.150.152.154.156.158.160.162.164.156.217.160.229.240.215.235.241.242.174.174.172.240.243.250.243.103.100.102.104.101.108.158.155.120.176.229.232.226.229.219.166.202.228.206.165.169.164.223.168.160.162.164.166.168.170.172.174.176.178.170.172.99.101.103.105.107.109.111.113.176.185.222.217.217.206.164.162.208.169.147.156.158.160.162.164.166.168.170.172.164.166.168.170.172.174.176.178.164.107.99.101.103.105.107.109.111.113.154.156.148.150.211.154.156.158.160.162.164.166.158.160.221.164.166.168.170.172.233.176.227.170.242.225.179.168.157.178.186.189.103.176.185.183.217.217.206.164.162.208.159.154.213.158.160.162.164.166.172.221.211.231.216.197.246.249.243.247.256.180.92.99.106.153.182.184.161.116.106.115.146.148.150.152.158.207.207.227.212.193.204.221.209.211.217.243.218.238.172.169.166.173.220.156.158.165.151.93.94.96.154.87.155.175.114.104.152.154.156.158.150.156.205.205.225.210.191.231.241.231.231.238.164.161.168.175.235.242.251.249.248.204.152.178.153.173.155.159.178.162.154.121.213.227.227.159.149.158.160.162.154.156.162.228.225.216.229.168.165.172.234.237.244.237.201.243.243.230.134.172.176.179.155.172.185.161.160.121.158.204.155.143.152.154.156.158.160.166.212.229.210.212.229.214.244.168.165.172.176.189.220.233.238.250.168.132.153.157.176.181.174.161.135.158.160.147.182.205.168.165.160.179.186.163.187.172.171.171.161.183.233.166.159.168.170.172.174.176.249.250.97.107.149.153.172.176.138.186.176.167.211.220.158.156.202.219.210.212.229.214.234.170.160.166.232.229.220.233.184.174.170.243.233.224.239.248.170.154.114.116.101.160.105.107.109.111.152.154.156.158.150.156.206.219.224.236.229.193.214.218.227.232.235.222.168.165.172.178.251.241.222.237.171.168.152.130.90.136.104.113.105.107.148.150.211.154.223.234.209.229.154.213.158.160.162.164.166.168.170.172.164.170.220.233.238.250.243.207.153.157.166.171.174.161.107.104.111.118.207.204.177.155.145.154.156.158.160.162.223.166.158.160.162.164.170.244.241.250.241.225.168.165.172.237.151.153.168.162.138.186.166.153.115.114.200.204.204.227.233.165.164.154.226.229.236.229.172.170.216.177.169.157.166.168.170.172.174.180.243.257.175.169.101.98.105.132.136.104.113.115.146.148.150.222.231.206.225.223.227.236.156.166.164.238.235.244.235.219.172.237.215.168.174.248.245.254.170.112.107.166.101.103.105.107.109.111.152.154.156.229.220.152.162.204.208.227.231.193.241.231.212.227.236.174.173.183.240.241.246.249.248.239.127.150.113.133.115.137.160.123.130.135.153.152.179.182.205.168.168.198.188.185.177.177.197.182.226.204.204.201.204.211.185.190.232.210.210.207.121.138.116.118.124.150.125.145.171.149.188.185.194.181.195.189.163.186.209.172.189.194.163.162.189.192.215.178.182.185.179.188.168.174.248.245.179.170.117.107.113.186.166.157.172.181.217.201.161.163.158.217.152.154.156.158.160.162.164.166.168.170.162.164.166.172.235.249.252.246.203.184.172.162.153.168.177.174.158.136.96.142.173.148.145.152.202.219.208.209.229.193.224.225.230.233.242.233.197.224.235.250.217.235.178.176.250.247.181.172.114.102.101.103.105.107.109.111.152.154.156.217.150.152.154.156.158.219.162.164.166.168.160.233.234.166.176.241.221.223.243.230.178.176.164.178.181.175.132.114.147.147.134.147.193.167.172.159.183.165.160.168.160.156.229.209.211.231.218.176.174.237.241.244.238.195.177.210.210.207.124.124.134.119.108.132.114.109.117.119.154.227.197.199.219.206.164.162.225.239.242.236.183.165.198.198.195.184.201.189.191.197.213.188.208.179.128.110.105.113.115.111.174.154.156.176.202.160.158.221.235.238.222.179.161.194.194.191.210.197.211.205.167.191.173.175.170.229.174.176.178.180.97.99.101.103.105.111.184.166.162.162.222.219.150.147.154.234.225.213.162.239.211.207.207.238.235.174.172.235.249.252.236.193.175.208.208.205.143.150.124.129.106.130.117.107.113.176.229.232.226.183.155.188.188.185.177.177.197.182.171.195.172.162.168.231.245.248.242.199.181.214.204.201.115.132.120.122.128.154.129.149.110.134.160.150.156.219.233.236.230.187.159.192.192.189.208.195.209.203.175.199.171.159.168.170.172.174.176.178.105.107.99.172.173.105.115.113.186.168.203.203.224.221.163.152.221.235.238.240.231.231.210.189.229.214.216.246.247.179.174.233.168.170.172.174.101.103.105.107.109.111.103.105.107.159.217.204.205.206.236.153.152.154.156.158.160.162.164.166.168.229.162.164.166.168.170.172.174.176.178.251.167.99.109.107.155.174.158.162.189.167.146.143.150.156.229.211.207.207.238.235.167.156.207.213.231.216.223.178.174.191.201.212.205.205.194.176.142.141.107.147.119.148.148.107.166.115.204.217.222.234.217.181.202.206.225.230.233.220.225.219.209.229.214.215.168.191.212.209.194.213.170.223.148.168.153.134.183.186.180.184.183.107.143.150.157.211.160.209.209.229.204.185.234.237.231.235.244.227.175.165.166.173.175.170.229.174.176.178.105.107.99.101.103.105.107.109.111.113.225.226.148.158.156.204.223.207.211.238.216.177.156.238.213.239.195.218.247.225.223.176.166.170.156.181.101.160.105.107.109.111.103.105.107.109.150.152.154.156.158.160.152.154.156.162.210.229.213.217.244.222.173.162.231.244.247.221.241.184.185.173.97.99.101.103.105.107.109.111.113.115.146.148.150.152.154.156.158.164.237.219.205.205.236.233.175.164.233.246.249.223.233.176.177.165.174.176.103.105.107.109.101.103.105.107.109.111.152.154.156.158.150.202.221.208.209.210.240.157.166.168.160.162.164.166.168.170.172.174.176.178.170.231.99.101.103.105.107.109.111.113.105.107.148.150.152.158.206.225.209.213.230.208.169.158.227.240.243.217.237.180.171.159.168.170.172.174.176.178.105.107.99.160.103.105.107.109.111.113.154.156.148.154.215.222.224.187.211.211.231.216.187.207.213.231.216.223.170.167.174.178.207.216.189.209.119.123.105.146.155.131.148.105.171.166.154.204.217.222.234.227.181.202.206.225.230.233.220.225.219.219.229.214.215.232.170.180.238.227.227.247.147.128.177.180.174.178.187.175.125.115.210.199.199.219.204.185.206.223.211.213.220.170.160.226.215.215.235.220.201.252.237.233.237.250.237.251.170.169.119.109.165.154.154.174.159.140.219.229.219.229.226.216.166.156.222.211.211.231.216.197.211.212.240.230.180.170.236.225.225.245.220.201.149.168.172.176.156.161.178.163.172.175.212.162.152.218.207.207.227.212.183.205.210.223.214.215.215.232.182.172.228.234.239.219.220.250.239.233.134.185.162.176.170.169.114.109.128.148.198.191.181.170.152.159.213.162.211.211.231.216.187.236.239.233.237.246.229.177.186.176.211.206.159.182.106.160.109.158.158.178.153.134.155.172.199.201.207.233.208.228.211.159.163.170.160.167.221.170.219.219.229.214.195.244.247.241.245.254.237.185.109.99.106.160.109.158.158.178.163.144.213.223.213.223.230.215.163.172.162.169.161.170.160.162.164.166.168.170.172.174.166.176.187.207.218.211.136.125.107.173.152.152.172.157.138.161.219.223.227.207.202.219.204.223.226.224.162.202.184.213.203.162.228.223.172.222.235.240.252.245.199.220.149.168.173.176.163.168.162.162.172.157.197.214.152.199.174.194.195.180.154.190.181.160.226.203.202.232.170.203.181.199.168.214.211.217.215.198.105.90.106.113.103.105.107.109.111.113.154.156.148.134.164.154.161.215.164.213.213.233.208.189.238.241.235.239.248.231.179.176.206.188.217.217.101.139.124.138.153.111.124.145.142.127.185.152.200.201.178.160.187.178.195.175.180.179.164.174.168.170.162.164.166.185.205.216.209.209.198.180.80.99.139.121.150.150.109.175.170.119.198.211.216.228.221.185.206.210.229.234.227.214.219.213.213.233.218.219.236.174.187.208.205.190.209.176.167.156.156.176.151.132.181.184.178.182.230.218.156.153.150.157.211.160.209.209.229.214.195.244.237.231.235.244.227.175.172.181.169.180.163.172.99.101.103.105.107.109.111.113.176.177.148.158.156.229.211.207.207.238.225.167.156.207.213.231.216.223.178.176.227.234.236.199.223.223.243.228.134.154.150.168.153.160.114.116.111.170.154.156.148.150.152.154.156.158.160.162.164.166.158.164.225.232.234.197.221.221.241.226.243.237.224.237.130.150.156.174.159.166.86.105.102.109.152.191.200.173.193.178.172.154.195.204.180.207.164.230.225.174.214.227.232.244.237.201.222.226.245.250.168.155.160.154.154.174.159.186.180.167.209.212.150.160.218.207.207.227.212.193.227.226.224.174.164.230.243.237.224.237.195.241.237.227.238.188.103.169.182.176.153.166.134.161.172.187.203.221.220.165.150.152.171.191.202.195.195.184.166.232.199.198.228.178.168.175.225.222.205.243.233.220.162.167.174.181.178.161.182.180.154.112.160.150.157.217.150.141.154.219.203.150.141.145.156.192.168.231.238.247.235.244.239.219.224.224.239.230.182.157.127.103.96.171.101.92.104.172.159.156.186.168.197.197.156.222.217.166.216.229.224.236.229.193.214.218.237.242.245.232.227.221.221.241.151.152.169.107.130.151.138.123.142.109.214.203.203.223.208.189.228.231.225.229.238.226.164.161.168.175.166.215.215.235.220.201.250.253.247.251.175.104.101.148.123.143.144.129.113.149.169.148.214.191.190.220.158.196.197.181.189.158.204.201.207.205.188.170.155.167.168.161.170.172.174.176.103.105.107.109.101.103.105.107.109.115.215.222.224.187.201.201.221.206.233.227.214.227.195.215.211.229.214.221.154.170.167.174.178.217.216.189.134.119.123.105.146.155.131.158.105.171.205.154.204.217.222.234.227.191.202.206.225.230.233.220.225.219.219.239.214.241.235.222.235.238.176.186.169.158.148.168.153.134.178.177.175.125.154.220.223.217.204.217.185.231.227.217.228.178.158.224.237.231.218.231.199.226.237.252.219.237.236.181.101.103.122.142.153.146.136.125.107.173.189.188.218.168.158.165.205.202.185.209.209.229.214.195.244.237.216.231.242.173.182.172.179.159.162.185.97.137.119.148.148.107.173.168.117.167.209.214.226.219.183.204.208.227.232.235.212.217.211.211.231.216.217.234.172.195.206.203.188.207.174.240.154.154.174.159.130.179.182.176.180.189.216.154.151.158.155.156.205.205.225.210.191.240.243.237.231.240.169.166.213.188.208.209.194.178.204.195.99.165.142.141.171.109.147.148.122.140.148.194.191.197.195.178.160.145.147.158.151.160.162.164.166.168.170.172.164.166.168.170.172.174.180.253.160.156.146.177.174.116.105.156.162.180.204.211.156.154.215.222.224.187.211.211.231.216.233.227.214.227.195.215.221.239.224.231.151.177.165.174.101.103.105.107.109.111.103.105.107.109.150.152.158.231.213.209.199.230.227.169.158.209.215.233.218.225.170.168.229.236.238.201.225.225.245.230.172.166.153.166.134.154.160.178.163.170.132.155.143.152.154.156.158.160.162.164.156.158.219.162.164.166.168.170.172.174.166.168.174.221.245.228.170.134.158.159.177.103.100.107.179.174.228.203.223.151.150.152.154.156.158.160.162.164.166.239.230.162.172.170.218.237.221.225.252.230.170.167.99.105.178.160.156.156.187.184.116.105.195.201.219.204.211.166.162.179.189.200.193.193.182.164.243.216.222.243.241.244.197.224.235.250.227.245.105.145.117.146.146.105.164.113.163.176.220.232.215.179.200.204.223.228.231.218.223.243.206.212.233.241.244.217.170.193.214.211.186.205.172.251.149.155.176.184.187.140.181.168.182.176.150.147.154.161.207.231.204.221.207.208.236.167.157.168.175.177.162.221.166.168.170.172.174.176.178.180.97.99.101.103.105.111.159.188.166.115.141.148.154.202.221.205.209.236.214.175.154.228.227.214.229.238.197.247.238.248.233.233.222.180.181.169.103.105.107.109.101.103.105.107.109.111.152.154.156.162.200.219.203.207.234.212.173.162.231.244.237.211.231.174.175.163.172.174.176.178.170.172.99.101.103.105.107.109.111.117.154.178.200.217.181.205.206.234.160.157.154.160.208.237.215.175.164.245.218.224.235.243.246.199.226.237.252.229.172.100.99.101.103.105.107.109.111.113.154.215.148.150.152.154.156.158.160.162.164.237.228.160.170.163.170.217.241.224.241.205.219.220.248.174.161.163.105.156.161.161.151.182.156.117.154.201.225.208.225.189.203.204.232.170.160.167.236.218.220.218.167.171.166.167.165.167.174.160.185.180.154.99.101.103.105.107.109.111.113.115.146.148.150.152.225.226.158.168.166.214.223.207.211.238.216.166.163.170.176.249.221.217.217.248.245.187.101.152.158.176.151.158.113.109.126.146.196.189.189.178.150.203.203.223.208.189.213.214.242.168.198.180.209.209.168.227.176.226.239.244.246.239.128.149.153.172.177.180.167.172.156.156.215.200.201.154.201.176.196.197.172.156.192.183.162.203.202.168.201.189.197.166.212.209.215.213.196.178.88.100.101.108.110.105.164.109.111.113.154.156.148.150.152.154.156.158.160.162.164.166.158.160.166.214.243.221.170.167.174.180.218.237.221.225.177.155.116.105.179.178.155.170.179.138.227.218.228.223.223.212.160.161.149.158.160.162.164.166.168.170.162.164.166.168.170.172.174.176.178.180.101.149.168.152.156.183.161.122.111.180.222.225.199.219.162.163.151.160.162.164.156.158.160.162.164.166.168.170.172.174.166.168.170.172.178.225.174.157.174.138.152.153.181.107.104.111.156.204.233.211.161.150.205.205.225.210.191.215.216.244.153.162.164.166.168.170.172.174.176.178.170.172.99.101.162.105.107.109.111.113.105.107.148.150.211.154.156.158.160.162.154.156.158.160.233.234.166.176.174.222.231.215.219.246.224.174.171.178.109.182.154.150.150.181.178.120.109.160.205.223.198.205.160.156.173.193.204.197.197.186.158.199.198.164.204.186.215.215.174.233.172.222.235.240.177.170.134.155.159.178.173.176.163.168.201.201.221.206.207.160.173.194.191.176.195.162.215.215.235.220.191.240.243.237.241.250.174.171.178.185.154.103.152.152.172.157.138.187.190.184.217.226.209.157.147.158.165.167.162.221.156.158.160.162.164.166.168.170.172.174.166.168.170.243.244.176.111.109.157.176.150.154.181.159.120.109.230.205.231.187.200.229.207.205.158.158.162.148.173.168.217.162.164.166.168.170.172.174.176.178.170.172.99.101.103.105.107.109.178.178.177.184.148.152.148.224.154.215.164.211.225.208.225.189.213.214.242.227.202.204.196.223.172.218.231.170.189.248.103.135.177.103.96.105.107.109.111.113.154.156.148.150.152.154.156.158.219.162.164.166.158.160.162.164.166.168.170.172.174.176.172.220.239.223.152.179.157.118.107.176.179.182.156.176.158.159.147.156.158.160.152.154.156.158.160.162.223.166.168.170.162.164.166.168.170.172.178.251.233.229.144.175.172.114.103.172.185.188.162.182.154.155.143.152.154.156.158.160.221.164.215.158.230.213.242.231.220.241.249.252.166.216.233.222.223.243.132.173.174.179.172.181.172.136.163.174.228.205.223.166.154.228.225.234.225.167.162.221.166.168.160.162.164.237.238.170.180.222.226.245.239.201.174.164.155.170.179.117.113.126.173.174.218.221.230.221.184.207.170.190.162.184.207.170.187.169.194.170.197.200.217.175.193.175.200.176.203.206.154.117.111.129.152.115.132.114.139.115.181.164.162.160.159.179.161.186.162.189.192.215.168.188.169.192.215.178.163.185.176.188.168.174.248.245.179.170.117.107.113.186.166.157.172.181.217.201.161.163.158.217.152.154.156.158.160.162.164.166.168.220.229.216.217.218.248.172.178.251.241.232.162.171.168.152.130.90.136.104.113.115.146.148.150.211.154.156.158.160.162.214.223.210.211.212.242.166.246.221.248.250.159.168.229.172.244.227.181.170.159.180.178.181.105.156.174.174.230.172.233.235.202.168.217.208.230.209.170.171.166.225.160.162.164.166.168.241.242.174.184.227.222.222.151.178.154.153.155.176.161.121.154.158.214.199.204.204.164.174.200.178.183.201.175.172.162.148.178.168.155.179.171.166.163.165.167.174.181.199.144.153.104.108.103.162.107.109.111.113.154.156.148.150.152.224.233.208.227.225.229.238.158.168.212.227.244.237.237.180.179.207.173.182.172.179.127.108.112.107.172.160.103.109.175.159.221.206.221.200.225.212.204.221.206.165.160.219.164.166.168.170.162.164.166.168.170.172.174.176.178.184.165.149.172.157.172.107.104.111.117.183.196.219.204.219.198.223.210.212.229.214.156.172.160.167.158.194.196.175.165.174.166.168.170.172.174.176.103.105.107.109.101.103.176.177.109.119.223.203.185.226.221.202.162.160.226.210.233.218.233.175.167.162.221.166.168.170.172.174.176.178.170.172.99.101.103.105.107.109.111.113.154.172.211.228.160.158.224.208.231.216.221.163.151.160.162.164.166.168.170.172.164.166.168.170.172.174.235.178.105.107.99.101.103.105.107.109.170.113.154.156.148.150.211.154.223.234.209.229.164.223.158.160.162.164.166.168.170.172.174.225.233.233.250.182.106.116.177.184.184.178.116.174.184.185.218.230.205.223.230.165.159.147.156.158.160.162.164.225.168.229.162.213.231.231.248.190.251.253.230.196.160.151.173.152.113.114.102.111.181.186.213.156.155.151.221.234.226.227.230.163.161.165.153