...

/usr/lib64/libgmp.so.10.4.0