awk '/^[0-9]/ {if ($1>100000) {nextfile} print FILENAME; gsub(".txt", ".lst", FILENAME); print FILENAME; gsub(".lst", ".map", FILENAME); print FILENAME; nextfile}' *.txt | xargs echo