100644 blob 027901e57a6459301fc49854b436067985d811e9	benchmark.pl
040000 tree 11952f3042ddec48c0b4bee7b1fb851ad45dabff	cleanup
100644 blob 9c063c7cf2d6101b0f4c7c533a8e9495de7a0ba2	empirist.pl
100644 blob 7173d045bba61b27ea20185b4d051f7010177b48	ud_tokens.pl