Annualized recurring revenue (“ARR”) of $840 million, an increase of 4% year-over-yearFull-year revenue of $844 million, up 9% year-over-year; ...