map_reduce.v 18.8 KB