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