libc.so.6
libcln.so.6
libcvc4.so.7
libgcc_s.so.1
libm.so.6
libstdc++.so.6
libz3.so.4.11
