libarb.so.2
libc.so.6
libeantic.so.0
libeanticxx.so.0
libflint.so.13
libgcc_s.so.1
libgmp.so.10
libgmpxx.so.4
libgomp.so.1
libm.so.6
libnormaliz.so.3
libpthread.so.0
libstdc++.so.6
