Tour:Cycle decomposition for permutations