MapPermut.v 4 KB