100755 blob d694f1abfe49b061e44a17d5a2405bc6caf676b4	extract_content.py
100644 blob 9b08fd3214e3bf0dd217aa067ab15eea6ce8bca5	fix_tex.py
100644 blob 2c2b1f3b4434e0a0b850b43d530920dd2b3dafb6	genrest.py