Added HighestWeights package