libc.so.6
libflint.so.17
libgmp.so.10
libmpfr.so.6
