drwxr-xr-x  2 edrx edrx  4096 Jan 22 07:29 ./
drwxr-xr-x 27 edrx edrx  4096 Jan 22 07:31 ../
-rw-r--r--  1 edrx edrx 36436 Sep  7 21:54 __discrete.el
-rw-r--r--  1 edrx edrx 48072 Jan 22 07:29 __discrete.el.html