extended types
-rw-r--r-- 63 .gitignore
-rw-r--r-- 381 Makefile
drwxr-xr-x - img
-rw-r--r-- 4480 p.tex
-rw-r--r-- 346 pre.tex