ld-linux-riscv64-lp64d.so.1
libc.so.6
libgap.so.11
libgmp.so.10
libm.so.6
libreadline.so.8
libz.so.1
