3929a0fc923f8b1e0055498880301d5352c46dc2244b26a6f60b1ff840d7ceac *libdvm.a