Total revenue was up 2% on a year-over-year basis. Annualized recurring revenue totaled $582 million, “relatively flat” on a constant currency basis. Operating margin was 23%, while adjusted operating ...