Исправление sf, 17.08.19 17:06 (текущая версия) :
grep -E '4[.]13[.]0-([1-9]|1[0-9]|2[01])-.*'
Исходная версия sf, 17.08.19 17:05: