851876d7f403f3ade0625c743c0f5e7967e4df6d269a1a2263945d186147dd64 *libdvm.a