permutation ((2 9 4 7)(5 4 2 7)(7 8 5)(2 5 3)) ^ 307