ld-linux-x86-64.so.2
libcddgmp.so.0
libc.so.6
libcurl.so.4
libfplll.so.7
libgap.so.0
libgcc_s.so.1
libgmp.so.10
libgmpxx.so.4
libgomp.so.1
libmpc.so.3
libmpfi.so.0
libmpfr.so.6
libm.so.6
libncursesw.so.6
libnormaliz.so.3
libpanelw.so.6
libplanarity.so.0
libpthread.so.0
libQnormaliz.so.3
libsemigroups.so.2
libstdc++.so.6
libutil.so.1
libX11.so.6
libXaw.so.7
libXt.so.6
libzmq.so.5
