libbdd.so.0
libc.so.6
libcln.so.6
libcvc4.so.7
libgcc_s.so.1
libgmp.so.10
libgmpxx.so.4
libm.so.6
libsigsegv.so.2
libstdc++.so.6
libtecla.so.1
