86d86bb22aa7cc194120b1041c86e2c3e7e598fd2ded3c20dbc1e23cce7dba3f *libdvm.a