/^��.$/{printf("%-12s%5d:%s\n", FILENAME,FNR-1,$0)}
/^��[^ ]$/{printf("%-12s%5d:%s\n", FILENAME,FNR-1,$0)}
/^[^ ]+�s[^ ]+�t$/{printf("%-12s%5d:%s\n", FILENAME,FNR-1,$0)}