drwxr-xr-x 2 edrx edrx   4096 Sep 24  2015 ./
drwxr-xr-x 4 edrx edrx   4096 Nov  6 17:42 ../
-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 Nov  6 17:41 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 Nov  6 17:41 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 Nov  6 17:41 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 Nov  6 17:41 4.tex.html
-rw-r--r-- 1 edrx edrx    256 Aug 15  2015 README
-rw-r--r-- 1 edrx edrx   1223 Nov  6 17:41 README.html
-rw-r--r-- 1 edrx edrx  49248 Oct  9  2015 diagxy.tex
-rw-r--r-- 1 edrx edrx  52225 Nov  6 17:41 diagxy.tex.html
-rw-r--r-- 1 edrx edrx   7239 Aug  8  2015 proof.sty
-rw-r--r-- 1 edrx edrx   7893 Nov  6 17:41 proof.sty.html