100755 blob 5d04b9a5908fa77e0958bcca66058a7f295d7427	detokenize.pl
100755 blob e00c8b816f5d623744266968a532b8764f65921f	lowercase.pl
040000 tree c3c9dc86706aebacb80b88a2b5f9bf555acf8270	nonbreaking_prefixes
100755 blob 1c2454b3e4219dc4f0c462437dc6f9a673b3260c	normalize.pl
100755 blob a774a1566be2c39fd113425f7f7ea6cf62a062ca	preprocess.sh
100755 blob 96912eab50665fa5f8aebe21020c225674579008	tokenize.pl