	linux-vdso.so.1 (0x00007fffd29ff000)
	libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00007f04b366d000)
	libgmp.so.10 => /usr/lib64/libgmp.so.10 (0x00007f04b3400000)
	libstdc++.so.6 => /opt/gcc-4.6.4/lib64/libstdc++.so.6 (0x00007f04b3102000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f04b2e07000)
	libgcc_s.so.1 => /opt/gcc-4.6.4/lib64/libgcc_s.so.1 (0x00007f04b2bf1000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f04b2831000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f04b3891000)
