libc.so.6
libcadical.so
libgcc_s.so.1
libm.so.6
libstdc++.so.6
