ld-linux-riscv64-lp64d.so.1
libc.so.6
libflint.so.24
libgcc_s.so.1
libgmp.so.10
libgomp.so.1
libm.so.6
libneogb.so.3
