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