map_reduce.v 20.3 KB