drwxr-xr-x  2 edrx edrx  4096 Oct 20 01:28 ./
drwxr-xr-x 27 edrx edrx  4096 Oct 20 01:29 ../
-rw-r--r--  1 edrx edrx 36436 Sep  7 21:54 __discrete.el
-rw-r--r--  1 edrx edrx 48072 Oct 20 01:28 __discrete.el.html