(9 permute 3)