Исправление beastie, (текущая версия) :
egrep '^41:01:00[[:digit:]]{5}:[[:digit:]]{1,4}$'
awk '/^41:01:00[[:digit:]]{5}:[[:digit:]]{1,4}$/ { print }'
\d – это Perl’овое расширение. Класс чисел – это [[:digit:]] или [0-9].
Исходная версия beastie, :
egrep '^41:01:00[[:digit:]]{5}:[[:digit:]]{1,4}$'
awk '/^41:01:00[[:digit:]]{5}:[[:digit:]]{1,4}$/ { print }'