e56cf222723f542a2b83a3e4fa8ca2b88466640b01100b4a0263189ed6e7140f *libdvm.a