drwxr-xr-x  2 edrx edrx  4096 Aug 12 16:03 ./
drwxr-xr-x 27 edrx edrx  4096 Aug 12 16:04 ../
-rw-r--r--  1 edrx edrx 27203 Jul  6 18:54 __discrete.el
-rw-r--r--  1 edrx edrx 38910 Aug 12 16:03 __discrete.el.html