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