libc.so.6
libgcc_s.so.1
libstdc++.so.6
libz3.so.4.15
