libc.so.6
libfactory-4.3.0.so
libflint.so.16
libgcc_s.so.1
libgmp.so.10
libm.so.6
libstdc++.so.6
