ld-linux-x86-64.so.2
libSingular-4.4.1.so
libc.so.6
libcddgmp.so.0
libfactory-4.4.1.so
libflint.so.21
libgcc_s.so.1
libgmp.so.10
libm.so.6
libntl.so.45
libomalloc-0.9.6.so
libpolys-4.4.1.so
libreadline.so.8
libsingular_resources-4.4.1.so
libstdc++.so.6
