egrep -v '@.*mail(9|[1-9][0-9])' < in-file > out-file