using GMP in Catalan sequence