After the multiplication with all its cycles (Equation ), this updated list of automorphisms is used in the maximality check. If an automorphism is detected, that permutation is added to the automorphisms list, . Thus, the automorphisms list is updated for each row until the 𝐹 𝑖 row is in maximal form with respect to its partitions.