I want to extract the highest number from a permutation. I am using the groups module right now so the output in the below code should be 15 

```

from groups import *

a = Perm((1, 2, 3), (4, 15, 6), (7, 8, 9))

max([x for x in a])

```