Searching in libtatum