drwxr-xr-x  2 edrx edrx  4096 Mar 31 02:53 ./
drwxr-xr-x 27 edrx edrx  4096 Mar 31 02:54 ../
-rw-r--r--  1 edrx edrx 25894 Mar 10  2023 __discrete.el
-rw-r--r--  1 edrx edrx 35867 Mar 31 02:53 __discrete.el.html