Host 172.28.8.19
  Hostname 172.28.8.19
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec

Host 172.28.8.20
  Hostname 172.28.8.20
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec

Host 172.28.8.29
  Hostname 172.28.8.29
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec

Host 172.28.8.252
  Hostname 172.28.8.252
  Port 10000
  User steel
  IdentityFile /tmp/id/id.dec