verification-model Metropolitana (240) 3