#!/bin/sh



HOSTS="3 10 17 19 20 23 31 32 33 128 130 131 133 134 135 136 137 138 140 142
143 144 145 146 147 148 150 151 152 153 155 156 157 158 160 161"

> hosts.def
for i in $HOSTS; do
	echo "{ NULL, \"10.42.1.$i\" }," >> hosts.def
done