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