Host 10.134.71.80
  Hostname 10.134.71.80
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.134.71.82

Host 10.134.71.81
  Hostname 10.134.71.81
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.134.71.82

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

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

Host 10.134.71.84
  Hostname 10.134.71.84
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.134.71.82

Host 10.134.71.85
  Hostname 10.134.71.85
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.134.71.82

Host 10.134.71.86
  Hostname 10.134.71.86
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.134.71.82

Host 10.134.71.87
  Hostname 10.134.71.87
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.134.71.82
