RecodeX 重构消息，Verisk Analytics首席财务官Elizabeth Mann出售价值76,844美元的公司股票。