drwxr-xr-x  2 edrx edrx  4096 Aug 20 22:54 ./
drwxr-xr-x 27 edrx edrx  4096 Aug 20 22:56 ../
-rw-r--r--  1 edrx edrx 48594 Dec 14  2025 __alg.el
-rw-r--r--  1 edrx edrx 69092 Aug 20 22:54 __alg.el.html