Ahora las lineas correspondientes a las restricciones