(7 permute 4) - 2*(6 permute 3) - 2*(5 permute 2)