Host 10.8.73.47
  Hostname 10.246.157.156
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.63.143.35

Host 10.8.73.48
  Hostname 10.246.157.157
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.63.143.35