map_reduce.v 19.1 KB