libgmp.so.10.0.1