merge
-rw-r--r-- 36 .gitignore
-rw-r--r-- 259 Makefile
-rw-r--r-- 1474 e1.tex
-rw-r--r-- 1808 e2.tex
-rw-r--r-- 2466 e3.tex
-rw-r--r-- 750 e41.smv
-rw-r--r-- 1675 e42.smv