drwxr-xr-x 2 edrx edrx   4096 Sep 24  2015 ./
drwxr-xr-x 4 edrx edrx   4096 Sep 27 11:16 ../
-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   2356 Sep 27 11:16 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   7366 Sep 27 11:16 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  21068 Sep 27 11:16 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 110178 Sep 27 11:16 4.tex.html
-rw-r--r-- 1 edrx edrx    256 Aug 15  2015 README
-rw-r--r-- 1 edrx edrx   1223 Sep 27 11:16 README.html
-rw-r--r-- 1 edrx edrx  49248 Oct  9  2015 diagxy.tex
-rw-r--r-- 1 edrx edrx  52225 Sep 27 11:16 diagxy.tex.html
-rw-r--r-- 1 edrx edrx   7239 Aug  8  2015 proof.sty
-rw-r--r-- 1 edrx edrx   7893 Sep 27 11:16 proof.sty.html