Host 14.129.215.13
  Hostname 14.129.215.13
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 14.129.215.14

Host 14.129.215.14
  Hostname 10.252.232.206
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 14.129.215.15
  Hostname 14.129.215.15
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87
