SSH Tunneling on a Mac

Since my employer’s wireless network is unencrypted and since I use other open WiFi networks with some frequency, I’ve gotten in the habbit of tunneling everything through SSH, using the SOCKS5 proxy mechanism built in to SSH.  In WinXP, there’s a nice little program called Tunnelier that makes the setup of the tunnel simple and it reconnects automatically, so the tunneling part is virtually automatic (even though proxy setup is still tricky and/or annoying).

On the Mac, however, I have tried several programs and never really been happy.  So I wrote a little AppleScript that not only sets up the SSH tunnel, but also deals with switching my location to set the system’s network settings to use the proxy (the code is after the cut).  Combine this with System Proxy for Firefox and all my application traffic goes through the SSH tunnel.  Note also that if you’re using a SOCKS5 proxy with Firefox, you probably want to set it to do DNS lookups through the proxy.

This script also stores the info for creating the tunnel (server, login, pw) in the keychain.

Here’s the “library” script where I put the functions to do the underlying work (since I have various different tunnels I use):

  1. on startTunnel(targetServer) –returns PID of ssh for killing later
  2.  tell application "Keychain Scripting"
  3.  
  4.   set sshTunnelKeys to every Internet key of current keychain whose (name is "autoSSHTunnel") and (server is targetServer)
  5.  
  6.   if sshTunnelKeys is {} then
  7.    set sshKey to my makeSSHKeyWithServer(targetServer)
  8.   else
  9.    set sshKey to item 1 of sshTunnelKeys
  10.   end if
  11.   set user to account of sshKey
  12.   set passwd to password of sshKey as string
  13.   set sshHost to server of sshKey as string
  14.  end tell
  15.  
  16.  set sshCommand to "ssh -fND 9999 " & user & "@" & sshHost
  17.  
  18.  set expectScript to "spawn " & sshCommand & "
  19. expect assword
  20. send \"" & passwd & "\\n\"
  21. sleep 1"
  22.  
  23.  do shell script "/usr/bin/expect -c '" & expectScript & "' &>/dev/null &"
  24.  
  25.  set tries to 0
  26.  repeat
  27.   set tries to tries + 1
  28.   try
  29.    set sshPIDstring to (do shell script "sleep 1;bash -c 'ps ax -o pid,tt,command | grep \"??\" | grep \"" & sshCommand & "\" | grep -v grep | grep -v expect'")
  30.    set sshPID to first word of sshPIDstring
  31.    set gotPID to true
  32.   on error
  33.    set gotPID to false
  34.   end try
  35.   if gotPID then
  36.    exit repeat
  37.   end if
  38.   if tries > 10 then
  39.    exit repeat
  40.   end if
  41.  end repeat
  42.  if gotPID then
  43.   return sshPID
  44.  else
  45.   return false
  46.  end if
  47. end startTunnel
  48.  
  49. on setUseTunnel()
  50.  do shell script "scselect 'Use SOCKS5 Proxy on localhost:9999'"
  51. end setUseTunnel
  52.  
  53. on clearUseTunnel()
  54.  do shell script "scselect 'Automatic'"
  55. end clearUseTunnel
  56.  
  57. on stopTunnel(pid)
  58.  do shell script "kill " & pid
  59. end stopTunnel
  60.  
  61. on makeSSHKeyWithServer(targetServer)
  62.  tell application "Keychain Scripting"
  63.   repeat
  64.    set acctBox to display dialog "Enter your SSH login for host " & targetServer & ":" default answer "" buttons {"Cancel", "OK"} default button 2
  65.    set myAcct to the text returned of acctBox
  66.    set myButton to the button returned of acctBox
  67.    if myButton is "Cancel" then
  68.     –quit
  69.    else
  70.     if myAcct is not "" then
  71.      exit repeat
  72.     else
  73.      display dialog "bad login"
  74.     end if
  75.    end if
  76.   end repeat
  77.   repeat
  78.    set passBox to display dialog "Enter your password:" default answer "" buttons {"Cancel", "OK"} default button 2 with hidden answer
  79.    set myPass to the text returned of passBox
  80.    set myButton to the button returned of passBox
  81.    if myButton is "Cancel" then
  82.     –quit
  83.    else
  84.     if myPass is not "" then
  85.      exit repeat
  86.     else
  87.      display dialog "can't use blank passwd"
  88.     end if
  89.    end if
  90.   end repeat
  91.   set newSSHKey to make new Internet key with properties {name:"autoSSHTunnel", account:myAcct, password:myPass, server:targetServer, authentication:default, protocol:SSH}
  92.  end tell
  93.  return newSSHKey
  94. end makeSSHKeyWithServer

And here’s the actual script I run.

  1. property Lib : (path to scripts folder from user domain as text) & "Script Library:"
  2. property sshTunnelLib : load script Lib & "ssh_tunnel.scpt" as alias
  3.  
  4. sshTunnelLib's setUseTunnel()
  5.  
  6. set sshPID to sshTunnelLib's startTunnel("fqdn.of.your.server")
  7. if sshPID is not false then
  8.  set noPIDtxt to ""
  9.  set buttonTxt to "Kill SSH and Exit"
  10. else
  11.  set noPIDtxt to " (but couldn't get PID)"
  12.  set buttonTxt to "Exit"
  13. end if
  14.  
  15. display dialog "SSH-tunneled SOCKS5 proxy running on localhost:9999" & noPIDtxt buttons {buttonTxt}
  16.  
  17. if sshPID is not false then
  18.  sshTunnelLib's stopTunnel(sshPID)
  19. end if
  20.  
  21. sshTunnelLib's clearUseTunnel()
Share and Enjoy:
  • Print
  • email
  • RSS
  • del.icio.us
  • Digg
  • Facebook
  • Google Bookmarks
  • LinkedIn
  • Ping.fm
  • Mixx
  • Reddit
  • StumbleUpon
  • Twitter
