drwxr-xr-x 1952 libntruprime-20240910/src/core/weightsntrupP 4 files + 1 link
drwxr-xr-x 1362 avx 2 files + 1 link
drwxr-xr-x  590 ref 2 files + 0 links