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