/0001234/d
/0004567/d
/0089123/d
...

##</code><code>##

sed -f kill.list big.file > tmp.copy
mv tmp.copy big.file