libppl_c.so.4
libc.so.6
libgmp.so.10
libppl.so.9
libgmpxx.so.4