100644 blob 9ad5bd9d3171d931c0b9d8699269958174fb39b7	benchmark.pl
040000 tree 11952f3042ddec48c0b4bee7b1fb851ad45dabff	cleanup
100644 blob 24687ecd1d8459d24b784fb0ea791c61f365da62	empirist.pl
100644 blob 6ae8fbad49714da3311e2e3196c85c050ecea983	ud_tokens.pl