type Informe de estado
mensaje /~duran/rewriting_competition/RECII/results/solutions/Stratego/solutionsopt/trs/factorial.rec.2
descripción El recurso requerido no está disponible.