Host pro-10
Hostname 192.168.1.10
ProxyCommand ssh production-server nc %h %p

Host pro-*
Hostname 192.168.1.$1
ProxyCommand ssh production-server nc %h %p

Host 192.168.1.*
  ProxyCommand ssh production-server nc %h %p

192.168.1.10 pro10
192.168.1.11 pro11

Host pro1?
  ProxyCommand ssh production-server nc %h %p

for i in {4..10}
do
  echo -e "Host pro-$inHostname 192.168.1.$inProxyCommand ssh production-server nc %h %pn"; > ~/.ssh/config
done

for i in $(seq 75 125);
do
    echo "Host pro-$i" >> ~/.ssh/config
    echo "Hostname 192.168.1.$i" >> ~/.ssh/config
    echo "ProxyCommand ssh production-server nc %h %p" >> ~/.ssh/config
    echo "n" >> ~/.ssh/config
done

1 23 45 67 89