libc.so.6
libeanticxx.so.3
libflint.so.21
libgcc_s.so.1
libgmp.so.10
libgmpxx.so.4
libgomp.so.1
libm.so.6
libnauty-2.9.1.so
libnormaliz.so.3
libstdc++.so.6
