a63b30e0eb23625f3180995a142d09182ac35259c4a9e247c23732c3c246c1bd *libdvm.a