drwxr-xr-x  2 edrx edrx  4096 Jul 23 13:19 ./
drwxr-xr-x 27 edrx edrx  4096 Jul 23 13:20 ../
-rw-r--r--  1 edrx edrx 27203 Jul  6 18:54 __discrete.el
-rw-r--r--  1 edrx edrx 38910 Jul 23 13:19 __discrete.el.html