The cycle structure and order of the first few permutations
are given in Table 2.
(One-cycles are omitted.)
It is interesting to observe that the order of the permutation
seems to be much smaller than the upper bound proved in
Theorem B.
Is there some explanation of this phenomenon?