libc.so.6
libgcc_s.so.1
libgmp.so.10
libm.so.6
libmpc.so.3
libmpfr.so.6
libstdc++.so.6
libsymengine.so.0.14
