ld-linux-riscv64-lp64d.so.1
libc.so.6
libglpk.so.40
libgmp.so.10
libm.so.6
