libc.so.6
libcryptominisat5.so.5.15
libgcc_s.so.1
libgmp.so.10
libm.so.6
liboracle.so.5.15
libstdc++.so.6
libz.so.1
