7df12642da302662226281953c45e548980c67321a07dc06d14f6d21c4764385 *libdvm.a