ba504d7c63b6d29529ea24ac0fbb6cebd4c330c59ec97d3a951678eff7eef1fe *libdvm.a