a1ebaa762580e1b37763ff99b800eb4bbe84e52221772c08da42a6064e72946f *libdvm.a