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