7c0c1643dbc8e279df8371746aad2a310c5fcb8660e7bdc714cc76d4026bb7b8 *libdvm.a