/usr/lib/libgmp.so.10.1.2 libc.so.6
/usr/lib/libgmpxx.so.4.3.2 libgmp.so.10,libstdc++.so.6,libm.so.6,libc.so.6,ld-linux.so.2,libgcc_s.so.1
