Host 10.72.143.33
  Hostname 10.72.143.33
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.72.143.35

Host 10.72.143.34
  Hostname 10.72.143.34
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.72.143.35

Host 10.72.143.35
  Hostname  10.13.121.156
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 10.72.143.36
  Hostname 10.13.121.157
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 10.72.143.37
  Hostname 10.72.143.37
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.72.143.35

Host 10.72.143.38
  Hostname 10.72.143.38
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.72.143.35

Host 10.72.143.39
  Hostname 10.72.143.39
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.72.143.35

Host 10.72.143.40
  Hostname 10.72.143.40
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.72.143.35
