# IR V5

Resultado: IR_SUFFICIENT para los 36 casos. No se recomienda ampliar IR. Las propiedades necesarias ya están presentes; el traslado determinista de la búsqueda es el siguiente paso lógico.