HIGHS

Definition of HIGHS