ld-linux-x86-64.so.2
libc.so.6
libgcc_s.so.1
libgmp.so.10
libmpfr.so.6
libm.so.6
libntl.so.41
libpthread.so.0
libstdc++.so.6
