Searching in mini-gmp