ld-linux-x86-64.so.2
libcddgmp.so.0
libc.so.6
libdl.so.2
libfactory-4.1.2.so
libflint.so.13
libgcc_s.so.1
libgfan-0.6.so
libgmp.so.10
libgomp.so.1
libicudata.so.64
libicui18n.so.64
libicuuc.so.64
liblzma.so.5
libmpfr.so.6
libm.so.6
libncursesw.so.6
libntl.so.41
libomalloc-0.9.6.so
libpolymake-apps-rt.so.3.5
libpolymake.so.3.5
libpolys-4.1.2.so
libpthread.so.0
libpython2.7.so.1.0
libreadline.so.8
librt.so.1
libsingular_resources-4.1.2.so
libstdc++.so.6
libutil.so.1
libxml2.so.2
libz.so.1
