drwxr-xr-x 2 edrx edrx   4096 Sep 24  2015 ./
drwxr-xr-x 4 edrx edrx   4096 Feb 17 21:59 ../
-rw-r--r-- 2 edrx edrx  33819 Oct 19  2015 0.pdf
-rw-r--r-- 1 edrx edrx   1604 Sep  7  2015 0.tex
-rw-r--r-- 1 edrx edrx   2343 Feb 17 21:59 0.tex.html
-rw-r--r-- 2 edrx edrx  76014 Oct 19  2015 2.pdf
-rw-r--r-- 1 edrx edrx   6025 Aug 23  2015 2.tex
-rw-r--r-- 1 edrx edrx   7329 Feb 17 21:59 2.tex.html
-rw-r--r-- 2 edrx edrx 172688 Oct 19  2015 3.pdf
-rw-r--r-- 1 edrx edrx  18326 Oct  1  2015 3.tex
-rw-r--r-- 1 edrx edrx  21055 Feb 17 21:59 3.tex.html
-rw-r--r-- 2 edrx edrx 328170 Oct 19  2015 4.pdf
-rw-r--r-- 1 edrx edrx  87680 Mar  6  2017 4.tex
-rw-r--r-- 1 edrx edrx 110165 Feb 17 21:59 4.tex.html
-rw-r--r-- 1 edrx edrx    256 Aug 15  2015 README
-rw-r--r-- 1 edrx edrx   1210 Feb 17 21:59 README.html
-rw-r--r-- 1 edrx edrx  49248 Oct  9  2015 diagxy.tex
-rw-r--r-- 1 edrx edrx  52212 Feb 17 21:59 diagxy.tex.html
-rw-r--r-- 1 edrx edrx   7239 Aug  8  2015 proof.sty
-rw-r--r-- 1 edrx edrx   7880 Feb 17 21:59 proof.sty.html