ld-linux-riscv64-lp64d.so.1
libc.so.6
libgcc_s.so.1
libpolymake.so.4.15
libstdc++.so.6
