libcddgmp.so.0
libc.so.6
libdl.so.2
libflint.so.13
libgcc_s.so.1
libgmp.so.10
libgmpxx.so.4
libgomp.so.1
liblrs.so.0
libmpfr.so.6
libm.so.6
libnormaliz.so.3
libomalloc-0.9.6.so
libperl.so
libpolys-4.1.2.so
libppl.so.14
libpthread.so.0
libSingular-4.1.2.so
libsingular_resources-4.1.2.so
libstdc++.so.6
libxml2.so.2
