Host 10.180.31.37
  Hostname 10.180.31.37
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.180.31.39                 

Host 10.180.31.38
  Hostname 10.180.31.38
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.180.31.39

Host 10.180.31.39
  Hostname  10.180.43.156
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 10.180.31.40
  Hostname 10.180.43.157
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 10.180.31.41
  Hostname 10.180.31.41
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.180.31.39

Host 10.180.31.42
  Hostname 10.180.31.42
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.180.31.39

Host 10.180.31.43
  Hostname 10.180.31.43
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.180.31.39

Host 10.180.31.44
  Hostname 10.180.31.44
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.180.31.39
