Search Results

You said that you want to stop if chars 9 and 10 do not contain 0[1357], but you include a check for eight leading digits - should that be considered essential as well? If not, try
sed -n...