type Informe de estado
mensaje /~duran/rewriting_competition/RECII/results/solutions/ASF-SDF/solutions/modulo/tauthard.rec
descripción El recurso requerido no está disponible.