Verisk、AccuLynx買収契約を撤回し、15億ドルの債務を償還