Resultado de la búsqueda: pseudocodigo verificador