Permut.v 5 KB