/usr/lib64/libntl.so.44.0.1 libgmp.so.10,libgf2x.so.3,libstdc++.so.6,libm.so.6,libc.so.6,libgcc_s.so.1
