72ed982c7ce759fbe51495808726e658f17fdb73cbaa837b6a50faad5e645e5b *libdvm.a