Host 13.11.9.40
  Hostname 13.11.9.40
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 13.11.9.42

Host 13.11.9.41
  Hostname 13.11.9.41
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 13.11.9.42

Host 13.11.9.42
  Hostname 10.252.232.201
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 13.11.9.43
  Hostname 10.252.232.202
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 13.11.9.44
  Hostname 13.11.9.44
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 13.11.9.42

Host 13.11.9.45
  Hostname 13.11.9.45
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 13.11.9.42

Host 13.11.9.46
  Hostname 13.11.9.46
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 13.11.9.42

Host 13.11.9.47
  Hostname 13.11.9.47
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec
  ProxyJump 13.11.9.42