2 . 7 1 8 2 8 1 8 2 8 4 5 9 0 4 5 2 3 5 3 6 0 2 8 7 4 7 1 3 5 2 6 6 2 4 9 7 7 5 7 2 4 7 0 9 3 6 9 9 9 5 9 5 7 4 9 6 6 9 6 7 6 2 7 7 2 4 0 7 6 6 3 0 3 5 3 5 4 7 5 9 4 5 7 1 3 8 2 1 7 8 5 2 5 1 6 6 4 2 7 4 2 7 4 6 6 3 9 1 9 3 2 0 0 3 0 5 9 9 2 1 8 1 7 4 1 3 5 9 6 6 2 9 0 4 3 5 7 2 9 0 0 3 3 4 2 9 5 2 6 0 5 9 5 6 3 0 7 3 8 1 3 2 3 2 8 6 2 7 9 4 3 4 9 0 7 6 3 2 3 3 8 2 9 8 8 0 7 5 3 1 9 5 2 5 1 0 1 9 0 1 1 5 7 3 8 3 4 1 8 7 9 3 0 7 0 2 1 5 4 0 8 9 1 4 9 9 3 4 8 8 4 1 6 7 5 0 9 2 4 4 7 6 1 4 6 0 6 6 8 0 8 2 2 6 4 8 0 0 1 6 8 4 7 7 4 1 1 8 5 3 7 4 2 3 4 5 4 4 2 4 3 7 1 0 7 5 3 9 0 7 7 7 4 4 9 9 2 0 6 9 5 5 1 7 0 2 7 6 1 8 3 8 6 0 6 2 6 1 3 3 1 3 8 4 5 8 3 0 0 0 7 5 2 0 4 4 9 3 3 8 2 6 5 6 0 2 9 7 6 0 6 7 3 7 1 1 3 2 0 0 7 0 9 3 2 8 7 0 9 1 2 7 4 4 3 7 4 7 0 4 7 2 3 0 6 9 6 9 7 7 2 0 9 3 1 0 1 4 1 6 9 2 8 3 6 8 1 9 0 2 5 5 1 5 1 0 8 6 5 7 4 6 3 7 7 2 1 1 1 2 5 2 3 8 9 7 8 4 4 2 5 0 5 6 9 5 3 6 9 6 7 7 0 7 8 5 4 4 9 9 6 9 9 6 7 9 4 6 8 6 4 4 5 4 9 0 5 9 8 7 9 3 1 6 3 6 8 8 9 2 3 0 0 9 8 7 9 3 1 2 7 7 3 6 1 7 8 2 1 5 4 2 4 9 9 9 2 2 9 5 7 6 3 5 1 4 8 2 2 0 8 2 6 9 8 9 5 1 9 3 6 6 8 0 3 3 1 8 2 5 2 8 8 6 9 3 9 8 4 9 6 4 6 5 1 0 5 8 2 0 9 3 9 2 3 9 8 2 9 4 8 8 7 9 3 3 2 0 3 6 2 5 0 9 4 4 3 1 1 7 3 0 1 2 3 8 1 9 7 0 6 8 4 1 6 1 4 0 3 9 7 0 1 9 8 3 7 6 7 9 3 2 0 6 8 3 2 8 2 3 7 6 4 6 4 8 0 4 2 9 5 3 1 1 8 0 2 3 2 8 7 8 2 5 0 9 8 1 9 4 5 5 8 1 5 3 0 1 7 5 6 7 1 7 3 6 1 3 3 2 0 6 9 8 1 1 2 5 0 9 9 6 1 8 1 8 8 1 5 9 3 0 4 1 6 9 0 3 5 1 5 9 8 8 8 8 5 1 9 3 4 5 8 0 7 2 7 3 8 6 6 7 3 8 5 8 9 4 2 2 8 7 9 2 2 8 4 9 9 8 9 2 0 8 6 8 0 5 8 2 5 7 4 9 2 7 9 6 1 0 4 8 4 1 9 8 4 4 4 3 6 3 4 6 3 2 4 4 9 6 8 4 8 7 5 6 0 2 3 3 6 2 4 8 2 7 0 4 1 9 7 8 6 2 3 2 0 9 0 0 2 1 6 0 9 9 0 2 3 5 3 0 4 3 6 9 9 4 1 8 4 9 1 4 6 3 1 4 0 9 3 4 3 1 7 3 8 1 4 3 6 4 0 5 4 6 2 5 3 1 5 2 0 9 6 1 8 3 6 9 0 8 8 8 7 0 7 0 1 6 7 6 8 3 9 6 4 2 4 3 7 8 1 4 0 5 9 2 7 1 4 5 6 3 5 4 9 0 6 1 3 0 3 1 0 7 2 0 8 5 1 0 3 8 3 7 5 0 5 1 0 1 1 5 7 4 7 7 0 4 1 7 1 8 9 8 6 1 0 6 8 7 3 9 6 9 6 5 5 2 1 2 6 7 1 5 4 6 8 8 9 5 7 0 3 5 0 3 5 4 0 2 1 2 3 4 0 7 8 4 9 8 1 9 3 3 4 3 2 1 0 6 8 1 7 0 1 2 1 0 0 5 6 2 7 8 8 0 2 3 5 1 9 3 0 3 3 2 2 4 7 4 5 0 1 5 8 5 3 9 0 4 7 3 0 4 1 9 9 5 7 7 7 7 0 9 3 5 0 3 6 6 0 4 1 6 9 9 7 3 2 9 7 2 5 0 8 8 6 8 7 6 9 6 6 4 0 3 5 5 5 7 0 7 1 6 2 2 6 8 4 4 7 1 6 2 5 6 0 7 9 8 8 2 6 5 1 7 8 7 1 3 4 1 9 5 1 2 4 6 6 5 2 0 1 0 3 0 5 9 2 1 2 3 6 6 7 7 1 9 4 3 2 5 2 7 8 6 7 5 3 9 8 5 5 8 9 4 4 8 9 6 9 7 0 9 6 4 0 9 7 5 4 5 9 1 8 5 6 9 5 6 3 8 0 2 3 6 3 7 0 1 6 2 1 1 2 0 4 7 7 4 2 7 2 2 8 3 6 4 8 9 6 1 3 4 2 2 5 1 6 4 4 5 0 7 8 1 8 2 4 4 2 3 5 2 9 4 8 6 3 6 3 7 2 1 4 1 7 4 0 2 3 8 8 9 3 4 4 1 2 4 7 9 6 3 5 7 4 3 7 0 2 6 3 7 5 5 2 9 4 4 4 8 3 3 7 9 9 8 0 1 6 1 2 5 4 9 2 2 7 8 5 0 9 2 5 7 7 8 2 5 6 2 0 9 2 6 2 2 6 4 8 3 2 6 2 7 7 9 3 3 3 8 6 5 6 6 4 8 1 6 2 7 7 2 5 1 6 4 0 1 9 1 0 5 9 0 0 4 9 1 6 4 4 9 9 8 2 8 9 3 1 5 0 5 6 6 0 4 7 2 5 8 0 2 7 7 8 6 3 1 8 6 4 1 5 5 1 9 5 6 5 3 2 4 4 2 5 8 6 9 8 2 9 4 6 9 5 9 3 0 8 0 1 9 1 5 2 9 8 7 2 1 1 7 2 5 5 6 3 4 7 5 4 6 3 9 6 4 4 7 9 1 0 1 4 5 9 0 4 0 9 0 5 8 6 2 9 8 4 9 6 7 9 1 2 8 7 4 0 6 8 7 0 5 0 4 8 9 5 8 5 8 6 7 1 7 4 7 9 8 5 4 6 6 7 7 5 7 5 7 3 2 0 5 6 8 1 2 8 8 4 5 9 2 0 5 4 1 3 3 4 0 5 3 9 2 2 0 0 0 1 1 3 7 8 6 3 0 0 9 4 5 5 6 0 6 8 8 1 6 6 7 4 0 0 1 6 9 8 4 2 0 5 5 8 0 4 0 3 3 6 3 7 9 5 3 7 6 4 5 2 0 3 0 4 0 2 4 3 2 2 5 6 6 1 3 5 2 7 8 3 6 9 5 1 1 7 7 8 8 3 8 6 3 8 7 4 4 3 9 6 6 2 5 3 2 2 4 9 8 5 0 6 5 4 9 9 5 8 8 6 2 3 4 2 8 1 8 9 9 7 0 7 7 3 3 2 7 6 1 7 1 7 8 3 9 2 8 0 3 4 9 4 6 5 0 1 4 3 4 5 5 8 8 9 7 0 7 1 9 4 2 5 8 6 3 9 8 7 7 2 7 5 4 7 1 0 9 6 2 9 5 3 7 4 1 5 2 1 1 1 5 1 3 6 8 3 5 0 6 2 7 5 2 6 0 2 3 2 6 4 8 4 7 2 8 7 0 3 9 2 0 7 6 4 3 1 0 0 5 9 5 8 4 1 1 6 6 1 2 0 5 4 5 2 9 7 0 3 0 2 3 6 4 7 2 5 4 9 2 9 6 6 6 9 3 8 1 1 5 1 3 7 3 2 2 7 5 3 6 4 5 0 9 8 8 8 9 0 3 1 3 6 0 2 0 5 7 2 4 8 1 7 6 5 8 5 1 1 8 0 6 3 0 3 6 4 4 2 8 1 2 3 1 4 9 6 5 5 0 7 0 4 7 5 1 0 2 5 4 4 6 5 0 1 1 7 2 7 2 1 1 5 5 5 1 9 4 8 6 6 8 5 0 8 0 0 3 6 8 5 3 2 2 8 1 8 3 1 5 2 1 9 6 0 0 3 7 3 5 6 2 5 2 7 9 4 4 9 5 1 5 8 2 8 4 1 8 8 2 9 4 7 8 7 6 1 0 8 5 2 6 3 9 8 1 3 9 5 5 9 9 0 0 6 7 3 7 6 4 8 2 9 2 2 4 4 3 7 5 2 8 7 1 8 4 6 2 4 5 7 8 0 3 6 1 9 2 9 8 1 9 7 1 3 9 9 1 4 7 5 6 4 4 8 8 2 6 2 6 0 3 9 0 3 3 8 1 4 4 1 8 2 3 2 6 2 5 1 5 0 9 7 4 8 2 7 9 8 7 7 7 9 9 6 4 3 7 3 0 8 9 9 7 0 3 8 8 8 6 7 7 8 2 2 7 1 3 8 3 6 0 5 7 7 2 9 7 8 8 2 4 1 2 5 6 1 1 9 0 7 1 7 6 6 3 9 4 6 5 0 7 0 6 3 3 0 4 5 2 7 9 5 4 6 6 1 8 5 5 0 9 6 6 6 6 1 8 5 6 6 4 7 0 9 7 1 1 3 4 4 4 7 4 0 1 6 0 7 0 4 6 2 6 2 1 5 6 8 0 7 1 7 4 8 1 8 7 7 8 4 4 3 7 1 4 3 6 9 8 8 2 1 8 5 5 9 6 7 0 9 5 9 1 0 2 5 9 6 8 6 2 0 0 2 3 5 3 7 1 8 5 8 8 7 4 8 5 6 9 6 5 2 2 0 0 0 5 0 3 1 1 7 3 4 3 9 2 0 7 3 2 1 1 3 9 0 8 0 3 2 9 3 6 3 4 4 7 9 7 2 7 3 5 5 9 5 5 2 7 7 3 4 9 0 7 1 7 8 3 7 9 3 4 2 1 6 3 7 0 1 2 0 5 0 0 5 4 5 1 3 2 6 3 8 3 5 4 4 0 0 0 1 8 6 3 2 3 9 9 1 4 9 0 7 0 5 4 7 9 7 7 8 0 5 6 6 9 7 8 5 3 3 5 8 0 4 8 9 6 6 9 0 6 2 9 5 1 1 9 4 3 2 4 7 3 0 9 9 5 8 7 6 5 5 2 3 6 8 1 2 8 5 9 0 4 1 3 8 3 2 4 1 1 6 0 7 2 2 6 0 2 9 9 8 3 3 0 5 3 5 3 7 0 8 7 6 1 3 8 9 3 9 6 3 9 1 7 7 9 5 7 4 5 4 0 1 6 1 3 7 2 2 3 6 1 8 7 8 9 3 6 5 2 6 0 5 3 8 1 5 5 8 4 1 5 8 7 1 8 6 9 2 5 5 3 8 6 0 6 1 6 4 7 7 9 8 3 4 0 2 5 4 3 5 1 2 8 4 3 9 6 1 2 9 4 6 0 3 5 2 9 1 3 3 2 5 9 4 2 7 9 4 9 0 4 3 3 7 2 9 9 0 8 5 7 3 1 5 8 0 2 9 0 9 5 8 6 3 1 3 8 2 6 8 3 2 9 1 4 7 7 1 1 6 3 9 6 3 3 7 0 9 2 4 0 0 3 1 6 8 9 4 5 8 6 3 6 0 6 0 6 4 5 8 4 5 9 2 5 1 2 6 9 9 4 6 5 5 7 2 4 8 3 9 1 8 6 5 6 4 2 0 9 7 5 2 6 8 5 0 8 2 3 0 7 5 4 4 2 5 4 5 9 9 3 7 6 9 1 7 0 4 1 9 7 7 7 8 0 0 8 5 3 6 2 7 3 0 9 4 1 7 1 0 1 6 3 4 3 4 9 0 7 6 9 6 4 2 3 7 2 2 2 9 4 3 5 2 3 6 6 1 2 5 5 7 2 5 0 8 8 1 4 7 7 9 2 2 3 1 5 1 9 7 4 7 7 8 0 6 0 5 6 9 6 7 2 5 3 8 0 1 7 1 8 0 7 7 6 3 6 0 3 4 6 2 4 5 9 2 7 8 7 7 8 4 6 5 8 5 0 6 5 6 0 5 0 7 8 0 8 4 4 2 1 1 5 2 9 6 9 7 5 2 1 8 9 0 8 7 4 0 1 9 6 6 0 9 0 6 6 5 1 8 0 3 5 1 6 5 0 1 7 9 2 5 0 4 6 1 9 5 0 1 3 6 6 5 8 5 4 3 6 6 3 2 7 1 2 5 4 9 6 3 9 9 0 8 5 4 9 1 4 4 2 0 0 0 1 4 5 7 4 7 6 0 8 1 9 3 0 2 2 1 2 0 6 6 0 2 4 3 3 0 0 9 6 4 1 2 7 0 4 8 9 4 3 9 0 3 9 7 1 7 7 1 9 5 1 8 0 6 9 9 0 8 6 9 9 8 6 0 6 6 3 6 5 8 3 2 3 2 2 7 8 7 0 9 3 7 6 5 0 2 2 6 0 1 4 9 2 9 1 0 1 1 5 1 7 1 7 7 6 3 5 9 4 4 6 0 2 0 2 3 2 4 9 3 0 0 2 8 0 4 0 1 8 6 7 7 2 3 9 1 0 2 8 8 0 9 7 8 6 6 6 0 5 6 5 1 1 8 3 2 6 0 0 4 3 6 8 8 5 0 8 8 1 7 1 5 7 2 3 8 6 6 9 8 4 2 2 4 2 2 0 1 0 2 4 9 5 0 5 5 1 8 8 1 6 9 4 8 0 3 2 2 1 0 0 2 5 1 5 4 2 6 4 9 4 6 3 9 8 1 2 8 7 3 6 7 7 6 5 8 9 2 7 6 8 8 1 6 3 5 9 8 3 1 2 4 7 7 8 8 6 5 2 0 1 4 1 1 7 4 1 1 0 9 1 3 6 0 1 1 6 4 9 9 5 0 7 6 6 2 9 0 7 7 9 4 3 6 4 6 0 0 5 8 5 1 9 4 1 9 9 8 5 6 0 1 6 2 6 4 7 9 0 7 6 1 5 3 2 1 0 3 8 7 2 7 5 5 7 1 2 6 9 9 2 5 1 8 2 7 5 6 8 7 9 8 9 3 0 2 7 6 1 7 6 1 1 4 6 1 6 2 5 4 9 3 5 6 4 9 5 9 0 3 7 9 8 0 4 5 8 3 8 1 8 2 3 2 3 3 6 8 6 1 2 0 1 6 2 4 3 7 3 6 5 6 9 8 4 6 7 0 3 7 8 5 8 5 3 3 0 5 2 7 5 8 3 3 3 3 7 9 3 9 9 0 7 5 2 1 6 6 0 6 9 2 3 8 0 5 3 3 6 9 8 8 7 9 5 6 5 1 3 7 2 8 5 5 9 3 8 8 3 4 9 9 8 9 4 7 0 7 4 1 6 1 8 1 5 5 0 1 2 5 3 9 7 0 6 4 6 4 8 1 7 1 9 4 6 7 0 8 3 4 8 1 9 7 2 1 4 4 8 8 8 9 8 7 9 0 6 7 6 5 0 3 7 9 5 9 0 3 6 6 9 6 7 2 4 9 4 9 9 2 5 4 5 2 7 9 0 3 3 7 2 9 6 3 6 1 6 2 6 5 8 9 7 6 0 3 9 4 9 8 5 7 6 7 4 1 3 9 7 3 5 9 4 4 1 0 2 3 7 4 4 3 2 9 7 0 9 3 5 5 4 7 7 9 8 2 6 2 9 6 1 4 5 9 1 4 4 2 9 3 6 4 5 1 4 2 8 6 1 7 1 5 8 5 8 7 3 3 9 7 4 6 7 9 1 8 9 7 5 7 1 2 1 1 9 5 6 1 8 7 3 8 5 7 8 3 6 4 4 7 5 8 4 4 8 4 2 3 5 5 5 5 8 1 0 5 0 0 2 5 6 1 1 4 9 2 3 9 1 5 1 8 8 9 3 0 9 9 4 6 3 4 2 8 4 1 3 9 3 6 0 8 0 3 8 3 0 9 1 6 6 2 8 1 8 8 1 1 5 0 3 7 1 5 2 8 4 9 6 7 0 5 9 7 4 1 6 2 5 6 2 8 2 3 6 0 9 2 1 6 8 0 7 5 1 5 0 1 7 7 7 2 5 3 8 7 4 0 2 5 6 4 2 5 3 4 7 0 8 7 9 0 8 9 1 3 7 2 9 1 7 2 2 8 2 8 6 1 1 5 1 5 9 1 5 6 8 3 7 2 5 2 4 1 6 3 0 7 7 2 2 5 4 4 0 6 3 3 7 8 7 5 9 3 1 0 5 9 8 2 6 7 6 0 9 4 4 2 0 3 2 6 1 9 2 4 2 8 5 3 1 7 0 1 8 7 8 1 7 7 2 9 6 0 2 3 5 4 1 3 0 6 0 6 7 2 1 3 6 0 4 6 0 0 0 3 8 9 6 6 1 0 9 3 6 4 7 0 9 5 1 4 1 4 1 7 1 8 5 7 7 7 0 1 4 1 8 0 6 0 6 4 4 3 6 3 6 8 1 5 4 6 4 4 4 0 0 5 3 3 1 6 0 8 7 7 8 3 1 4 3 1 7 4 4 4 0 8 1 1 9 4 9 4 2 2 9 7 5 5 9 9 3 1 4 0 1 1 8 8 8 6 8 3 3 1 4 8 3 2 8 0 2 7 0 6 5 5 3 8 3 3 0 0 4 6 9 3 2 9 0 1 1 5 7 4 4 1 4 7 5 6 3 1 3 9 9 9 7 2 2 1 7 0 3 8 0 4 6 1 7 0 9 2 8 9 4 5 7 9 0 9 6 2 7 1 6 6 2 2 6 0 7 4 0 7 1 8 7 4 9 9 7 5 3 5 9 2 1 2 7 5 6 0 8 4 4 1 4 7 3 7 8 2 3 3 0 3 2 7 0 3 3 0 1 6 8 2 3 7 1 9 3 6 4 8 0 0 2 1 7 3 2 8 5 7 3 4 9 3 5 9 4 7 5 6 4 3 3 4 1 2 9 9 4 3 0 2 4 8 5 0 2 3 5 7 3 2 2 1 4 5 9 7 8 4 3 2 8 2 6 4 1 4 2 1 6 8 4 8 7 8 7 2 1 6 7 3 3 6 7 0 1 0 6 1 5 0 9 4 2 4 3 4 5 6 9 8 4 4 0 1 8 7 3 3 1 2 8 1 0 1 0 7 9 4 5 1 2 7 2 2 3 7 3 7 8 8 6 1 2 6 0 5 8 1 6 5 6 6 8 0 5 3 7 1 4 3 9 6 1 2 7 8 8 8 7 3 2 5 2 7 3 7 3 8 9 0 3 9 2 8 9 0 5 0 6 8 6 5 3 2 4 1 3 8 0 6 2 7 9 6 0 2 5 9 3 0 3 8 7 7 2 7 6 9 7 7 8 3 7 9 2 8 6 8 4 0 9 3 2 5 3 6 5 8 8 0 7 3 3 9 8 8 4 5 7 2 1 8 7 4 6 0 2 1 0 0 5 3 1 1 4 8 3 3 5 1 3 2 3 8 5 0 0 4 7 8 2 7 1 6 9 3 7 6 2 1 8 0 0 4 9 0 4 7 9 5 5 9 7 9 5 9 2 9 0 5 9 1 6 5 5 4 7 0 5 0 5 7 7 7 5 1 4 3 0 8 1 7 5 1 1 2 6 9 8 9 8 5 1 8 8 4 0 8 7 1 8 5 6 4 0 2 6 0 3 5 3 0 5 5 8 3 7 3 7 8 3 2 4 2 2 9 2 4 1 8 5 6 2 5 6 4 4 2 5 5 0 2 2 6 7 2 1 5 5 9 8 0 2 7 4 0 1 2 6 1 7 9 7 1 9 2 8 0 4 7 1 3 9 6 0 0 6 8 9 1 6 3 8 2 8 6 6 5 2 7 7 0 0 9 7 5 2 7 6 7 0 6 9 7 7 7 0 3 6 4 3 9 2 6 0 2 2 4 3 7 2 8 4 1 8 4 0 8 8 3 2 5 1 8 4 8 7 7 0 4 7 2 6 3 8 4 4 0 3 7 9 5 3 0 1 6 6 9 0 5 4 6 5 9 3 7 4 6 1 6 1 9 3 2 3 8 4 0 3 6 3 8 9 3 1 3 1 3 6 4 3 2 7 1 3 7 6 8 8 8 4 1 0 2 6 8 1 1 2 1 9 8 9 1 2 7 5 2 2 3 0 5 6 2 5 6 7 5 6 2 5 4 7 0 1 7 2 5 0 8 6 3 4 9 7 6 5 3 6 7 2 8 8 6 0 5 9 6 6 7 5 2 7 4 0 8 6 8 6 2 7 4 0 7 9 1 2 8 5 6 5 7 6 9 9 6 3 1 3 7 8 9 7 5 3 0 3 4 6 6 0 6 1 6 6 6 9 8 0 4 2 1 8 2 6 7 7 2 4 5 6 0 5 3 0 6 6 0 7 7 3 8 9 9 6 2 4 2 1 8 3 4 0 8 5 9 8 8 2 0 7 1 8 6 4 6 8 2 6 2 3 2 1 5 0 8 0 2 8 8 2 8 6 3 5 9 7 4 6 8 3 9 6 5 4 3 5 8 8 5 6 6 8 5 5 0 3 7 7 3 1 3 1 2 9 6 5 8 7 9 7 5 8 1 0 5 0 1 2 1 4 9 1 6 2 0 7 6 5 6 7 6 9 9 5 0 6 5 9 7 1 5 3 4 4 7 6 3 4 7 0 3 2 0 8 5 3 2 1 5 6 0 3 6 7 4 8 2 8 6 0 8 3 7 8 6 5 6 8 0 3 0 7 3 0 6 2 6 5 7 6 3 3 4 6 9 7 7 4 2 9 5 6 3 4 6 4 3 7 1 6 7 0 9 3 9 7 1 9 3 0 6 0 8 7 6 9 6 3 4 9 5 3 2 8 8 4 6 8 3 3 6 1 3 0 3 8 8 2 9 4 3 1 0 4 0 8 0 0 2 9 6 8 7 3 8 6 9 1 1 7 0 6 6 6 6 6 1 4 6 8 0 0 0 1 5 1 2 1 1 4 3 4 4 2 2 5 6 0 2 3 8 7 4 4 7 4 3 2 5 2 5 0 7 6 9 3 8 7 0 7 7 7 7 5 1 9 3 2 9 9 9 4 2 1 3 7 2 7 7 2 1 1 2 5 8 8 4 3 6 0 8 7 1 5 8 3 4 8 3 5 6 2 6 9 6 1 6 6 1 9 8 0 5 7 2 5 2 6 6 1 2 2 0 6 7 9 7 5 4 0 6 2 1 0 6 2 0 8 0 6 4 9 8 8 2 9 1 8 4 5 4 3 9 5 3 0 1 5 2 9 9 8 2 0 9 2 5 0 3 0 0 5 4 9 8 2 5 7 0 4 3 3 9 0 5 5 3 5 7 0 1 6 8 6 5 3 1 2 0 5 2 6 4 9 5 6 1 4 8 5 7 2 4 9 2 5 7 3 8 6 2 0 6 9 1 7 4 0 3 6 9 5 2 1 3 5 3 3 7 3 2 5 3 1 6 6 6 3 4 5 4 6 6 5 8 8 5 9 7 2 8 6 6 5 9 4 5 1 1 3 6 4 4 1 3 7 0 3 3 1 3 9 3 6 7 2 1 1 8 5 6 9 5 5 3 9 5 2 1 0 8 4 5 8 4 0 7 2 4 4 3 2 3 8 3 5 5 8 6 0 6 3 1 0 6 8 0 6 9 6 4 9 2 4 8 5 1 2 3 2 6 3 2 6 9 9 5 1 4 6 0 3 5 9 6 0 3 7 2 9 7 2 5 3 1 9 8 3 6 8 4 2 3 3 6 3 9 0 4 6 3 2 1 3 6 7 1 0 1 1 6 1 9 2 8 2 1 7 1 1 1 5 0 2 8 2 8 0 1 6 0 4 4 8 8 0 5 8 8 0 2 3 8 2 0 3 1 9 8 1 4 9 3 0 9 6 3 6 9 5 9 6 7 3 5 8 3 2 7 4 2 0 2 4 9 8 8 2 4 5 6 8 4 9 4 1 2 7 3 8 6 0 5 6 6 4 9 1 3 5 2 5 2 6 7 0 6 0 4 6 2 3 4 4 5 0 5 4 9 2 2 7 5 8 1 1 5 1 7 0 9 3 1 4 9 2 1 8 7 9 5 9 2 7 1 8 0 0 1 9 4 0 9 6 8 8 6 6 9 8 6 8 3 7 0 3 7 3 0 2 2 0 0 4 7 5 3 1 4 3 3 8 1 8 1 0 9 2 7 0 8 0 3 0 0 1 7 2 0 5 9 3 5 5 3 0 5 2 0 7 0 0 7 0 6 0 7 2 2 3 3 9 9 9 4 6 3 9 9 0 5 7 1 3 1 1 5 8 7 0 9 9 6 3 5 7 7 7 3 5 9 0 2 7 1 9 6 2 8 5 0 6 1 1 4 6 5 1 4 8 3 7 5 2 6 2 0 9 5 6 5 3 4 6 7 1 3 2 9 0 0 2 5 9 9 4 3 9 7 6 6 3 1 1 4 5 4 5 9 0 2 6 8 5 8 9 8 9 7 9 1 1 5 8 3 7 0 9 3 4 1 9 3 7 0 4 4 1 1 5 5 1 2 1 9 2 0 1 1 7 1 6 4 8 8 0 5 6 6 9 4 5 9 3 8 1 3 1 1 8 3 8 4 3 7 6 5 6 2 0 6 2 7 8 4 6 3 1 0 4 9 0 3 4 6 2 9 3 9 5 0 0 2 9 4 5 8 3 4 1 1 6 4 8 2 4 1 1 4 9 6 9 7 5 8 3 2 6 0 1 1 8 0 0 7 3 1 6 9 9 4 3 7 3 9 3 5 0 6 9 6 6 2 9 5 7 1 2 4 1 0 2 7 3 2 3 9 1 3 8 7 4 1 7 5 4 9 2 3 0 7 1 8 6 2 4 5 4 5 4 3 2 2 2 0 3 9 5 5 2 7 3 5 2 9 5 2 4 0 2 4 5 9 0 3 8 0 5 7 4 4 5 0 2 8 9 2 2 4 6 8 8 6 2 8 5 3 3 6 5 4 2 2 1 3 8 1 5 7 2 2 1 3 1 1 6 3 2 8 8 1 1 2 0 5 2 1 4 6 4 8 9 8 0 5 1 8 0 0 9 2 0 2 4 7 1 9 3 9 1 7 1 0 5 5 5 3 9 0 1 1 3 9 4 3 3 1 6 6 8 1 5 1 5 8 2 8 8 4 3 6 8 7 6 0 6 9 6 1 1 0 2 5 0 5 1 7 1 0 0 7 3 9 2 7 6 2 3 8 5 5 5 3 3 8 6 2 7 2 5 5 3 5 3 8 8 3 0 9 6 0 6 7 1 6 4 4 6 6 2 3 7 0 9 2 2 6 4 6 8 0 9 6 7 1 2 5 4 0 6 1 8 6 9 5 0 2 1 4 3 1 7 6 2 1 1 6 6 8 1 4 0 0 9 7 5 9 5 2 8 1 4 9 3 9 0 7 2 2 2 6 0 1 1 1 2 6 8 1 1 5 3 1 0 8 3 8 7 3 1 7 6 1 7 3 2 3 2 3 5 2 6 3 6 0 5 8 3 8 1 7 3 1 5 1 0 3 4 5 9 5 7 3 6 5 3 8 2 2 3 5 3 4 9 9 2 9 3 5 8 2 2 8 3 6 8 5 1 0 0 7 8 1 0 8 8 4 6 3 4 3 4 9 9 8 3 5 1 8 4 0 4 4 5 1 7 0 4 2 7 0 1 8 9 3 8 1 9 9 4 2 4 3 4 1 0 0 9 0 5 7 5 3 7 6 2 5 7 7 6 7 5 7 1 1 1 8 0 9 0 0 8 8 1 6 4 1 8 3 3 1 9 2 0 1 9 6 2 6 2 3 4 1 6 2 8 8 1 6 6 5 2 1 3 7 4 7 1 7 3 2 5 4 7 7 7 2 7 7 8 3 4 8 8 7 7 4 3 6 6 5 1 8 8 2 8 7 5 2 1 5 6 6 8 5 7 1 9 5 0 6 3 7 1 9 3 6 5 6 5 3 9 0 3 8 9 4 4 9 3 6 6 4 2 1 7 6 4 0 0 3 1 2 1 5 2 7 8 7 0 2 2 2 3 6 6 4 6 3 6 3 5 7 5 5 5 0 3 5 6 5 5 7 6 9 4 8 8 8 6 5 4 9 5 0 0 2 7 0 8 5 3 9 2 3 6 1 7 1 0 5 5 0 2 1 3 1 1 4 7 4 1 3 7 4 4 1 0 6 1 3 4 4 4 5 5 4 4 1 9 2 1 0 1 3 3 6 1 7 2 9 9 6 2 8 5 6 9 4 8 9 9 1 9 3 3 6 9 1 8 4 7 2 9 4 7 8 5 8 0 7 2 9 1 5 6 0 8 8 5 1 0 3 9 6 7 8 1 9 5 9 4 2 9 8 3 3 1 8 6 4 8 0 7 5 6 0 8 3 6 7 9 5 5 1 4 9 6 6 3 6 4 4 8 9 6 5 5 9 2 9 4 8 1 8 7 8 5 1 7 8 4 0 3 8 7 7 3 3 2 6 2 4 7 0 5 1 9 4 5 0 5 0 4 1 9 8 4 7 7 4 2 0 1 4 1 8 3 9 4 7 7 3 1 2 0 2 8 1 5 8 8 6 8 4 5 7 0 7 2 9 0 5 4 4 0 5 7 5 1 0 6 0 1 2 8 5 2 5 8 0 5 6 5 9 4 7 0 3 0 4 6 8 3 6 3 4 4 5 9 2 6 5 2 5 5 2 1 3 7 0 0 8 0 6 8 7 5 2 0 0 9 5 9 3 4 5 3 6 0 7 3 1 6 2 2 6 1 1 8 7 2 8 1 7 3 9 2 8 0 7 4 6 2 3 0 9 4 6 8 5 3 6 7 8 2 3 1 0 6 0 9 7 9 2 1 5 9 9 3 6 0 0 1 9 9 4 6 2 3 7 9 9 3 4 3 4 2 1 0 6 8 7 8 1 3 4 9 7 3 4 6 9 5 9 2 4 6 4 6 9 7 5 2 5 0 6 2 4 6 9 5 8 6 1 6 9 0 9 1 7 8 5 7 3 9 7 6 5 9 5 1 9 9 3 9 2 9 9 3 9 9 5 5 6 7 5 4 2 7 1 4 6 5 4 9 1 0 4 5 6 8 6 0 7 0 2 0 9 9 0 1 2 6 0 6 8 1 8 7 0 4 9 8 4 1 7 8 0 7 9 1 7 3 9 2 4 0 7 1 9 4 5 9 9 6 3 2 3 0 6 0 2 5 4 7 0 7 9 0 1 7 7 4 5 2 7 5 1 3 1 8 6 8 0 9 9 8 2 2 8 4 7 3 0 8 6 0 7 6 6 5 3 6 8 6 6 8 5 5 5 1 6 4 6 7 7 0 2 9 1 1 3 3 6 8 2 7 5 6 3 1 0 7 2 2 3 3 4 6 7 2 6 1 1 3 7 0 5 4 9 0 7 9 5 3 6 5 8 3 4 5 3 8 6 3 7 1 9 6 2 3 5 8 5 6 3 1 2 6 1 8 3 8 7 1 5 6 7 7 4 1 1 8 7 3 8 5 2 7 7 2 2 9 2 2 5 9 4 7 4 3 3 7 3 7 8 5 6 9 5 5 3 8 4 5 6 2 4 6 8 0 1 0 1 3 9 0 5 7 2 7 8 7 1 0 1 6 5 1 2 9 6 6 6 3 6 7 6 4 4 5 1 8 7 2 4 6 5 6 5 3 7 3 0 4 0 2 4 4 3 6 8 4 1 4 0 8 1 4 4 8 8 7 3 2 9 5 7 8 4 7 3 4 8 4 9 0 0 0 3 0 1 9 4 7 7 8 8 8 0 2 0 4 6 0 3 2 4 6 6 0 8 4 2 8 7 5 3 5 1 8 4 8 3 6 4 9 5 9 1 9 5 0 8 2 8 8 8 3 2 3 2 0 6 5 2 2 1 2 8 1 0 4 1 9 0 4 4 8 0 4 7 2 4 7 9 4 9 2 9 1 3 4 2 2 8 4 9 5 1 9 7 0 0 2 2 6 0 1 3 1 0 4 3 0 0 6 2 4 1 0 7 1 7 9 7 1 5 0 2 7 9 3 4 3 3 2 6 3 4 0 7 9 9 5 9 6 0 5 3 1 4 4 6 0 5 3 2 3 0 4 8 8 5 2 8 9 7 2 9 1 7 6 5 9 8 7 6 0 1 6 6 6 7 8 1 1 9 3 7 9 3 2 3 7 2 4 5 3 8 5 7 2 0 9 6 0 7 5 8 2 2 7 7 1 7 8 4 8 3 3 6 1 6 1 3 5 8 2 6 1 2 8 9 6 2 2 6 1 1 8 1 2 9 4 5 5 9 2 7 4 6 2 7 6 7 1 3 7 7 9 4 4 8 7 5 8 6 7 5 3 6 5 7 5 4 4 8 6 1 4 0 7 6 1 1 9 3 1 1 2 5 9 5 8 5 1 2 6 5 5 7 5 9 7 3 4 5 7 3 0 1 5 3 3 3 6 4 2 6 3 0 7 6 7 9 8 5 4 4 3 3 8 5 7 6 1 7 1 5 3 3 3 4 6 2 3 2 5 2 7 0 5 7 2 0 0 5 3 0 3 9 8 8 2 8 9 4 9 9 0 3 4 2 5 9 5 6 6 2 3 2 9 7 5 7 8 2 4 8 8 7 3 5 0 2 9 2 5 9 1 6 6 8 2 5 8 9 4 4 5 6 8 9 4 6 5 5 9 9 2 6 5 8 4 5 4 7 6 2 6 9 4 5 2 8 7 8 0 5 1 6 5 0 1 7 2 0 6 7 4 7 8 5 4 1 7 8 8 7 9 8 2 2 7 6 8 0 6 5 3 6 6 5 0 6 4 1 9 1 0 9 7 3 4 3 4 5 2 8 8 7 8 3 3 8 6 2 1 7 2 6 1 5 6 2 6 9 5 8 2 6 5 4 4 7 8 2 0 5 6 7 2 9 8 7 7 5 6 4 2 6 3 2 5 3 2 1 5 9 4 2 9 4 4 1 8 0 3 9 9 4 3 2 1 7 0 0 0 0 9 0 5 4 2 6 5 0 7 6 3 0 9 5 5 8 8 4 6 5 8 9 5 1 7 1 7 0 9 1 4 7 6 0 7 4 3 7 1 3 6 8 9 3 3 1 9 4 6 9 0 9 0 9 8 1 9 0 4 5 0 1 2 9 0 3 0 7 0 9 9 5 6 6 2 2 6 6 2 0 3 0 3 1 8 2 6 4 9 3 6 5 7 3 3 6 9 8 4 1 9 5 5 5 7 7 6 9 6 3 7 8 7 6 2 4 9 1 8 8 5 2 8 6 5 6 8 6 6 0 7 6 0 0 5 6 6 0 2 5 6 0 5 4 4 5 7 1 1 3 3 7 2 8 6 8 4 0 2 0 5 5 7 4 4 1 6 0 3 0 8 3 7 0 5 2 3 1 2 2 4 2 5 8 7 2 2 3 4 3 8 8 5 4 1 2 3 1 7 9 4 8 1 3 8 8 5 5 0 0 7 5 6 8 9 3 8 1 1 2 4 9 3 5 3 8 6 3 1 8 6 3 5 2 8 7 0 8 3 7 9 9 8 4 5 6 9 2 6 1 9 9 8 1 7 9 4 5 2 3 3 6 4 0 8 7 4 2 9 5 9 1 1 8 0 7 4 7 4 5 3 4 1 9 5 5 1 4 2 0 3 5 1 7 2 6 1 8 4 2 0 0 8 4 5 5 0 9 1 7 0 8 4 5 6 8 2 3 6 8 2 0 0 8 9 7 7 3 9 4 5 5 8 4 2 6 7 9 2 1 4 2 7 3 4 7 7 5 6 0 8 7 9 6 4 4 2 7 9 2 0 2 7 0 8 3 1 2 1 5 0 1 5 6 4 0 6 3 4 1 3 4 1 6 1 7 1 6 6 4 4 8 0 6 9 8 1 5 4 8 3 7 6 4 4 9 1 5 7 3 9 0 0 1 2 1 2 1 7 0 4 1 5 4 7 8 7 2 5 9 1 9 9 8 9 4 3 8 2 5 3 6 4 9 5 0 5 1 4 7 7 1 3 7 9 3 9 9 1 4 7 2 0 5 2 1 9 5 2 9 0 7 9 3 9 6 1 3 7 6 2 1 1 0 7 2 3 8 4 9 4 2 9 0 6 1 6 3 5 7 6 0 4 5 9 6 2 3 1 2 5 3 5 0 6 0 6 8 5 3 7 6 5 1 4 2 3 1