a12d93e18c4b052b1434cc743e98d8bbe8b0e7cc35c391ea9bba14feab66b98f *libdvm.a