085942bf0234142ce71adfa1a8e57026ebb012a80a649b87c9acaa0b995c050c *libdvm.a