d5e185f0804583b50f783a7601f8c3a7cea42ac13202793a47121dbbdee6864e *libdvm.a