6fa58d891e77cfc457f26d4fd059d3cea4288fe712b50ab0db94f16756dc8c3a *libdvm.a