La hizo peter

textoPlano/punto 9

@@ -19,9 +19,11 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 	asegura jornadaActual(j)== jordnadaActual(pre(j));
 
 
-	asegura (ParaTodo dia <- [1..cantDias (j)] ) |cronograma(j,dia) | == |cronograma( pre(j), dia)|;
+	asegura (ParaTodo dia <- [1..cantDias (j)] ) |cronograma(j,dia) | == |cronograma(pre(j), dia)|;
 
-	asegura (ParaTodo dia <- [1..cantDias(j)]) (ParaTodo x <- [1..(long(cronograma(j,dia))-1)]) ( (cronograma (j,dia)[x] == cronograma (pre(j),dia) [x]) O ( categoria(cronograma(j,dia)[x]) == (categoria(cronograma(pre(j),dia)[x]) ) Y (categoria(cronograma(j,dia)[x]) == cat ))
+	asegura (ParaTodo dia <- [1..cantDias(j)])
+		(ParaTodo x <- [1..(long(cronograma(j,dia))-1)])
+		((cronograma (j,dia)[x] == cronograma (pre(j),dia) [x]) O ( categoria(cronograma(j,dia)[x]) == (categoria(cronograma(pre(j),dia)[x]) ) Y (categoria(cronograma(j,dia)[x]) == cat )))
 
 	asegura ( ParaToda comp <- todasLasCompetencias(j), (prm(categoria(comp)) == prm(cat) ^ sgd(categoria(comp)) == seg(cat)) )(ParaTodo atl <- participantes(comp)) nacionalidad (atl) != p;