278b7df05e9299b3290873ee225ff808454fe2caf58c5e3445318fe7e2110a1d *libdvm.a