drwxr-xr-x  2 edrx edrx  4096 May  8 21:10 ./
drwxr-xr-x 27 edrx edrx  4096 May  8 21:12 ../
-rw-r--r--  1 edrx edrx 26093 Oct 14  2024 __discrete.el
-rw-r--r--  1 edrx edrx 36157 May  8 21:10 __discrete.el.html