sum(20 permute x) 1 to 8