libc.so.6
libcdd.so.0
libcddgmp.so.0
libgmp.so.10
