252.bitvm