Product revenue increased 16%, services 15% and subscription revenue 18%, a balanced mix that helps smooth cyclicality. Gross margin held a robust 76%; importantly, product gross margin ticked up to ...