\\ Left Cell Data for A6   (CC 2012, B. Binegar)
\\
\\ This file contains a table of data for the 232 left cells of the Weyl
\\ group W of A6. Each line below corresponds to a particular left cell
\\ of W. The datums held in the (colon-delimited) columns are as follows:
\\ Column   Contents
\\     1    KLatlas index (order of discovery by KLatlas, counting from 0)
\\     2    number of Weyl group elements in the left cell
\\     3    Weyl group elements contained in the left cell (as enumerated by KLatlas, counting from 0)
\\     4    KLatlas indices of the left cells immediately below the left cell in the W-graph of W
\\     5    representation of W carried by left cell (in terms of partitions for the classical Weyl groups and
\\          or R. Carter's notation for the irreducible representations of the exceptional Weyl groups)
\\     6    special representation of W attached to the cell
\\     7    special nilpotent orbit attached to the left cell (in terms of partitions for the nilpotent orbits of
\\          classical groups or Bala-Carter notation for the nilpotent orbits of the exceptional groups
\\     8    KLatlas block index of the unique Duflo involution contained in the left cell
\\     9    KLatlas cell index of the unique Duflo involution contained in the left cell
\\    10    reduced word expression for the unique Duflo involution contained in the left cell
\\    11    A-value of the unique Duflo involution contained in the left cell
\\    12    tau-infinity invariant of primitive ideal attached to the left cell
\\
0 : 232 : 0 : [0, 0] : phi[7] : phi[7] : [7] : 0 : 0 : e : 0 : [{{}}, {}, {}, {}, {}]
1 : 232 : 1 : [1, 0] : phi[6,1] : phi[6,1] : [6, 1] : 1 : 0 : 6 : 1 : [{{6}}, {{5}}, {{4}, {6}}, {{3}, {5}}, {{2}, {4}, {6}}]
2 : 232 : 2 : [2, 0] : phi[6,1] : phi[6,1] : [6, 1] : 2 : 0 : 5 : 1 : [{{5}}, {{4}, {6}}, {{3}, {5}}, {{2}, {4}, {6}}, {{1}, {3}, {5}}]
3 : 232 : 3 : [3, 0] : phi[6,1] : phi[6,1] : [6, 1] : 3 : 0 : 4 : 1 : [{{4}}, {{3}, {5}}, {{2}, {4}, {6}}, {{1}, {3}, {5}}, {{2}, {4}, {6}}]
4 : 232 : 4 : [4, 0] : phi[6,1] : phi[6,1] : [6, 1] : 4 : 0 : 3 : 1 : [{{3}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}, {6}}, {{1}, {3}, {5}}]
5 : 232 : 5 : [5, 0] : phi[6,1] : phi[6,1] : [6, 1] : 5 : 0 : 2 : 1 : [{{2}}, {{1}, {3}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}, {6}}]
6 : 232 : 6 : [6, 0] : phi[6,1] : phi[6,1] : [6, 1] : 6 : 0 : 1 : 1 : [{{1}}, {{2}}, {{1}, {3}}, {{2}, {4}}, {{1}, {3}, {5}}]
7 : 232 : 10 : [7, 0] : phi[5,2] : phi[5,2] : [5, 2] : 10 : 0 : 46 : 2 : [{{4, 6}}, {{4}, {5}, {3, 6}}, {{2, 6}, {3, 5}, {4, 6}}, {{3}, {4}, {5}, {1, 6}, {2, 5}, {3, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
8 : 232 : 13 : [8, 0] : phi[5,2] : phi[5,2] : [5, 2] : 13 : 0 : 36 : 2 : [{{3, 6}}, {{2, 6}, {3, 5}, {4, 6}}, {{3}, {4}, {5}, {1, 6}, {2, 5}, {3, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}]
9 : 232 : 14 : [9, 0] : phi[5,2] : phi[5,2] : [5, 2] : 14 : 0 : 35 : 2 : [{{3, 5}}, {{3}, {4}, {5}, {2, 5}, {3, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
10 : 232 : 17 : [10, 0] : phi[5,2] : phi[5,2] : [5, 2] : 17 : 0 : 26 : 2 : [{{2, 6}}, {{1, 6}, {2, 5}, {3, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
11 : 232 : 18 : [11, 0] : phi[5,2] : phi[5,2] : [5, 2] : 18 : 0 : 25 : 2 : [{{2, 5}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}]
12 : 232 : 19 : [12, 0] : phi[5,2] : phi[5,2] : [5, 2] : 19 : 0 : 24 : 2 : [{{2, 4}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
13 : 232 : 22 : [13, 0] : phi[5,2] : phi[5,2] : [5, 2] : 22 : 0 : 16 : 2 : [{{1, 6}}, {{1, 5}, {2, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}]
14 : 232 : 23 : [14, 0] : phi[5,2] : phi[5,2] : [5, 2] : 23 : 0 : 15 : 2 : [{{1, 5}}, {{1, 4}, {1, 6}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
15 : 232 : 24 : [15, 0] : phi[5,2] : phi[5,2] : [5, 2] : 24 : 0 : 14 : 2 : [{{1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {1, 6}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}]
16 : 232 : 25 : [16, 0] : phi[5,2] : phi[5,2] : [5, 2] : 25 : 0 : 13 : 2 : [{{1, 3}}, {{2}, {3}, {1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {1, 6}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}]
17 : 232 : 78 : [17, 1] : phi[5,2] : phi[5,2] : [5, 2] : 78 : 1 : 5465 : 2 : [{{5}}, {{4, 6}}, {{4}, {5}, {3, 6}}, {{2, 6}, {3, 5}, {4, 6}}, {{3}, {4}, {5}, {1, 6}, {2, 5}, {3, 6}}]
18 : 232 : 28 : [18, 0] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 28 : 0 : 565 : 3 : [{{5, 6}}, {{4, 6}}, {{3, 6}, {4, 5}, {5, 6}}, {{2, 6}, {3, 5}, {4, 6}}, {{1, 6}, {2, 5}, {3, 6}, {3, 4}, {4, 5}, {5, 6}}]
19 : 232 : 87 : [19, 1] : phi[5,2] : phi[5,2] : [5, 2] : 87 : 1 : 4354 : 2 : [{{4}}, {{3, 5}}, {{3}, {4}, {5}, {2, 5}, {3, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}]
20 : 232 : 33 : [20, 0] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 33 : 0 : 454 : 3 : [{{4, 5}}, {{3, 5}, {4, 6}}, {{2, 5}, {3, 6}, {3, 4}, {4, 5}, {5, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}]
21 : 232 : 106 : [21, 1] : phi[5,2] : phi[5,2] : [5, 2] : 106 : 1 : 3243 : 2 : [{{3}}, {{2, 4}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{2}, {3}, {4}, {5}, {1, 4}, {1, 6}, {2, 5}, {3, 6}}]
22 : 232 : 42 : [22, 0] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 42 : 0 : 343 : 3 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{1, 4}, {2, 5}, {3, 6}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}]
23 : 232 : 50 : [23, 0] : phi[4,3] : phi[4,3] : [4, 3] : 50 : 0 : 246 : 3 : [{{2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}]
24 : 232 : 139 : [24, 1] : phi[5,2] : phi[5,2] : [5, 2] : 139 : 1 : 2132 : 2 : [{{2}}, {{1, 3}}, {{2}, {3}, {1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {1, 6}, {2, 5}}]
25 : 232 : 56 : [25, 0] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 56 : 0 : 232 : 3 : [{{2, 3}}, {{1, 3}, {2, 4}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}]
26 : 232 : 64 : [26, 0] : phi[4,3] : phi[4,3] : [4, 3] : 64 : 0 : 146 : 3 : [{{1, 4, 6}}, {{1, 4}, {1, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}]
27 : 232 : 67 : [27, 0] : phi[4,3] : phi[4,3] : [4, 3] : 67 : 0 : 136 : 3 : [{{1, 3, 6}}, {{2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}]
28 : 232 : 68 : [28, 0] : phi[4,3] : phi[4,3] : [4, 3] : 68 : 0 : 135 : 3 : [{{1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}]
29 : 232 : 75 : [29, 0] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 75 : 0 : 121 : 3 : [{{1, 2}}, {{1, 3}}, {{1, 4}, {1, 2}, {2, 3}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {1, 6}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}]
30 : 232 : 181 : [30, 2] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 181 : 2 : 45654 : 3 : [{{4, 6}}, {{3, 6}, {4, 5}, {5, 6}}, {{2, 6}, {3, 5}, {4, 6}}, {{1, 6}, {2, 5}, {3, 6}, {3, 4}, {4, 5}, {5, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
31 : 232 : 202 : [31, 3] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 202 : 3 : 34543 : 3 : [{{3, 5}}, {{2, 5}, {3, 6}, {3, 4}, {4, 5}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
32 : 232 : 635 : [32, 6] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 635 : 6 : 3456543 : 3 : [{{3, 6}}, {{2, 6}, {3, 5}, {4, 6}}, {{1, 6}, {2, 5}, {3, 6}, {3, 4}, {4, 5}, {5, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}]
33 : 232 : 655 : [33, 4] : phi[4,3] : phi[4,3] : [4, 3] : 655 : 4 : 3254365 : 3 : [{{3, 5}}, {{4}, {2, 5}, {3, 6}}, {{3}, {1, 5}, {3, 5}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}]
34 : 232 : 92 : [34, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 92 : 0 : 3565 : 4 : [{{3, 5, 6}}, {{3, 5}, {3, 6}, {4, 6}, {2, 5, 6}}, {{2, 5}, {3, 5}, {4, 5}, {2, 4, 6}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}, {{1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
35 : 232 : 216 : [35, 1] : phi[4,3] : phi[4,3] : [4, 3] : 216 : 1 : 32436 : 3 : [{{3, 6}}, {{3}, {3, 5}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}]
36 : 232 : 1431 : [36, 7] : phi[4,3] : phi[4,3] : [4, 3] : 1431 : 7 : 432543654 : 3 : [{{4}}, {{3, 5}}, {{4}, {2, 5}, {3, 6}}, {{3}, {1, 5}, {3, 5}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 4, 6}}]
37 : 232 : 98 : [37, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 98 : 0 : 3436 : 4 : [{{3, 4, 6}}, {{3, 5}, {3, 6}, {4, 6}, {3, 4}, {2, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 6}, {3, 4, 6}, {3, 5, 6}}, {{1, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 6}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
38 : 232 : 249 : [38, 3] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 249 : 3 : 23432 : 3 : [{{2, 4}}, {{1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
39 : 232 : 1548 : [39, 12] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 1548 : 12 : 234565432 : 3 : [{{2, 6}}, {{1, 6}, {2, 5}, {3, 6}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
40 : 232 : 227 : [40, 2] : phi[4,3] : phi[4,3] : [4, 3] : 227 : 2 : 25465 : 3 : [{{2, 5}}, {{1, 5}, {3, 5}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}]
41 : 232 : 111 : [41, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 111 : 0 : 2565 : 4 : [{{2, 5, 6}}, {{2, 5}, {2, 4, 6}, {1, 5, 6}, {3, 5, 6}}, {{1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}, {{1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
42 : 232 : 721 : [42, 9] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 721 : 9 : 2345432 : 3 : [{{2, 5}}, {{2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}]
43 : 232 : 773 : [43, 4] : phi[4,3] : phi[4,3] : [4, 3] : 773 : 4 : 2143254 : 3 : [{{2, 4}}, {{3}, {1, 4}, {2, 5}}, {{4}, {2, 4}, {2, 6}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}]
44 : 232 : 116 : [44, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 116 : 0 : 2454 : 4 : [{{2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {2, 4, 6}, {1, 4, 5}}, {{1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
45 : 232 : 275 : [45, 1] : phi[4,3] : phi[4,3] : [4, 3] : 275 : 1 : 21326 : 3 : [{{2, 6}}, {{2, 5}, {1, 3, 6}}, {{2, 4}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}]
46 : 232 : 126 : [46, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 126 : 0 : 2326 : 4 : [{{2, 3, 6}}, {{2, 6}, {3, 6}, {1, 3, 6}, {2, 4, 6}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 6}, {2, 3, 6}, {3, 4, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
47 : 232 : 276 : [47, 1] : phi[4,3] : phi[4,3] : [4, 3] : 276 : 1 : 21325 : 3 : [{{2, 5}}, {{2, 4}, {2, 6}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}]
48 : 232 : 1512 : [48, 7] : phi[4,3] : phi[4,3] : [4, 3] : 1512 : 7 : 321432543 : 3 : [{{3}}, {{2, 4}}, {{3}, {1, 4}, {2, 5}}, {{4}, {2, 4}, {2, 6}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}}]
49 : 232 : 127 : [49, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 127 : 0 : 2325 : 4 : [{{2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {2, 3, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {3, 4, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
50 : 232 : 332 : [50, 3] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 332 : 3 : 12321 : 3 : [{{1, 3}}, {{1, 4}, {1, 2}, {2, 3}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {1, 6}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}]
51 : 232 : 2925 : [51, 14] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 2925 : 14 : 12345654321 : 3 : [{{1, 6}}, {{1, 5}, {2, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}]
52 : 232 : 281 : [52, 2] : phi[4,3] : phi[4,3] : [4, 3] : 281 : 2 : 15465 : 3 : [{{1, 5}}, {{2, 5}, {1, 4, 6}}, {{1, 4}, {1, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}]
53 : 232 : 141 : [53, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 141 : 0 : 1565 : 4 : [{{1, 5, 6}}, {{1, 5}, {1, 4, 6}, {2, 5, 6}}, {{2, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}}, {{1, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
54 : 232 : 1830 : [54, 13] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 1830 : 13 : 123454321 : 3 : [{{1, 5}}, {{1, 4}, {1, 6}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {4, 6}}]
55 : 232 : 290 : [55, 2] : phi[4,3] : phi[4,3] : [4, 3] : 290 : 2 : 14354 : 3 : [{{1, 4}}, {{4}, {2, 4}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}}, {{4}, {2, 4}, {2, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}]
56 : 232 : 146 : [56, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 146 : 0 : 1454 : 4 : [{{1, 4, 5}}, {{1, 4}, {1, 5}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
57 : 232 : 910 : [57, 9] : phi[5,1,1] : phi[5,1,1] : [5, 1, 1] : 910 : 9 : 1234321 : 3 : [{{1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {1, 6}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {2, 6}, {3, 5}}, {{1, 4}, {1, 6}, {2, 5}, {3, 6}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}]
58 : 232 : 155 : [58, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 155 : 0 : 1343 : 4 : [{{1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}}]
59 : 232 : 170 : [59, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 170 : 0 : 1216 : 4 : [{{1, 2, 6}}, {{2, 6}, {1, 3, 6}, {1, 2, 5}}, {{2, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}}]
60 : 232 : 171 : [60, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 171 : 0 : 1215 : 4 : [{{1, 2, 5}}, {{2, 5}, {1, 3, 5}, {1, 2, 4}, {1, 2, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {1, 3, 5}, {1, 3, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}]
61 : 232 : 172 : [61, 0] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 172 : 0 : 1214 : 4 : [{{1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 2, 5}}, {{2, 4}, {2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}}]
62 : 232 : 356 : [62, 1] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 356 : 1 : 435654 : 4 : [{{4, 6}}, {{4, 5}, {3, 5, 6}}, {{3, 5}, {3, 6}, {4, 6}, {2, 5, 6}}, {{2, 5}, {3, 5}, {4, 5}, {2, 4, 6}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}, {{1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {2, 5, 6}}]
63 : 232 : 370 : [63, 1] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 370 : 1 : 354365 : 4 : [{{3, 5}}, {{2, 5}, {4, 5}, {3, 4, 6}}, {{1, 5}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {2, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 6}, {3, 4, 6}, {3, 5, 6}}, {{1, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
64 : 232 : 444 : [64, 3] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 444 : 3 : 234326 : 4 : [{{2, 4, 6}}, {{2, 4}, {2, 5}, {1, 4, 6}, {2, 3, 6}, {3, 4, 6}}, {{1, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 6}, {2, 4, 6}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 6}, {2, 3, 6}, {3, 4, 6}, {3, 5, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
65 : 232 : 419 : [65, 4] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 419 : 4 : 245654 : 4 : [{{2, 4, 6}}, {{2, 6}, {3, 6}, {4, 6}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 3, 6}, {2, 4, 6}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}}, {{1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
66 : 232 : 395 : [66, 1] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 395 : 1 : 324543 : 4 : [{{3, 5}}, {{3, 6}, {3, 4}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {2, 4, 6}, {1, 4, 5}}, {{1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
67 : 232 : 429 : [67, 1] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 429 : 1 : 243254 : 4 : [{{2, 4}}, {{1, 4}, {3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {2, 3, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {3, 4, 6}}]
68 : 232 : 579 : [68, 4] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 579 : 4 : 123216 : 4 : [{{1, 3, 6}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}}, {{1, 3}, {1, 4}, {1, 5}, {2, 6}, {3, 6}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {3, 4, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
69 : 232 : 580 : [69, 4] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 580 : 4 : 123215 : 4 : [{{1, 3, 5}}, {{1, 3}, {1, 4}, {1, 5}, {1, 3, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {2, 3, 6}, {1, 4, 5}, {3, 4, 6}}]
70 : 232 : 504 : [70, 4] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 504 : 4 : 145654 : 4 : [{{1, 4, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 4, 5}, {1, 5, 6}}, {{1, 4}, {1, 5}, {2, 6}, {3, 6}, {4, 6}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
71 : 232 : 525 : [71, 5] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 525 : 5 : 134543 : 4 : [{{1, 3, 5}}, {{2, 5}, {3, 5}, {1, 3, 6}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
72 : 232 : 1244 : [72, 13] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1244 : 13 : 13456543 : 4 : [{{1, 3, 6}}, {{2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{2, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}}]
73 : 232 : 295 : [73, 0] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 295 : 0 : 13565 : 5 : [{{1, 3, 5, 6}}, {{3, 6}, {1, 3, 5}, {1, 4, 6}, {2, 5, 6}}, {{2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
74 : 232 : 1338 : [74, 12] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1338 : 12 : 12343216 : 4 : [{{1, 4, 6}}, {{1, 4}, {1, 5}, {1, 3, 6}, {2, 4, 6}}, {{2, 4}, {2, 5}, {1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {3, 4, 6}}, {{1, 3}, {1, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {3, 4, 6}, {3, 5, 6}}]
75 : 232 : 301 : [75, 0] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 301 : 0 : 13436 : 5 : [{{1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
76 : 232 : 487 : [76, 1] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 487 : 1 : 213432 : 4 : [{{2, 4}}, {{2, 5}, {2, 3}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 6}, {3, 4}, {1, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}]
77 : 232 : 336 : [77, 0] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 336 : 0 : 12146 : 5 : [{{1, 2, 4, 6}}, {{1, 4}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 3, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
78 : 232 : 547 : [78, 1] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 547 : 1 : 132143 : 4 : [{{1, 3}}, {{2, 3}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 2, 5}}, {{2, 4}, {2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 2, 5}, {2, 3, 5}}]
79 : 232 : 973 : [79, 6] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 973 : 6 : 43543654 : 4 : [{{4, 5}}, {{3, 5}, {4, 6}}, {{2, 5}, {4, 5}, {3, 4, 6}, {3, 5, 6}}, {{1, 5}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {2, 4, 6}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 6}, {1, 5, 6}, {3, 4, 6}, {3, 5, 6}}]
80 : 232 : 351 : [80, 0] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 351 : 0 : 454654 : 6 : [{{4, 5, 6}}, {{3, 5, 6}}, {{3, 4, 6}, {2, 5, 6}, {4, 5, 6}}, {{2, 4, 6}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 4, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {4, 5, 6}}]
81 : 232 : 1033 : [81, 9] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1033 : 9 : 32432543 : 4 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{1, 4}, {3, 6}, {3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
82 : 232 : 381 : [82, 0] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 381 : 0 : 343543 : 6 : [{{3, 4, 5}}, {{2, 4, 5}, {3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}, {4, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}]
83 : 232 : 1087 : [83, 9] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1087 : 9 : 23543265 : 4 : [{{2, 5}}, {{1, 5}, {3, 5}, {2, 4, 6}}, {{2, 4}, {2, 5}, {4, 5}, {1, 4, 6}, {2, 3, 6}, {3, 4, 6}}, {{1, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 6}, {2, 4, 6}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 6}, {2, 3, 6}, {3, 4, 6}, {3, 5, 6}}]
84 : 232 : 1020 : [84, 9] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1020 : 9 : 32456543 : 4 : [{{3, 6}}, {{3, 5}, {2, 4, 6}}, {{2, 6}, {3, 6}, {4, 6}, {3, 4}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {4, 5}, {1, 3, 6}, {2, 4, 6}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}}, {{1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
85 : 232 : 2175 : [85, 19] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 2175 : 19 : 2134565432 : 4 : [{{2, 6}}, {{2, 5}, {1, 3, 6}}, {{2, 4}, {2, 6}, {3, 6}, {1, 3, 5}, {1, 4, 6}}, {{2, 5}, {3, 5}, {2, 3}, {1, 3, 6}, {2, 4, 6}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}]
86 : 232 : 792 : [86, 1] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 792 : 1 : 2132565 : 5 : [{{2, 5, 6}}, {{2, 5}, {2, 4, 6}, {1, 3, 5, 6}}, {{3, 6}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
87 : 232 : 2595 : [87, 6] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 2595 : 6 : 32143256543 : 5 : [{{3, 6}}, {{3, 5}, {2, 4, 6}}, {{3, 6}, {3, 4}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
88 : 232 : 2781 : [88, 13] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 2781 : 13 : 21321543265 : 5 : [{{2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
89 : 232 : 448 : [89, 0] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 448 : 0 : 232565 : 6 : [{{2, 3, 5, 6}}, {{2, 5}, {3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}]
90 : 232 : 1210 : [90, 7] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1210 : 7 : 21321432 : 4 : [{{2, 3}}, {{1, 3}, {2, 4}}, {{2, 5}, {2, 3}, {1, 2, 4}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 6}, {3, 4}, {1, 3, 5}, {1, 2, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 6}, {1, 2, 4}, {1, 2, 6}, {1, 3, 4}, {1, 4, 5}}]
91 : 232 : 456 : [91, 0] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 456 : 0 : 232432 : 6 : [{{2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}]
92 : 232 : 1319 : [92, 11] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1319 : 11 : 12432154 : 4 : [{{1, 4}}, {{2, 4}, {1, 3, 5}}, {{1, 3}, {1, 4}, {1, 5}, {3, 4}, {1, 3, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}]
93 : 232 : 1176 : [93, 9] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 1176 : 9 : 21345432 : 4 : [{{2, 5}}, {{2, 4}, {2, 6}, {1, 3, 5}}, {{2, 5}, {3, 5}, {2, 3}, {1, 3, 6}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {1, 5}, {2, 6}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {4, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}}]
94 : 232 : 820 : [94, 2] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 820 : 2 : 1435654 : 5 : [{{1, 4, 6}}, {{2, 4, 6}, {1, 4, 5}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
95 : 232 : 2369 : [95, 21] : phi[4,2,1] : phi[4,2,1] : [4, 2, 1] : 2369 : 21 : 1235432165 : 4 : [{{1, 5}}, {{2, 5}, {1, 4, 6}}, {{1, 4}, {1, 5}, {3, 5}, {1, 3, 6}, {2, 4, 6}}, {{2, 4}, {2, 5}, {4, 5}, {1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {3, 4, 6}}, {{1, 3}, {1, 4}, {1, 5}, {2, 6}, {3, 5}, {3, 6}, {4, 6}, {3, 4}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}}]
96 : 232 : 834 : [96, 2] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 834 : 2 : 1354365 : 5 : [{{1, 3, 5}}, {{2, 5}, {3, 5}, {1, 4, 5}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
97 : 232 : 788 : [97, 1] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 788 : 1 : 2134326 : 5 : [{{2, 4, 6}}, {{2, 4}, {2, 5}, {2, 3, 6}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
98 : 232 : 929 : [98, 2] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 929 : 2 : 1215465 : 5 : [{{1, 2, 5}}, {{2, 5}, {1, 3, 5}, {1, 2, 4, 6}}, {{1, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}]
99 : 232 : 583 : [99, 0] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 583 : 0 : 121565 : 6 : [{{1, 2, 5, 6}}, {{2, 5}, {1, 2, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}]
100 : 232 : 2818 : [100, 8] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 2818 : 8 : 14321543654 : 5 : [{{1, 4}}, {{2, 4}, {1, 3, 5}}, {{1, 4}, {3, 4}, {1, 3, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 6}, {1, 2, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}]
101 : 232 : 2711 : [101, 13] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 2711 : 13 : 21435432654 : 5 : [{{2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
102 : 232 : 588 : [102, 0] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 588 : 0 : 121454 : 6 : [{{1, 2, 4, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {1, 4, 5}, {1, 2, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}]
103 : 232 : 873 : [103, 1] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 873 : 1 : 1321436 : 5 : [{{1, 3, 6}}, {{1, 3, 5}, {2, 3, 6}, {1, 2, 4, 6}}, {{1, 4}, {3, 6}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
104 : 232 : 601 : [104, 0] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 601 : 0 : 121321 : 6 : [{{1, 2, 3}}, {{1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 6}, {2, 3, 4}}, {{1, 3, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}]
105 : 232 : 994 : [105, 1] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 994 : 1 : 34546543 : 6 : [{{3, 5, 6}}, {{3, 4, 6}, {2, 5, 6}, {4, 5, 6}}, {{2, 4, 6}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 4, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {4, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}]
106 : 232 : 999 : [106, 2] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 999 : 2 : 34356543 : 6 : [{{3, 4, 6}}, {{2, 4, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 4, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {4, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}, {4, 5, 6}}]
107 : 232 : 1099 : [107, 2] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 1099 : 2 : 23435432 : 6 : [{{2, 4, 5}}, {{2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}, {4, 5, 6}}]
108 : 232 : 2072 : [108, 4] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 2072 : 4 : 2345465432 : 6 : [{{2, 5, 6}}, {{2, 4, 6}, {1, 5, 6}, {3, 5, 6}}, {{1, 4, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {4, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}, {4, 5, 6}}]
109 : 232 : 2053 : [109, 4] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 2053 : 4 : 2435432654 : 6 : [{{2, 4, 5}}, {{2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}]
110 : 232 : 1630 : [110, 3] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 1630 : 3 : 214325654 : 5 : [{{2, 4, 6}}, {{3, 6}, {1, 4, 6}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
111 : 232 : 695 : [111, 0] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 695 : 0 : 2454654 : 7 : [{{2, 4, 5, 6}}, {{2, 4, 6}, {2, 5, 6}, {3, 5, 6}, {1, 4, 5, 6}}, {{1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}, {1, 3, 5, 6}, {2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
112 : 232 : 3757 : [112, 18] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 3757 : 18 : 2143215432654 : 5 : [{{2, 4}}, {{1, 4}, {3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}}]
113 : 232 : 1075 : [113, 1] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 1075 : 1 : 24325654 : 6 : [{{2, 4, 6}}, {{1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}}, {{2, 5}, {3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
114 : 232 : 4456 : [114, 20] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 4456 : 20 : 321432154326543 : 5 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{1, 4}, {3, 6}, {3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}]
115 : 232 : 2007 : [115, 3] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 2007 : 3 : 3243256543 : 6 : [{{3, 4, 6}}, {{3, 5}, {2, 4, 6}}, {{1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}}, {{2, 5}, {3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}]
116 : 232 : 2099 : [116, 7] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 2099 : 7 : 2324565432 : 6 : [{{2, 3, 6}}, {{1, 3, 6}, {2, 4, 6}, {2, 3, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}, {4, 5, 6}}]
117 : 232 : 1694 : [117, 7] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 1694 : 7 : 213214326 : 5 : [{{2, 3, 6}}, {{3, 6}, {1, 3, 6}, {2, 4, 6}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
118 : 232 : 4204 : [118, 18] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 4204 : 18 : 21324321565432 : 6 : [{{2, 4, 6}}, {{2, 4}, {2, 5}, {2, 3, 6}, {1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {3, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}]
119 : 232 : 743 : [119, 0] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 743 : 0 : 2324326 : 7 : [{{2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {2, 3, 6}, {1, 3, 4, 6}, {2, 3, 4}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}, {1, 2, 4, 6}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
120 : 232 : 1117 : [120, 2] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 1117 : 2 : 23245432 : 6 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {1, 2, 3}, {3, 4, 5}}]
121 : 232 : 1354 : [121, 2] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 1354 : 2 : 12324321 : 6 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {1, 2, 3}, {3, 4, 5}}]
122 : 232 : 1776 : [122, 5] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 1776 : 5 : 132154365 : 5 : [{{1, 3, 5}}, {{1, 4}, {1, 3, 6}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 6}, {1, 2, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}}]
123 : 232 : 1356 : [123, 3] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 1356 : 3 : 12321565 : 6 : [{{1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}, {{2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
124 : 232 : 3451 : [124, 9] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 3451 : 9 : 123454654321 : 6 : [{{1, 5, 6}}, {{1, 4, 6}, {2, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {4, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}]
125 : 232 : 1709 : [125, 9] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 1709 : 9 : 143543654 : 5 : [{{1, 4, 5}}, {{1, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
126 : 232 : 3436 : [126, 14] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 3436 : 14 : 124354321654 : 6 : [{{1, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 4, 5}}, {{2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
127 : 232 : 815 : [127, 0] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 815 : 0 : 1454654 : 7 : [{{1, 4, 5, 6}}, {{1, 4, 6}, {1, 3, 5, 6}, {2, 4, 5, 6}}, {{2, 4, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {3, 4, 5}, {1, 4, 5, 6}}]
128 : 232 : 2381 : [128, 7] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 2381 : 7 : 1234354321 : 6 : [{{1, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 4, 5}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {1, 2, 3}, {3, 4, 5}}]
129 : 232 : 2314 : [129, 4] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 2314 : 4 : 1324321543 : 6 : [{{1, 3, 4}}, {{2, 4}, {1, 3, 5}}, {{1, 3, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}}]
130 : 232 : 3662 : [130, 16] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 3662 : 16 : 3214354326543 : 5 : [{{3, 5}}, {{3, 6}, {3, 4}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {2, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
131 : 232 : 4254 : [131, 19] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 4254 : 19 : 13243543216543 : 6 : [{{1, 3, 5}}, {{2, 5}, {3, 5}, {1, 4, 5}, {1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 4, 5}, {3, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}]
132 : 232 : 845 : [132, 0] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 845 : 0 : 1343543 : 7 : [{{1, 3, 4, 5}}, {{1, 3, 5}, {1, 4, 5}, {2, 4, 5}, {1, 3, 4, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 4, 5}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
133 : 232 : 1642 : [133, 4] : phi[3,3,1] : phi[3,3,1] : [3, 3, 1] : 1642 : 4 : 213543265 : 5 : [{{2, 5}}, {{1, 3, 5}, {2, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}}, {{1, 4}, {3, 6}, {3, 4}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
134 : 232 : 1372 : [134, 4] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 1372 : 4 : 12145654 : 6 : [{{1, 2, 4, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
135 : 232 : 1289 : [135, 1] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 1289 : 1 : 13214543 : 6 : [{{1, 3, 5}}, {{1, 3, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
136 : 232 : 3323 : [136, 12] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 3323 : 12 : 213214565432 : 6 : [{{2, 3, 6}}, {{1, 3, 6}, {2, 4, 6}, {2, 3, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 3, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
137 : 232 : 3552 : [137, 12] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 3552 : 12 : 121345654321 : 6 : [{{1, 2, 6}}, {{1, 3, 6}, {1, 2, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {1, 2, 3}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}]
138 : 232 : 958 : [138, 0] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 958 : 0 : 1213216 : 7 : [{{1, 2, 3, 6}}, {{1, 3, 6}, {1, 2, 4, 6}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {1, 2, 3, 6}}]
139 : 232 : 2229 : [139, 3] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 2229 : 3 : 2132145432 : 6 : [{{2, 3, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}}]
140 : 232 : 2472 : [140, 6] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 2472 : 6 : 1213454321 : 6 : [{{1, 2, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 6}}, {{1, 3, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {1, 2, 3}, {3, 4, 5}}]
141 : 232 : 959 : [141, 0] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 959 : 0 : 1213215 : 7 : [{{1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}]
142 : 232 : 1399 : [142, 2] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 1399 : 2 : 12134321 : 6 : [{{1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 6}, {2, 3, 4}}, {{1, 3, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}]
143 : 232 : 2077 : [143, 6] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 2077 : 6 : 2343565432 : 6 : [{{2, 4, 6}}, {{1, 4, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}, {4, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}]
144 : 232 : 3125 : [144, 7] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 3125 : 7 : 324354326543 : 6 : [{{3, 5}}, {{2, 4, 5}, {3, 4, 6}}, {{2, 5}, {3, 5}, {2, 4, 6}, {1, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
145 : 232 : 1473 : [145, 1] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1473 : 1 : 324546543 : 7 : [{{3, 5, 6}}, {{3, 4, 6}, {2, 4, 5, 6}}, {{2, 4, 6}, {2, 5, 6}, {3, 5, 6}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 4, 6}, {2, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}, {1, 3, 5, 6}, {2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {3, 4, 5}, {1, 4, 5, 6}}]
146 : 232 : 4738 : [146, 20] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 4738 : 20 : 2132435432165432 : 6 : [{{2, 5}}, {{1, 3, 5}, {2, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
147 : 232 : 1572 : [147, 1] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1572 : 1 : 232543265 : 7 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4, 6}}, {{2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 3, 4, 6}, {2, 3, 4}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}, {1, 2, 4, 6}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}]
148 : 232 : 3397 : [148, 16] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 3397 : 16 : 132432156543 : 6 : [{{1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {3, 4, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}]
149 : 232 : 3476 : [149, 14] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 3476 : 14 : 123245654321 : 6 : [{{1, 3, 6}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {1, 2, 3}, {3, 4, 5}}]
150 : 232 : 1861 : [150, 2] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1861 : 2 : 123243216 : 7 : [{{1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 3, 4}, {1, 2, 4, 6}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}]
151 : 232 : 2402 : [151, 8] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 2402 : 8 : 1232454321 : 6 : [{{1, 3, 5}}, {{1, 3, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}}]
152 : 232 : 2361 : [152, 8] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 2361 : 8 : 1243215654 : 6 : [{{1, 4, 6}}, {{2, 4, 6}, {1, 4, 5}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}, {{2, 5}, {3, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}]
153 : 232 : 1730 : [153, 2] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1730 : 2 : 134546543 : 7 : [{{1, 3, 5, 6}}, {{2, 5, 6}, {3, 5, 6}, {1, 3, 4, 6}, {1, 4, 5, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
154 : 232 : 3455 : [154, 13] : phi[4,1,1,1] : phi[4,1,1,1] : [4, 1, 1, 1] : 3455 : 13 : 123435654321 : 6 : [{{1, 4, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 4, 5}, {1, 5, 6}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}}, {{1, 3, 6}, {2, 4, 6}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 5, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {1, 2, 4}, {1, 2, 6}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}, {2, 5, 6}, {2, 3, 4}, {4, 5, 6}}]
155 : 232 : 1735 : [155, 3] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1735 : 3 : 134356543 : 7 : [{{1, 3, 4, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}]
156 : 232 : 3316 : [156, 7] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 3316 : 7 : 213243215432 : 6 : [{{2, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}}]
157 : 232 : 1654 : [157, 1] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1654 : 1 : 213435432 : 7 : [{{2, 4, 5}}, {{2, 4, 6}, {2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 3, 4, 6}, {2, 3, 4}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 4, 5}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}]
158 : 232 : 2322 : [158, 9] : phi[3,2,2] : phi[3,2,2] : [3, 2, 2] : 2322 : 9 : 1321456543 : 6 : [{{1, 3, 6}}, {{1, 3, 5}, {2, 3, 6}, {1, 2, 4, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}}]
159 : 232 : 1901 : [159, 1] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1901 : 1 : 121432154 : 7 : [{{1, 2, 4}}, {{1, 3, 4}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 4}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4}, {1, 2, 3, 6}}]
160 : 232 : 1920 : [160, 2] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 1920 : 2 : 121343216 : 7 : [{{1, 2, 4, 6}}, {{1, 2, 4}, {1, 2, 5}, {1, 3, 4, 6}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 3, 4}, {1, 2, 4, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}}]
161 : 232 : 2654 : [161, 9] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2654 : 9 : 23245465432 : 7 : [{{2, 3, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {2, 3, 6}, {2, 5, 6}, {3, 5, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
162 : 232 : 2546 : [162, 3] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2546 : 3 : 34325436543 : 7 : [{{3, 4, 6}}, {{2, 4, 6}, {3, 5, 6}, {3, 4, 5}}, {{1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}, {2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 5, 6}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}]
163 : 232 : 2617 : [163, 4] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2617 : 4 : 24325432654 : 7 : [{{2, 4, 5}}, {{2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}]
164 : 232 : 2951 : [164, 6] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2951 : 6 : 12325432165 : 7 : [{{1, 3, 5}}, {{1, 2, 5}, {2, 3, 5}, {1, 4, 5}, {1, 3, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 3, 4}, {2, 4, 5}, {1, 2, 4, 6}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}}]
165 : 232 : 2730 : [165, 5] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2730 : 5 : 21345465432 : 7 : [{{2, 5, 6}}, {{2, 4, 6}, {1, 3, 5, 6}}, {{2, 3, 6}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 4, 6}, {1, 4, 5, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}]
166 : 232 : 2735 : [166, 6] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2735 : 6 : 21343565432 : 7 : [{{2, 4, 6}}, {{2, 3, 6}, {2, 4, 5}, {2, 5, 6}, {1, 3, 4, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
167 : 232 : 3039 : [167, 12] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3039 : 12 : 12134354321 : 7 : [{{1, 2, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {1, 4, 5}, {2, 4, 5}, {1, 2, 4, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}]
168 : 232 : 2696 : [168, 3] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2696 : 3 : 23214325432 : 7 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}]
169 : 232 : 4006 : [169, 25] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 4006 : 25 : 1213454654321 : 7 : [{{1, 2, 5, 6}}, {{1, 2, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
170 : 232 : 4010 : [170, 24] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 4010 : 24 : 1213435654321 : 7 : [{{1, 2, 4, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}, {1, 4, 5, 6}}]
171 : 232 : 4586 : [171, 27] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 4586 : 27 : 123432543654321 : 7 : [{{1, 4, 6}}, {{2, 4, 6}, {1, 4, 5}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}]
172 : 232 : 1886 : [172, 0] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 1886 : 0 : 121454654 : 9 : [{{1, 2, 4, 5, 6}}, {{2, 4, 6}, {1, 2, 4, 5}, {1, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}]
173 : 232 : 3936 : [173, 22] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3936 : 22 : 1232454654321 : 7 : [{{1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}, {1, 4, 5, 6}}]
174 : 232 : 4617 : [174, 29] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 4617 : 29 : 123214325654321 : 7 : [{{1, 3, 6}}, {{1, 3, 5}, {2, 3, 6}, {1, 2, 4, 6}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}]
175 : 232 : 3027 : [175, 7] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3027 : 7 : 12135432165 : 7 : [{{1, 2, 5}}, {{1, 3, 5}, {1, 2, 4, 6}}, {{1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {1, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 3, 4}, {2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}]
176 : 232 : 1938 : [176, 0] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 1938 : 0 : 121321565 : 9 : [{{1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}]
177 : 232 : 2896 : [177, 4] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 2896 : 4 : 13214321543 : 7 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {1, 2, 4, 6}, {2, 3, 4}, {1, 2, 3, 6}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}]
178 : 232 : 3648 : [178, 16] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3648 : 16 : 3243254326543 : 7 : [{{3, 4, 5}}, {{2, 4, 5}, {3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 4, 5}, {3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}]
179 : 232 : 1976 : [179, 0] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 1976 : 0 : 3435436543 : 10 : [{{3, 4, 5, 6}}, {{2, 4, 5, 6}}, {{2, 3, 5, 6}, {1, 4, 5, 6}, {3, 4, 5, 6}}, {{1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}, {3, 4, 5, 6}}]
180 : 232 : 3692 : [180, 14] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3692 : 14 : 2343254365432 : 7 : [{{2, 4, 6}}, {{1, 4, 6}, {2, 4, 5}, {3, 4, 6}, {2, 3, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {2, 3, 5}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}]
181 : 232 : 3828 : [181, 18] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3828 : 18 : 2132143215432 : 7 : [{{2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 6}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}]
182 : 232 : 2114 : [182, 0] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 2114 : 0 : 2324325432 : 10 : [{{2, 3, 4, 5}}, {{2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}, {3, 4, 5, 6}}]
183 : 232 : 3907 : [183, 14] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3907 : 14 : 1243254321654 : 7 : [{{1, 4, 5}}, {{1, 3, 5}, {1, 4, 6}, {2, 4, 5}}, {{2, 4, 6}, {1, 2, 5}, {2, 3, 5}, {1, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {3, 4, 5}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {1, 3, 4}, {2, 4, 5}, {3, 4, 6}, {1, 2, 5, 6}, {2, 3, 5, 6}, {1, 2, 4, 6}, {2, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}]
184 : 232 : 3733 : [184, 11] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3733 : 11 : 2321432565432 : 7 : [{{2, 3, 6}}, {{1, 3, 6}, {2, 4, 6}, {2, 3, 5}}, {{1, 3, 5}, {2, 3, 6}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4}}, {{1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {3, 4, 6}, {1, 2, 5, 6}, {1, 2, 4, 5}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 4, 5, 6}}]
185 : 232 : 3977 : [185, 18] : phi[3,2,1,1] : phi[3,2,1,1] : [3, 2, 1, 1] : 3977 : 18 : 1232143254321 : 7 : [{{1, 3, 5}}, {{1, 3, 6}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {1, 2, 4, 6}, {2, 3, 4}}, {{1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 4, 6}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 5, 6}, {1, 2, 4, 5}, {1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 6}, {1, 2, 4}, {1, 2, 5}, {2, 3, 5}, {2, 3, 6}, {1, 4, 5}, {2, 4, 5}, {2, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {1, 3, 5, 6}, {2, 3, 4}, {3, 4, 5}, {1, 2, 3, 6}}]
186 : 232 : 2878 : [186, 1] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 2878 : 1 : 13214546543 : 9 : [{{1, 3, 5, 6}}, {{1, 3, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}]
187 : 232 : 3019 : [187, 1] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 3019 : 1 : 12143215654 : 9 : [{{1, 2, 4, 6}}, {{2, 4, 6}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}]
188 : 232 : 2519 : [188, 0] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 2519 : 0 : 1213214321 : 10 : [{{1, 2, 3, 4}}, {{1, 2, 3, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 6}, {1, 2, 3, 4}}, {{1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}}]
189 : 232 : 3183 : [189, 1] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 3183 : 1 : 234354365432 : 10 : [{{2, 4, 5, 6}}, {{2, 3, 5, 6}, {1, 4, 5, 6}, {3, 4, 5, 6}}, {{1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}, {3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
190 : 232 : 3210 : [190, 1] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 3210 : 1 : 232432565432 : 10 : [{{2, 3, 4, 6}}, {{2, 3, 5, 6}, {1, 3, 4, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}, {3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
191 : 232 : 3492 : [191, 2] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 3492 : 2 : 123243254321 : 10 : [{{1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 3, 4, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
192 : 232 : 4297 : [192, 4] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4297 : 4 : 12343543654321 : 10 : [{{1, 4, 5, 6}}, {{1, 3, 5, 6}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 4, 5, 6}, {3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}, {3, 4, 5, 6}}]
193 : 232 : 3851 : [193, 3] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 3851 : 3 : 1343215436543 : 9 : [{{1, 3, 4, 6}}, {{2, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}]
194 : 232 : 4557 : [194, 7] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 4557 : 7 : 132432543216543 : 9 : [{{1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {1, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}]
195 : 232 : 2830 : [195, 0] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 2830 : 0 : 13435436543 : 11 : [{{1, 3, 4, 5, 6}}, {{1, 3, 5, 6}, {2, 4, 5, 6}}, {{2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 4, 5, 6}, {1, 3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 3, 4, 5, 6}}]
196 : 232 : 3808 : [196, 2] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 3808 : 2 : 2132145465432 : 9 : [{{2, 3, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}]
197 : 232 : 3893 : [197, 2] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 3893 : 2 : 1321432156543 : 9 : [{{1, 3, 4, 6}}, {{1, 3, 5}, {1, 2, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}]
198 : 232 : 3991 : [198, 3] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 3991 : 3 : 1214354321654 : 9 : [{{1, 2, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {1, 2, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}]
199 : 232 : 4538 : [199, 7] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 4538 : 7 : 213214321565432 : 9 : [{{2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}]
200 : 232 : 4416 : [200, 4] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4416 : 4 : 12132145654321 : 10 : [{{1, 2, 3, 6}}, {{1, 2, 4, 6}, {1, 2, 3, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 2, 3, 4}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}}]
201 : 232 : 3091 : [201, 0] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 3091 : 0 : 12132143216 : 11 : [{{1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 2, 3, 5}}, {{1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}}]
202 : 232 : 3611 : [202, 1] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 3611 : 1 : 121321454321 : 10 : [{{1, 2, 3, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 6}, {1, 2, 3, 4}}, {{1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}]
203 : 232 : 4133 : [203, 5] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4133 : 5 : 23243543265432 : 10 : [{{2, 3, 5, 6}}, {{1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}, {3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}, {3, 4, 5, 6}}]
204 : 232 : 4318 : [204, 5] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4318 : 5 : 12324325654321 : 10 : [{{1, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}, {3, 4, 5, 6}}]
205 : 232 : 4411 : [205, 7] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4411 : 7 : 12132432154321 : 10 : [{{1, 2, 4, 5}}, {{1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}}]
206 : 232 : 4505 : [206, 4] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 4505 : 4 : 213432154365432 : 9 : [{{2, 4, 6}}, {{2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}]
207 : 232 : 4886 : [207, 10] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 4886 : 10 : 21324325432165432 : 9 : [{{2, 4, 5}}, {{2, 4, 6}, {2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 4, 5, 6}}]
208 : 232 : 3765 : [208, 1] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 3765 : 1 : 2134354365432 : 11 : [{{2, 4, 5, 6}}, {{2, 3, 5, 6}, {1, 3, 4, 5, 6}}, {{1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
209 : 232 : 4567 : [209, 5] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 4567 : 5 : 132143543216543 : 9 : [{{1, 3, 5}}, {{2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}}, {{1, 3, 5}, {2, 4, 5}, {1, 2, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}}]
210 : 232 : 4892 : [210, 11] : phi[2,2,2,1] : phi[2,2,2,1] : [2, 2, 2, 1] : 4892 : 11 : 21321435432165432 : 9 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 5, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}}, {{2, 4, 6}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 3, 5, 6}, {1, 3, 4, 5}, {1, 2, 3, 5, 6}}]
211 : 232 : 4057 : [211, 1] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4057 : 1 : 1213215432165 : 11 : [{{1, 2, 3, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}]
212 : 232 : 4791 : [212, 10] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4791 : 10 : 1232435432654321 : 10 : [{{1, 3, 5, 6}}, {{1, 2, 5, 6}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {2, 3, 4, 5}, {3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
213 : 232 : 4841 : [213, 12] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4841 : 12 : 1213243215654321 : 10 : [{{1, 2, 4, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
214 : 232 : 4997 : [214, 14] : phi[3,1,1,1,1] : phi[3,1,1,1,1] : [3, 1, 1, 1, 1] : 4997 : 14 : 121324354321654321 : 10 : [{{1, 2, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 5, 6}, {1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 6}, {1, 4, 5, 6}, {1, 2, 3, 4}, {2, 3, 4, 5}, {3, 4, 5, 6}}]
215 : 232 : 4641 : [215, 4] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4641 : 4 : 121343543654321 : 11 : [{{1, 2, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {1, 3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}, {1, 3, 4, 5, 6}}]
216 : 232 : 4481 : [216, 2] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4481 : 2 : 232143543265432 : 11 : [{{2, 3, 5, 6}}, {{1, 3, 5, 6}, {2, 3, 4, 6}, {2, 4, 5, 6}}, {{2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 3, 4, 5, 6}}]
217 : 232 : 4637 : [217, 2] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4637 : 2 : 121432154321654 : 11 : [{{1, 2, 4, 5}}, {{1, 2, 4, 6}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}}]
218 : 232 : 4676 : [218, 5] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4676 : 5 : 121321454654321 : 11 : [{{1, 2, 3, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}, {1, 3, 4, 5, 6}}]
219 : 232 : 4921 : [219, 8] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4921 : 8 : 12321435432654321 : 11 : [{{1, 3, 5, 6}}, {{2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
220 : 232 : 4878 : [220, 6] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4878 : 6 : 23214321543265432 : 11 : [{{2, 3, 4, 6}}, {{2, 3, 5, 6}, {1, 3, 4, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 3, 4, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
221 : 232 : 4909 : [221, 8] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4909 : 8 : 13214321543216543 : 11 : [{{1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 3, 4, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
222 : 232 : 4936 : [222, 9] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 4936 : 9 : 12134321543654321 : 11 : [{{1, 2, 4, 6}}, {{1, 2, 4, 5}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}]
223 : 232 : 5017 : [223, 13] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 5017 : 13 : 2132143215432165432 : 11 : [{{2, 3, 4, 5}}, {{2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}, {1, 3, 4, 5, 6}}]
224 : 232 : 4471 : [224, 0] : phi[2,1,1,1,1,1] : phi[2,1,1,1,1,1] : [2, 1, 1, 1, 1, 1] : 4471 : 0 : 232432543265432 : 15 : [{{2, 3, 4, 5, 6}}, {{1, 3, 4, 5, 6}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}]
225 : 232 : 5021 : [225, 13] : phi[2,2,1,1,1] : phi[2,2,1,1,1] : [2, 2, 1, 1, 1] : 5021 : 13 : 1232143215432654321 : 11 : [{{1, 3, 4, 6}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {2, 3, 4, 6}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}}, {{1, 2, 4, 6}, {1, 3, 5, 6}, {1, 2, 3, 5}, {2, 3, 4, 6}, {1, 3, 4, 5}, {2, 4, 5, 6}}, {{1, 2, 4, 5}, {2, 3, 5, 6}, {1, 3, 4, 6}, {1, 2, 3, 5, 6}, {1, 2, 4, 5, 6}, {2, 3, 4, 5}, {1, 2, 3, 4, 6}, {1, 3, 4, 5, 6}}]
226 : 232 : 4696 : [226, 0] : phi[2,1,1,1,1,1] : phi[2,1,1,1,1,1] : [2, 1, 1, 1, 1, 1] : 4696 : 0 : 121321432154321 : 15 : [{{1, 2, 3, 4, 5}}, {{1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 2, 3, 4, 5}}, {{1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}, {1, 2, 3, 4, 5}}]
227 : 232 : 4915 : [227, 1] : phi[2,1,1,1,1,1] : phi[2,1,1,1,1,1] : [2, 1, 1, 1, 1, 1] : 4915 : 1 : 12324325432654321 : 15 : [{{1, 3, 4, 5, 6}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}, {1, 2, 3, 4, 5}}]
228 : 232 : 4959 : [228, 1] : phi[2,1,1,1,1,1] : phi[2,1,1,1,1,1] : [2, 1, 1, 1, 1, 1] : 4959 : 1 : 12132143215654321 : 15 : [{{1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 2, 3, 4, 5}}, {{1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}, {1, 2, 3, 4, 5}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}]
229 : 232 : 5024 : [229, 3] : phi[2,1,1,1,1,1] : phi[2,1,1,1,1,1] : [2, 1, 1, 1, 1, 1] : 5024 : 3 : 1213243254321654321 : 15 : [{{1, 2, 4, 5, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}, {1, 2, 3, 4, 5}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}]
230 : 232 : 5027 : [230, 4] : phi[2,1,1,1,1,1] : phi[2,1,1,1,1,1] : [2, 1, 1, 1, 1, 1] : 5027 : 4 : 1213214354321654321 : 15 : [{{1, 2, 3, 5, 6}}, {{1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}, {1, 2, 3, 4, 5}}, {{2, 3, 4, 5, 6}, {1, 2, 4, 5, 6}, {1, 2, 3, 4, 6}}, {{1, 2, 3, 5, 6}, {1, 3, 4, 5, 6}, {1, 2, 3, 4, 5}}]
231 : 232 : 5039 : [231, 0] : phi[1,1,1,1,1,1,1] : phi[1,1,1,1,1,1,1] : [1, 1, 1, 1, 1, 1, 1] : 5039 : 0 : 121321432154321654321 : 21 : [{{1, 2, 3, 4, 5, 6}}, {}, {}, {}, {}]