Host 10.130.15.21
  Hostname 10.130.15.21
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.130.15.23

Host 10.130.15.22
  Hostname 10.130.15.22
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.130.15.23

Host 10.130.15.23
  Hostname 10.12.46.142
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 10.130.15.24
  Hostname 10.12.46.143
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 10.130.15.25
  Hostname 10.130.15.25
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.130.15.23

Host 10.130.15.26
  Hostname 10.130.15.26
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.130.15.23

Host 10.130.15.27
  Hostname 10.130.15.27
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.130.15.23

Host 10.130.15.28
  Hostname 10.130.15.28
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.130.15.23
