libgmpxx.so.4
libgmp.so.10
libstdc++.so.6
libgcc_s.so.1
libc.so.6
libppl.so.12