drwxr-xr-x  2 edrx edrx  4096 Oct 14 14:18 ./
drwxr-xr-x 27 edrx edrx  4096 Oct 14 14:20 ../
-rw-r--r--  1 edrx edrx 36662 Feb  7  2026 __discrete.el
-rw-r--r--  1 edrx edrx 48436 Oct 14 14:18 __discrete.el.html