. . . . . "Efficient search for rationals" .