efc458bfcdb716d5bcc3576c0e7640fc6acb5393846fd5b7ce33e9a6407d443e *libdvm.a