79860e9afcf4c2e28d383c8fee0012b65fef468b2d17e79473556228c0b8cc4b *libdvm.a