ld-linux-x86-64.so.2
libcddgmp.so.0
libc.so.6
libdl.so.2
libfactory-4.3.0.so
libflint.so.16
libgcc_s.so.1
libgmp.so.10
libmpfr.so.6
libm.so.6
libntl.so.44
libomalloc-0.9.6.so
libpolys-4.3.0.so
libpthread.so.0
libreadline.so.8
libSingular-4.3.0.so
libsingular_resources-4.3.0.so
libstdc++.so.6
