/usr/lib64/libgmpxx.so.4.7.0 libgmp.so.10,libstdc++.so.6,libc.so.6,ld-linux-riscv64-lp64d.so.1,libgcc_s.so.1
/usr/lib64/libgmp.so.10.5.0 libc.so.6,ld-linux-riscv64-lp64d.so.1
