25e1c4add2f2806a1fc40a9f2526e016fb4883004a11a617b91866d60ee2deb1 *libdvm.a