51c6024f7de6d67791c0f40d7f7545e5acc372ca2cd7d5981b4ad6c250275a25 *libdvm.a