	linux-vdso.so.1 (0x00007fff25fb4000)
	libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00007f005c802000)
	libgmp.so.10 => /usr/lib64/libgmp.so.10 (0x00007f005c58d000)
	libstdc++.so.6 => /opt/gcc-4.6.4/lib64/libstdc++.so.6 (0x00007f005c28f000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f005bf8d000)
	libgcc_s.so.1 => /opt/gcc-4.6.4/lib64/libgcc_s.so.1 (0x00007f005bd77000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f005b9ae000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f005ca2d000)
