a580893ad298f27266082a27241b9627300f4593384de475082860ff0702580d *libdvm.a