Market capitalizations for exchange operator companies