#376936 /usr/bin/numgrep: 'numgrep' factor algorithm could be made faster...