\\ Left Cell Data for C5 (CC 2012, B. Binegar) \\ \\ This file contains a table of data for the 182 left cells of the Weyl \\ group W of C5. 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 : 182 : 0 : [0, 0] : phi[[5],[]] : phi[[5],[]] : [10] : 0 : 0 : e : 0 : [{{}}, {}, {}, {}, {}, {}, {}] 1 : 182 : 1 : [1, 0] : phi[[4, 1],[]]+phi[[4],[1]] : phi[[4],[1]] : [8, 2] : 1 : 0 : 1 : 1 : [{{1}}, {{2}}, {{1}, {3}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}] 2 : 182 : 2 : [2, 0] : phi[[4, 1],[]]+phi[[4],[1]] : phi[[4],[1]] : [8, 2] : 2 : 0 : 2 : 1 : [{{2}}, {{1}, {3}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}] 3 : 182 : 3 : [3, 0] : phi[[4, 1],[]]+phi[[4],[1]] : phi[[4],[1]] : [8, 2] : 3 : 0 : 3 : 1 : [{{3}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}] 4 : 182 : 4 : [4, 0] : phi[[4, 1],[]]+phi[[4],[1]] : phi[[4],[1]] : [8, 2] : 4 : 0 : 4 : 1 : [{{4}}, {{3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}] 5 : 182 : 5 : [5, 0] : phi[[4],[1]]+phi[[],[5]] : phi[[4],[1]] : [8, 2] : 5 : 0 : 5 : 1 : [{{5}}, {{4}}, {{3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}, {{2}, {4}}, {{1}, {3}, {5}}] 6 : 182 : 9 : [6, 0] : phi[[3, 2],[]]+phi[[3],[2]] : phi[[3],[2]] : [6, 4] : 9 : 0 : 31 : 2 : [{{1, 3}}, {{2}, {3}, {1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}] 7 : 182 : 12 : [7, 0] : phi[[3, 2],[]]+phi[[3],[2]] : phi[[3],[2]] : [6, 4] : 12 : 0 : 41 : 2 : [{{1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}] 8 : 182 : 13 : [8, 0] : phi[[3, 2],[]]+phi[[3],[2]] : phi[[3],[2]] : [6, 4] : 13 : 0 : 42 : 2 : [{{2, 4}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}] 9 : 182 : 16 : [9, 0] : phi[[3],[2]]+phi[[1],[4]] : phi[[3],[2]] : [6, 4] : 16 : 0 : 51 : 2 : [{{1, 5}}, {{1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}] 10 : 182 : 17 : [10, 0] : phi[[3],[2]]+phi[[1],[4]] : phi[[3],[2]] : [6, 4] : 17 : 0 : 52 : 2 : [{{2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}] 11 : 182 : 18 : [11, 0] : phi[[3],[2]]+phi[[1],[4]] : phi[[3],[2]] : [6, 4] : 18 : 0 : 53 : 2 : [{{3, 5}}, {{3}, {4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}] 12 : 182 : 52 : [12, 1] : phi[[3, 2],[]]+phi[[3],[2]] : phi[[3],[2]] : [6, 4] : 52 : 1 : 2312 : 2 : [{{2}}, {{1, 3}}, {{2}, {3}, {1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}] 13 : 182 : 21 : [13, 0] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 21 : 0 : 212 : 3 : [{{1, 2}}, {{1, 3}}, {{1, 4}, {1, 2}, {2, 3}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 14 : 182 : 61 : [14, 1] : phi[[3, 2],[]]+phi[[3],[2]] : phi[[3],[2]] : [6, 4] : 61 : 1 : 3423 : 2 : [{{3}}, {{2, 4}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}] 15 : 182 : 26 : [15, 0] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 26 : 0 : 323 : 3 : [{{2, 3}}, {{1, 3}, {2, 4}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 16 : 182 : 80 : [16, 1] : phi[[3],[2]]+phi[[1],[4]] : phi[[3],[2]] : [6, 4] : 80 : 1 : 4534 : 2 : [{{4}}, {{5}, {3, 5}}, {{3}, {4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}] 17 : 182 : 35 : [17, 0] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 35 : 0 : 434 : 3 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{3}, {4}, {1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 18 : 182 : 43 : [18, 0] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 43 : 0 : 531 : 3 : [{{1, 3, 5}}, {{3}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}] 19 : 182 : 111 : [19, 2] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 111 : 2 : 32123 : 3 : [{{1, 3}}, {{1, 4}, {1, 2}, {2, 3}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 20 : 182 : 133 : [20, 3] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 133 : 3 : 43234 : 3 : [{{2, 4}}, {{1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 21 : 182 : 356 : [21, 6] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 356 : 6 : 4321234 : 3 : [{{1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 22 : 182 : 1394 : [22, 12] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 1394 : 12 : 45432123454 : 3 : [{{1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 23 : 182 : 378 : [23, 3] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 378 : 3 : 4523412 : 3 : [{{2, 4}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}] 24 : 182 : 2586 : [24, 14] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 2586 : 14 : 234543212345432 : 3 : [{{2}}, {{1, 3}}, {{2}, {3}, {1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 25 : 182 : 66 : [25, 0] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 66 : 0 : 4212 : 4 : [{{1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 2, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 26 : 182 : 147 : [26, 1] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 147 : 1 : 45341 : 3 : [{{1, 4}}, {{2, 4}, {1, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}] 27 : 182 : 726 : [27, 5] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 726 : 5 : 345234123 : 3 : [{{3}}, {{2, 4}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}] 28 : 182 : 1951 : [28, 13] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 1951 : 13 : 3454321234543 : 3 : [{{1, 3}}, {{2}, {3}, {1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 29 : 182 : 2025 : [29, 8] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 2025 : 8 : 4534523451234 : 3 : [{{4}}, {{5}, {3, 5}}, {{3}, {4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}] 30 : 182 : 72 : [30, 0] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 72 : 0 : 4341 : 4 : [{{1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 31 : 182 : 308 : [31, 5] : phi[[3],[2]]+phi[[1],[4]] : phi[[3],[2]] : [6, 4] : 308 : 5 : 545345 : 2 : [{{5}}, {{4}}, {{5}, {3, 5}}, {{3}, {4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{5}, {1, 3}, {2, 4}, {1, 5}, {3, 5}}] 32 : 182 : 180 : [32, 2] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 180 : 2 : 54345 : 3 : [{{3, 5}}, {{3}, {4}, {2, 5}, {3, 4}}, {{2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 33 : 182 : 886 : [33, 10] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 886 : 10 : 543212345 : 3 : [{{1, 5}}, {{1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 34 : 182 : 158 : [34, 2] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 158 : 2 : 52312 : 3 : [{{2, 5}}, {{5}, {2, 4}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}] 35 : 182 : 914 : [35, 6] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 914 : 6 : 545234512 : 3 : [{{2, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}] 36 : 182 : 85 : [36, 0] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 85 : 0 : 5212 : 4 : [{{1, 2, 5}}, {{1, 5}, {2, 5}, {1, 3, 5}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 37 : 182 : 448 : [37, 8] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 448 : 8 : 5432345 : 3 : [{{2, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 38 : 182 : 1450 : [38, 7] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 1450 : 7 : 53452345123 : 3 : [{{3, 5}}, {{3}, {4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}] 39 : 182 : 1298 : [39, 11] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 1298 : 11 : 34543234543 : 3 : [{{3}}, {{2, 4}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 40 : 182 : 90 : [40, 0] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 90 : 0 : 5323 : 4 : [{{2, 3, 5}}, {{3}, {2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 41 : 182 : 410 : [41, 5] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 410 : 5 : 4543454 : 3 : [{{4}}, {{3, 5}}, {{3}, {4}, {2, 5}, {3, 4}}, {{2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}] 42 : 182 : 103 : [42, 0] : phi[[3],[1, 1]]+phi[[],[4, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 103 : 0 : 5454 : 4 : [{{4, 5}}, {{3, 5}}, {{2, 5}, {3, 4}, {4, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}] 43 : 182 : 204 : [43, 1] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 204 : 1 : 342123 : 4 : [{{1, 3}}, {{3}, {2, 3}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 2, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 44 : 182 : 220 : [44, 1] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 220 : 1 : 423412 : 4 : [{{2, 4}}, {{2, 5}, {2, 3}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 45 : 182 : 471 : [45, 4] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 471 : 4 : 5453451 : 3 : [{{1, 5}}, {{1, 4}, {2, 5}}, {{2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}] 46 : 182 : 2818 : [46, 9] : phi[[2],[3]] : phi[[2],[3]] : [5, 5] : 2818 : 9 : 545345234512345 : 3 : [{{5}}, {{4}}, {{5}, {3, 5}}, {{3}, {4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}}, {{3}, {4}, {1, 4}, {2, 5}}, {{5}, {2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}] 47 : 182 : 296 : [47, 2] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 296 : 2 : 543451 : 4 : [{{1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 48 : 182 : 270 : [48, 4] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 270 : 4 : 532123 : 4 : [{{1, 3, 5}}, {{1, 3}, {1, 4}, {1, 2, 5}, {2, 3, 5}}, {{3}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 49 : 182 : 824 : [49, 9] : phi[[3, 1],[1]] : phi[[3, 1],[1]] : [6, 2, 2] : 824 : 9 : 454323454 : 3 : [{{2, 4}}, {{2}, {3}, {4}, {1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{2}, {3}, {4}, {1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 50 : 182 : 246 : [50, 1] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 246 : 1 : 453234 : 4 : [{{2, 4}}, {{4}, {1, 4}, {2, 5}, {3, 4}, {2, 3, 5}}, {{3}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 51 : 182 : 1115 : [51, 6] : phi[[3],[1, 1]]+phi[[],[4, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 1115 : 6 : 5123454321 : 4 : [{{1, 5}}, {{1, 4}, {2, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 52 : 182 : 1204 : [52, 14] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 1204 : 14 : 5453212345 : 4 : [{{1, 5}}, {{1, 4}, {2, 5}}, {{2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 5}, {3, 4}, {1, 2, 5}, {2, 3, 5}}, {{3}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 53 : 182 : 600 : [53, 5] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 600 : 5 : 45434541 : 4 : [{{1, 4}}, {{4}, {2, 4}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 54 : 182 : 187 : [54, 0] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 187 : 0 : 54541 : 5 : [{{1, 4, 5}}, {{1, 4}, {4, 5}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 55 : 182 : 610 : [55, 3] : phi[[3],[1, 1]]+phi[[],[4, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 610 : 3 : 52345432 : 4 : [{{2, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}] 56 : 182 : 1087 : [56, 8] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 1087 : 8 : 4542345412 : 4 : [{{2, 4}}, {{3}, {1, 4}, {2, 5}}, {{4}, {2, 4}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 57 : 182 : 673 : [57, 6] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 673 : 6 : 54532345 : 4 : [{{2, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{4}, {1, 4}, {2, 5}, {3, 4}, {2, 3, 5}}, {{3}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 58 : 182 : 1746 : [58, 13] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 1746 : 13 : 454345423454 : 4 : [{{4}}, {{3, 5}}, {{4}, {2, 5}, {3, 4}}, {{3}, {2, 4}, {1, 5}, {3, 5}}, {{4}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 59 : 182 : 188 : [59, 0] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 188 : 0 : 54542 : 5 : [{{2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 4, 5}}, {{1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 60 : 182 : 283 : [60, 1] : phi[[3],[1, 1]]+phi[[],[4, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 283 : 1 : 534543 : 4 : [{{3, 5}}, {{2, 5}, {3, 4}, {4, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 61 : 182 : 503 : [61, 6] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 503 : 6 : 34234123 : 4 : [{{2, 3}}, {{1, 3}, {2, 4}}, {{3}, {2, 5}, {2, 3}, {1, 2, 4}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 62 : 182 : 2882 : [62, 15] : phi[[3, 1, 1],[]]+phi[[3],[1, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 2882 : 15 : 2345432123454321 : 4 : [{{1, 2}}, {{1, 3}}, {{1, 4}, {1, 2}, {2, 3}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}] 63 : 182 : 2285 : [63, 14] : phi[[3, 1, 1],[]]+phi[[3],[1, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 2285 : 14 : 34543123454321 : 4 : [{{1, 3}}, {{1, 4}, {1, 2}, {2, 3}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 64 : 182 : 2599 : [64, 21] : phi[[2, 2, 1],[]]+phi[[2],[2, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 2599 : 21 : 345423123454321 : 5 : [{{1, 3}}, {{2, 3}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 2, 5}}, {{2, 4}, {1, 5}, {2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 65 : 182 : 199 : [65, 0] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 199 : 0 : 323123 : 6 : [{{1, 2, 3}}, {{2, 3}, {1, 2, 4}}, {{1, 3}, {2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 2, 3}}, {{2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 66 : 182 : 551 : [66, 3] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 551 : 3 : 43454234 : 4 : [{{3, 4}}, {{3}, {2, 4}, {3, 5}}, {{4}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 67 : 182 : 1611 : [67, 11] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 1611 : 11 : 345423454123 : 4 : [{{3}}, {{2, 4}}, {{3}, {1, 4}, {2, 5}}, {{4}, {2, 4}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 68 : 182 : 1089 : [68, 9] : phi[[3, 1, 1],[]]+phi[[3],[1, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 1089 : 9 : 4542345432 : 4 : [{{2, 4}}, {{1, 4}, {2, 5}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}] 69 : 182 : 1366 : [69, 7] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 1366 : 7 : 45342345432 : 5 : [{{2, 4}}, {{1, 4}, {2, 5}, {3, 4}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 70 : 182 : 1621 : [70, 12] : phi[[3, 1, 1],[]]+phi[[3],[1, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 1621 : 12 : 345432345432 : 4 : [{{2, 3}}, {{1, 3}, {2, 4}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}] 71 : 182 : 1948 : [71, 15] : phi[[2, 2, 1],[]]+phi[[2],[2, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 1948 : 15 : 3454234543123 : 5 : [{{2, 3}}, {{1, 3}, {2, 4}}, {{2, 5}, {2, 3}, {1, 2, 4}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 72 : 182 : 231 : [72, 0] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 231 : 0 : 434234 : 6 : [{{2, 3, 4}}, {{2, 4}, {3, 4}, {1, 3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 73 : 182 : 640 : [73, 6] : phi[[2, 2],[1]]+phi[[2, 1],[2]] : phi[[2, 1],[2]] : [4, 4, 2] : 640 : 6 : 54234512 : 4 : [{{2, 5}}, {{2, 4}, {1, 3, 5}}, {{3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 74 : 182 : 602 : [74, 6] : phi[[3, 1, 1],[]]+phi[[3],[1, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 602 : 6 : 45434543 : 4 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{1, 4}, {2, 5}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}] 75 : 182 : 563 : [75, 7] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 563 : 7 : 45321234 : 4 : [{{1, 4}}, {{2, 4}, {1, 5}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 5}, {3, 4}, {1, 2, 5}, {2, 3, 5}}, {{3}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}] 76 : 182 : 1190 : [76, 9] : phi[[2, 1],[2]]+phi[[1, 1],[3]] : phi[[2, 1],[2]] : [4, 4, 2] : 1190 : 9 : 5434542345 : 4 : [{{3, 5}}, {{4}, {2, 5}, {3, 4}}, {{3}, {2, 4}, {1, 5}, {3, 5}}, {{4}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{4}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{3}, {1, 4}, {2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}] 77 : 182 : 435 : [77, 1] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 435 : 1 : 5345423 : 5 : [{{3, 5}}, {{3, 4}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 4, 5}}, {{1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 78 : 182 : 436 : [78, 1] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 436 : 1 : 5345431 : 5 : [{{1, 3, 5}}, {{1, 5}, {2, 5}, {3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 79 : 182 : 1710 : [79, 13] : phi[[3, 1, 1],[]]+phi[[3],[1, 1]] : phi[[3],[1, 1]] : [6, 2, 1, 1] : 1710 : 13 : 454123454321 : 4 : [{{1, 4}}, {{1, 3}, {2, 4}, {1, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}, {{1, 3}, {2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {1, 2}, {2, 3}, {3, 4}, {4, 5}}] 80 : 182 : 2044 : [80, 18] : phi[[2, 2, 1],[]]+phi[[2],[2, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 2044 : 18 : 4542123454321 : 5 : [{{1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 2, 5}}, {{2, 4}, {1, 5}, {2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 81 : 182 : 532 : [81, 1] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 532 : 1 : 43231234 : 6 : [{{1, 2, 4}}, {{2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 2, 3}}, {{2, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 82 : 182 : 2013 : [82, 14] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 2013 : 14 : 4534123454321 : 5 : [{{1, 4}}, {{2, 4}, {1, 5}, {1, 3, 5}}, {{1, 3}, {1, 4}, {2, 5}, {3, 4}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 83 : 182 : 538 : [83, 2] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 538 : 2 : 43421234 : 6 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 84 : 182 : 854 : [84, 4] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 854 : 4 : 532345432 : 5 : [{{2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 85 : 182 : 2204 : [85, 16] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 2204 : 16 : 5453452345432 : 5 : [{{2, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {3, 4}, {4, 5}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 86 : 182 : 653 : [86, 2] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 653 : 2 : 54342345 : 6 : [{{2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 87 : 182 : 837 : [87, 7] : phi[[2, 2, 1],[]]+phi[[2],[2, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 837 : 7 : 454345431 : 5 : [{{1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 88 : 182 : 1423 : [88, 9] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 1423 : 9 : 52123454321 : 5 : [{{1, 2, 5}}, {{1, 5}, {2, 5}, {1, 3, 5}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 89 : 182 : 1167 : [89, 4] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 1167 : 4 : 5432312345 : 6 : [{{1, 2, 5}}, {{2, 5}, {1, 3, 5}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 90 : 182 : 1430 : [90, 10] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 1430 : 10 : 53123454321 : 5 : [{{1, 3, 5}}, {{1, 3}, {1, 4}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 91 : 182 : 2287 : [91, 9] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 2287 : 9 : 34543231234543 : 6 : [{{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, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 92 : 182 : 420 : [92, 0] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 420 : 0 : 5323123 : 7 : [{{1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 5}}, {{1, 4}, {2, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 93 : 182 : 1720 : [93, 6] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 1720 : 6 : 454323123454 : 6 : [{{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, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 94 : 182 : 2814 : [94, 23] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 2814 : 23 : 545345123454321 : 5 : [{{1, 5}}, {{1, 4}, {2, 5}}, {{2, 4}, {1, 5}, {3, 5}, {1, 3, 5}}, {{1, 3}, {1, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 2, 5}, {2, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 95 : 182 : 2565 : [95, 19] : phi[[2, 1],[1, 1]]+phi[[],[3, 2]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 2565 : 19 : 54543452123454 : 6 : [{{1, 4, 5}}, {{1, 4}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 96 : 182 : 845 : [96, 4] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 845 : 4 : 523454312 : 5 : [{{2, 5}}, {{2, 4}, {1, 3, 5}}, {{1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 97 : 182 : 3466 : [97, 24] : phi[[2, 1],[1, 1]]+phi[[],[3, 2]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 3466 : 24 : 545234543212345432 : 6 : [{{2, 5}}, {{2, 4}, {1, 3, 5}}, {{2, 5}, {3, 5}, {2, 3}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 98 : 182 : 475 : [98, 0] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 475 : 0 : 5454212 : 7 : [{{1, 2, 4, 5}}, {{1, 4}, {2, 4}, {1, 3, 5}, {1, 2, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 99 : 182 : 808 : [99, 3] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 808 : 3 : 453454234 : 5 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{1, 4}, {2, 5}, {3, 4}, {4, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 100 : 182 : 1174 : [100, 6] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 1174 : 6 : 5434212345 : 6 : [{{1, 3, 5}}, {{1, 3}, {1, 4}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 101 : 182 : 1102 : [101, 4] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 1102 : 4 : 4543423454 : 6 : [{{2, 4}}, {{1, 4}, {3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 102 : 182 : 1391 : [102, 12] : phi[[2, 2, 1],[]]+phi[[2],[2, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 1391 : 12 : 45423454312 : 5 : [{{2, 4}}, {{2, 5}, {2, 3}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 103 : 182 : 789 : [103, 1] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 789 : 1 : 453231234 : 7 : [{{1, 2, 4}}, {{1, 4}, {2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 104 : 182 : 3092 : [104, 22] : phi[[2, 1],[1, 1]]+phi[[],[3, 2]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 3092 : 22 : 5453454321234543 : 6 : [{{1, 3, 5}}, {{2, 5}, {3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 105 : 182 : 869 : [105, 1] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 869 : 1 : 534542123 : 7 : [{{1, 3, 5}}, {{3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 106 : 182 : 1542 : [106, 10] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 1542 : 10 : 54534542345 : 5 : [{{3, 5}}, {{2, 5}, {3, 4}, {4, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {3, 4}, {4, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}] 107 : 182 : 1727 : [107, 8] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 1727 : 8 : 454342123454 : 6 : [{{1, 4}}, {{2, 4}, {1, 3, 5}}, {{1, 3}, {1, 4}, {3, 4}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 108 : 182 : 1665 : [108, 9] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 1665 : 9 : 434543234543 : 6 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{1, 4}, {3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 109 : 182 : 2254 : [109, 20] : phi[[2],[2, 1]]+phi[[1],[3, 1]] : phi[[2],[2, 1]] : [4, 4, 1, 1] : 2254 : 20 : 5454345423454 : 5 : [{{4, 5}}, {{3, 5}}, {{2, 5}, {3, 4}, {4, 5}}, {{2, 4}, {1, 5}, {3, 5}}, {{1, 4}, {2, 5}, {3, 4}, {4, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {1, 5}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {4, 5}, {1, 3, 5}, {1, 2, 5}, {2, 3, 5}, {2, 4, 5}}] 110 : 182 : 1910 : [110, 14] : phi[[2, 1],[1, 1]]+phi[[],[3, 2]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 1910 : 14 : 545434523454 : 6 : [{{2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 111 : 182 : 1519 : [111, 3] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 1519 : 3 : 54532312345 : 7 : [{{1, 2, 5}}, {{2, 5}, {1, 3, 5}, {1, 2, 4}}, {{1, 4}, {2, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 112 : 182 : 1325 : [112, 2] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 1325 : 2 : 43452341234 : 7 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 113 : 182 : 2324 : [113, 16] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 2324 : 16 : 43454321234543 : 6 : [{{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, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 114 : 182 : 1375 : [114, 2] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 1375 : 2 : 45345421234 : 7 : [{{1, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 115 : 182 : 2884 : [115, 17] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 2884 : 17 : 3234543212345432 : 6 : [{{2, 3}}, {{1, 3}, {2, 4}}, {{2, 5}, {2, 3}, {1, 2, 4}, {1, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 116 : 182 : 1436 : [116, 3] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 1436 : 3 : 53234543123 : 7 : [{{2, 3, 5}}, {{2, 4}, {1, 3, 5}}, {{2, 5}, {3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 117 : 182 : 2540 : [117, 18] : phi[[2, 1],[1, 1]]+phi[[],[3, 2]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 2540 : 18 : 54534543234543 : 6 : [{{3, 5}}, {{3, 4}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}] 118 : 182 : 957 : [118, 0] : phi[[2],[1, 1, 1]]+phi[[],[3, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 957 : 0 : 545434543 : 9 : [{{3, 4, 5}}, {{2, 4, 5}}, {{2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}] 119 : 182 : 1974 : [119, 6] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 1974 : 6 : 4342345431234 : 7 : [{{2, 3, 4}}, {{2, 4}, {3, 4}, {1, 3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 120 : 182 : 2904 : [120, 23] : phi[[2, 1, 1],[1]]+phi[[2, 1],[1, 1]] : phi[[2, 1],[1, 1]] : [4, 2, 2, 2] : 2904 : 23 : 4234543212345432 : 6 : [{{2, 4}}, {{2, 5}, {2, 3}, {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, 2, 4}, {1, 3, 4}, {1, 4, 5}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {2, 3}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {1, 4, 5}, {2, 3, 4}}, {{1, 3}, {1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3}}] 121 : 182 : 2011 : [121, 4] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 2011 : 4 : 4532345431234 : 7 : [{{2, 4}}, {{2, 5}, {1, 3, 4}, {2, 3, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 122 : 182 : 1021 : [122, 0] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 1021 : 0 : 4342341234 : 10 : [{{1, 2, 3, 4}}, {{1, 3, 4}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}] 123 : 182 : 2154 : [123, 5] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 2154 : 5 : 5434523412345 : 7 : [{{1, 3, 5}}, {{1, 4}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 124 : 182 : 2206 : [124, 6] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 2206 : 6 : 5453454212345 : 7 : [{{1, 3, 5}}, {{2, 5}, {3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 125 : 182 : 2868 : [125, 14] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 2868 : 14 : 545434542123454 : 7 : [{{1, 4, 5}}, {{1, 4}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {1, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 126 : 182 : 2218 : [126, 3] : phi[[2],[1, 1, 1]]+phi[[],[3, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 2218 : 3 : 5454123454321 : 9 : [{{1, 4, 5}}, {{1, 3, 5}, {2, 4, 5}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}] 127 : 182 : 3585 : [127, 24] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 3585 : 24 : 5345432345431234543 : 7 : [{{3, 5}}, {{3, 4}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 128 : 182 : 3539 : [128, 23] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 3539 : 23 : 4345432345431234543 : 7 : [{{3, 4}}, {{2, 4}, {3, 5}}, {{1, 4}, {3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 129 : 182 : 2704 : [129, 7] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 2704 : 7 : 454345234123454 : 7 : [{{1, 4}}, {{2, 4}, {1, 3, 5}}, {{1, 4}, {3, 4}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 130 : 182 : 1253 : [130, 0] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 1253 : 0 : 5454345431 : 10 : [{{1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 131 : 182 : 1554 : [131, 1] : phi[[2],[1, 1, 1]]+phi[[],[3, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 1554 : 1 : 54542345432 : 9 : [{{2, 4, 5}}, {{2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 132 : 182 : 2771 : [132, 13] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 2771 : 13 : 543423454312345 : 7 : [{{2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 133 : 182 : 2805 : [133, 9] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 2805 : 9 : 545323454312345 : 7 : [{{2, 5}}, {{2, 4}, {1, 3, 5}}, {{2, 5}, {3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 134 : 182 : 1814 : [134, 1] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 1814 : 1 : 543423412345 : 10 : [{{1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}] 135 : 182 : 3325 : [135, 22] : phi[[1, 1],[2, 1]]+phi[[1],[2, 2]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 3325 : 22 : 54543234543123454 : 7 : [{{2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 4, 5}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}] 136 : 182 : 3214 : [136, 17] : phi[[1, 1, 1],[2]]+phi[[1, 1],[2, 1]] : phi[[1, 1],[2, 1]] : [3, 3, 2, 2] : 3214 : 17 : 45434234543123454 : 7 : [{{2, 4}}, {{1, 4}, {3, 4}, {2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {2, 3, 4}}, {{1, 4}, {2, 4}, {3, 4}, {1, 3, 5}, {1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {2, 5}, {3, 5}, {1, 3, 5}, {1, 2, 4}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {2, 3, 4}}] 137 : 182 : 1888 : [137, 1] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 1888 : 1 : 545423454312 : 10 : [{{2, 4, 5}}, {{2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 138 : 182 : 2129 : [138, 2] : phi[[2],[1, 1, 1]]+phi[[],[3, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 2129 : 2 : 5345432345432 : 9 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}] 139 : 182 : 2389 : [139, 2] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 2389 : 2 : 45434234123454 : 10 : [{{1, 2, 4}}, {{1, 3, 4}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}] 140 : 182 : 2445 : [140, 2] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 2445 : 2 : 53454234543123 : 10 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 141 : 182 : 3237 : [141, 9] : phi[[2],[1, 1, 1]]+phi[[],[3, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 3237 : 9 : 52345432123454321 : 9 : [{{1, 2, 5}}, {{1, 3, 5}, {1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}] 142 : 182 : 2541 : [142, 3] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 2541 : 3 : 54542123454321 : 10 : [{{1, 2, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 143 : 182 : 2750 : [143, 6] : phi[[2],[1, 1, 1]]+phi[[],[3, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 2750 : 6 : 534543123454321 : 9 : [{{1, 3, 5}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 144 : 182 : 1999 : [144, 1] : phi[[2, 1, 1, 1],[]]+phi[[2],[1, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 1999 : 1 : 4345432345432 : 9 : [{{2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 145 : 182 : 2925 : [145, 3] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 2925 : 3 : 4345432341234543 : 10 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}] 146 : 182 : 3113 : [146, 4] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 3113 : 4 : 5454342345123454 : 10 : [{{1, 2, 4, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}] 147 : 182 : 2953 : [147, 4] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 2953 : 4 : 4534542345431234 : 10 : [{{2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 148 : 182 : 3015 : [148, 5] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3015 : 5 : 5345423123454321 : 10 : [{{1, 3, 5}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 149 : 182 : 2637 : [149, 3] : phi[[2, 1, 1, 1],[]]+phi[[2],[1, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 2637 : 3 : 434543123454321 : 9 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}] 150 : 182 : 3368 : [150, 5] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 3368 : 5 : 434234543212345432 : 10 : [{{2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}] 151 : 182 : 3461 : [151, 6] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 3461 : 6 : 543454323451234543 : 10 : [{{1, 3, 5}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}] 152 : 182 : 3483 : [152, 8] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3483 : 8 : 545345423454312345 : 10 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 153 : 182 : 3391 : [153, 6] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3391 : 6 : 453454234123454321 : 10 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 154 : 182 : 3141 : [154, 3] : phi[[2, 1, 1, 1],[]]+phi[[2],[1, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 3141 : 3 : 32345432123454321 : 9 : [{{1, 2, 3}}, {{1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}] 155 : 182 : 3429 : [155, 9] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3429 : 9 : 532345432123454321 : 10 : [{{1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 156 : 182 : 3156 : [156, 6] : phi[[2, 1, 1, 1],[]]+phi[[2],[1, 1, 1]] : phi[[2],[1, 1, 1]] : [4, 2, 1, 1, 1, 1] : 3156 : 6 : 42345432123454321 : 9 : [{{1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 157 : 182 : 3659 : [157, 12] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3659 : 12 : 45342345432123454321 : 10 : [{{1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 158 : 182 : 3531 : [158, 9] : phi[[1, 1, 1, 1],[1]]+phi[[1, 1],[1, 1, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3531 : 9 : 4342345432123454321 : 11 : [{{1, 2, 3, 4}}, {{1, 3, 4}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}] 159 : 182 : 3692 : [159, 8] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 3692 : 8 : 54345234543212345432 : 10 : [{{2, 3, 5}}, {{2, 4}, {1, 3, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}] 160 : 182 : 3681 : [160, 7] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 3681 : 7 : 45434543234541234543 : 10 : [{{1, 3, 4}}, {{2, 4}, {1, 3, 5}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}] 161 : 182 : 3728 : [161, 12] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3728 : 12 : 54543454234543123454 : 10 : [{{2, 4, 5}}, {{2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 162 : 182 : 3706 : [162, 11] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3706 : 11 : 54534542345123454321 : 10 : [{{1, 3, 5}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}] 163 : 182 : 3804 : [163, 14] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3804 : 14 : 5453452345432123454321 : 10 : [{{1, 2, 5}}, {{1, 3, 5}, {1, 2, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 164 : 182 : 3759 : [164, 13] : phi[[1, 1, 1, 1],[1]]+phi[[1, 1],[1, 1, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3759 : 13 : 543452345432123454321 : 11 : [{{1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 165 : 182 : 3796 : [165, 9] : phi[[1, 1, 1],[1, 1]] : phi[[1, 1, 1],[1, 1]] : [2, 2, 2, 2, 2] : 3796 : 9 : 4543454234543212345432 : 10 : [{{2, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{2, 4}, {1, 3, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{2, 4}, {1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}] 166 : 182 : 3818 : [166, 14] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3818 : 14 : 5454345432345431234543 : 10 : [{{3, 4, 5}}, {{2, 4, 5}}, {{2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 167 : 182 : 3813 : [167, 14] : phi[[1],[2, 1, 1]] : phi[[1],[2, 1, 1]] : [3, 3, 1, 1, 1, 1] : 3813 : 14 : 5454345423454123454321 : 10 : [{{1, 4, 5}}, {{1, 3, 5}, {2, 4, 5}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 2, 5}, {1, 3, 4}, {2, 3, 5}, {1, 4, 5}, {1, 2, 4, 5}, {3, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 168 : 182 : 3787 : [168, 13] : phi[[1, 1],[1, 1, 1]]+phi[[],[2, 2, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3787 : 13 : 545434543234541234543 : 11 : [{{1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 169 : 182 : 3830 : [169, 14] : phi[[1, 1],[1, 1, 1]]+phi[[],[2, 2, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3830 : 14 : 54543454234543212345432 : 11 : [{{2, 4, 5}}, {{2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}] 170 : 182 : 3827 : [170, 14] : phi[[1, 1],[1, 1, 1]]+phi[[],[2, 2, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3827 : 14 : 54534543234543212345432 : 11 : [{{2, 3, 5}}, {{1, 3, 5}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 171 : 182 : 3823 : [171, 14] : phi[[1, 1, 1, 1],[1]]+phi[[1, 1],[1, 1, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3823 : 14 : 45434543234543212345432 : 11 : [{{2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}] 172 : 182 : 3140 : [172, 0] : phi[[1],[1, 1, 1, 1]]+phi[[],[2, 1, 1, 1]] : phi[[1],[1, 1, 1, 1]] : [2, 2, 1, 1, 1, 1, 1, 1] : 3140 : 0 : 5454345432345432 : 16 : [{{2, 3, 4, 5}}, {{1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}] 173 : 182 : 3821 : [173, 14] : phi[[1, 1, 1, 1],[1]]+phi[[1, 1],[1, 1, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3821 : 14 : 45434542345432123454321 : 11 : [{{1, 2, 4}}, {{1, 3, 4}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}] 174 : 182 : 3778 : [174, 13] : phi[[1, 1],[1, 1, 1]]+phi[[],[2, 2, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3778 : 13 : 545434523454123454321 : 11 : [{{1, 2, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 175 : 182 : 3826 : [175, 14] : phi[[1, 1],[1, 1, 1]]+phi[[],[2, 2, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3826 : 14 : 54534543234543123454321 : 11 : [{{1, 3, 5}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}] 176 : 182 : 3822 : [176, 14] : phi[[1, 1, 1, 1],[1]]+phi[[1, 1],[1, 1, 1]] : phi[[1, 1],[1, 1, 1]] : [2, 2, 2, 2, 1, 1] : 3822 : 14 : 45434543234543123454321 : 11 : [{{1, 3, 4}}, {{1, 3, 5}, {1, 2, 4}, {2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 3, 5}, {1, 2, 4}, {2, 4, 5}, {2, 3, 4}, {1, 2, 3, 4}}, {{1, 3, 4}, {2, 3, 5}, {1, 2, 4, 5}, {1, 2, 3, 5}, {1, 3, 4, 5}}] 177 : 182 : 3517 : [177, 1] : phi[[1],[1, 1, 1, 1]]+phi[[],[2, 1, 1, 1]] : phi[[1],[1, 1, 1, 1]] : [2, 2, 1, 1, 1, 1, 1, 1] : 3517 : 1 : 545434543123454321 : 16 : [{{1, 3, 4, 5}}, {{1, 2, 4, 5}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}] 178 : 182 : 3715 : [178, 2] : phi[[1],[1, 1, 1, 1]]+phi[[],[2, 1, 1, 1]] : phi[[1],[1, 1, 1, 1]] : [2, 2, 1, 1, 1, 1, 1, 1] : 3715 : 2 : 54542345432123454321 : 16 : [{{1, 2, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}] 179 : 182 : 3800 : [179, 4] : phi[[1],[1, 1, 1, 1]]+phi[[],[2, 1, 1, 1]] : phi[[1],[1, 1, 1, 1]] : [2, 2, 1, 1, 1, 1, 1, 1] : 3800 : 4 : 5345432345432123454321 : 16 : [{{1, 2, 3, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}] 180 : 182 : 3834 : [180, 5] : phi[[1, 1, 1, 1, 1],[]]+phi[[1],[1, 1, 1, 1]] : phi[[1],[1, 1, 1, 1]] : [2, 2, 1, 1, 1, 1, 1, 1] : 3834 : 5 : 454345432345432123454321 : 16 : [{{1, 2, 3, 4}}, {{1, 2, 3, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}, {{1, 2, 3, 5}, {1, 3, 4, 5}}, {{1, 2, 4, 5}, {1, 2, 3, 4}, {2, 3, 4, 5}}] 181 : 182 : 3839 : [181, 0] : phi[[],[1, 1, 1, 1, 1]] : phi[[],[1, 1, 1, 1, 1]] : [1, 1, 1, 1, 1, 1, 1, 1, 1, 1] : 3839 : 0 : 5454345432345432123454321 : 25 : [{{1, 2, 3, 4, 5}}, {}, {}, {}, {}, {}, {}]