Host 10.5.127.87
  Hostname 10.251.192.140
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.63.143.35

Host 10.5.127.88
  Hostname 10.251.192.141
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.63.143.35
