8250e8744d7c9953f59f904742c766c8819ce13ecde6e2ea3ba0c7d07b99bfdb *libdvm.a