7e6e0160222e91431bdafc6b498a33494cc7104e780716938f7c424c9d4f0eea *libdvm.a