100755 blob 98c385fd3108b22f2b2a81b78e8cac513b0c9e9a	extract_content.py
100644 blob 9b08fd3214e3bf0dd217aa067ab15eea6ce8bca5	fix_tex.py
100644 blob 9f7ea055c0bbacc284e1c508eafd0216b32ef30c	genrest.py