#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### LIBRARY OF TRIANGULATIONS ### ### by Bruno Benedetti and Frank H. Lutz ### ### http://page.math.tu-berlin.de/~lutz/stellar/library_of_triangulations.html ### ### ### ### ### ### name of example: ### ### ### ### non_4_2_colorable ### ### ### ### ### ### description: ### ### ### ### (5,2)- but non-(4,2)-colorable triangulation of the 3-dimensional sphere ### ### ### ### ### ### properties: ### ### ### ### f=(167,1579,2824,1412), ### ### H_*=(Z,0,0,Z), ### ### perfect discrete Morse vector: (1,0,0,1) ### ### ### ### ### ### references: ### ### ### ### F. H. Lutz and J. Møller. ### ### 2-chromatic numbers of triangulated manifolds. ### ### In preparation. ### ### ### ### B. Benedetti and F. H. Lutz. ### ### Random discrete Morse theory and a new library of triangulations. ### ### Exp. Math. 23, 66-94 (2014). ### ### ### ### ### #################################################################################### #################################################################################### #################################################################################### facets:=[ [ 1, 2, 5, 6 ], [ 1, 2, 5, 12 ], [ 1, 2, 6, 12 ], [ 1, 3, 8, 11 ], [ 1, 3, 8, 166 ], [ 1, 3, 11, 156 ], [ 1, 3, 151, 152 ], [ 1, 3, 151, 156 ], [ 1, 3, 152, 166 ], [ 1, 4, 5, 6 ], [ 1, 4, 5, 7 ], [ 1, 4, 6, 12 ], [ 1, 4, 7, 10 ], [ 1, 4, 10, 13 ], [ 1, 4, 12, 13 ], [ 1, 5, 7, 13 ], [ 1, 5, 12, 13 ], [ 1, 7, 10, 15 ], [ 1, 7, 13, 14 ], [ 1, 7, 14, 15 ], [ 1, 8, 9, 14 ], [ 1, 8, 9, 156 ], [ 1, 8, 10, 14 ], [ 1, 8, 10, 15 ], [ 1, 8, 11, 15 ], [ 1, 8, 151, 152 ], [ 1, 8, 151, 156 ], [ 1, 8, 152, 166 ], [ 1, 9, 11, 15 ], [ 1, 9, 11, 156 ], [ 1, 9, 14, 15 ], [ 1, 10, 13, 14 ], [ 2, 3, 4, 13 ], [ 2, 3, 4, 15 ], [ 2, 3, 13, 15 ], [ 2, 4, 7, 8 ], [ 2, 4, 7, 10 ], [ 2, 4, 8, 156 ], [ 2, 4, 10, 13 ], [ 2, 4, 15, 156 ], [ 2, 5, 6, 14 ], [ 2, 5, 12, 14 ], [ 2, 6, 7, 8 ], [ 2, 6, 7, 9 ], [ 2, 6, 8, 12 ], [ 2, 6, 9, 14 ], [ 2, 7, 9, 10 ], [ 2, 8, 9, 14 ], [ 2, 8, 9, 156 ], [ 2, 8, 12, 14 ], [ 2, 9, 10, 156 ], [ 2, 10, 13, 166 ], [ 2, 10, 151, 152 ], [ 2, 10, 151, 156 ], [ 2, 10, 152, 166 ], [ 2, 13, 15, 156 ], [ 2, 13, 151, 152 ], [ 2, 13, 151, 156 ], [ 2, 13, 152, 166 ], [ 3, 4, 12, 13 ], [ 3, 4, 12, 15 ], [ 3, 5, 6, 14 ], [ 3, 5, 6, 156 ], [ 3, 5, 8, 11 ], [ 3, 5, 8, 166 ], [ 3, 5, 11, 14 ], [ 3, 5, 151, 152 ], [ 3, 5, 151, 156 ], [ 3, 5, 152, 166 ], [ 3, 6, 7, 9 ], [ 3, 6, 7, 156 ], [ 3, 6, 9, 14 ], [ 3, 7, 9, 12 ], [ 3, 7, 12, 15 ], [ 3, 7, 14, 15 ], [ 3, 7, 14, 156 ], [ 3, 9, 12, 13 ], [ 3, 9, 13, 15 ], [ 3, 9, 14, 15 ], [ 3, 11, 14, 156 ], [ 4, 5, 6, 166 ], [ 4, 5, 7, 8 ], [ 4, 5, 8, 166 ], [ 4, 6, 12, 15 ], [ 4, 6, 15, 166 ], [ 4, 8, 151, 152 ], [ 4, 8, 151, 156 ], [ 4, 8, 152, 166 ], [ 4, 15, 151, 152 ], [ 4, 15, 151, 156 ], [ 4, 15, 152, 166 ], [ 5, 6, 151, 152 ], [ 5, 6, 151, 156 ], [ 5, 6, 152, 166 ], [ 5, 7, 8, 13 ], [ 5, 8, 11, 13 ], [ 5, 11, 12, 13 ], [ 5, 11, 12, 14 ], [ 6, 7, 8, 13 ], [ 6, 7, 13, 166 ], [ 6, 7, 151, 152 ], [ 6, 7, 151, 156 ], [ 6, 7, 152, 166 ], [ 6, 8, 12, 15 ], [ 6, 8, 13, 15 ], [ 6, 13, 15, 166 ], [ 7, 9, 10, 12 ], [ 7, 10, 12, 15 ], [ 7, 13, 14, 166 ], [ 7, 14, 156, 166 ], [ 7, 151, 152, 153 ], [ 7, 151, 153, 166 ], [ 7, 151, 156, 166 ], [ 7, 152, 153, 166 ], [ 8, 10, 12, 14 ], [ 8, 10, 12, 15 ], [ 8, 11, 13, 15 ], [ 9, 10, 12, 166 ], [ 9, 10, 151, 152 ], [ 9, 10, 151, 156 ], [ 9, 10, 152, 166 ], [ 9, 11, 12, 13 ], [ 9, 11, 12, 166 ], [ 9, 11, 13, 15 ], [ 9, 11, 151, 152 ], [ 9, 11, 151, 156 ], [ 9, 11, 152, 166 ], [ 10, 12, 14, 166 ], [ 10, 13, 14, 166 ], [ 11, 12, 14, 156 ], [ 11, 12, 151, 152 ], [ 11, 12, 151, 156 ], [ 11, 12, 152, 166 ], [ 12, 14, 151, 152 ], [ 12, 14, 151, 156 ], [ 12, 14, 152, 166 ], [ 13, 15, 151, 152 ], [ 13, 15, 151, 156 ], [ 13, 15, 152, 166 ], [ 14, 151, 152, 166 ], [ 14, 151, 156, 166 ], [ 16, 17, 20, 21 ], [ 16, 17, 20, 27 ], [ 16, 17, 21, 27 ], [ 16, 18, 23, 26 ], [ 16, 18, 23, 167 ], [ 16, 18, 26, 157 ], [ 16, 18, 151, 153 ], [ 16, 18, 151, 157 ], [ 16, 18, 153, 167 ], [ 16, 19, 20, 21 ], [ 16, 19, 20, 22 ], [ 16, 19, 21, 27 ], [ 16, 19, 22, 25 ], [ 16, 19, 25, 28 ], [ 16, 19, 27, 28 ], [ 16, 20, 22, 28 ], [ 16, 20, 27, 28 ], [ 16, 22, 25, 30 ], [ 16, 22, 28, 29 ], [ 16, 22, 29, 30 ], [ 16, 23, 24, 29 ], [ 16, 23, 24, 157 ], [ 16, 23, 25, 29 ], [ 16, 23, 25, 30 ], [ 16, 23, 26, 30 ], [ 16, 23, 151, 153 ], [ 16, 23, 151, 157 ], [ 16, 23, 153, 167 ], [ 16, 24, 26, 30 ], [ 16, 24, 26, 157 ], [ 16, 24, 29, 30 ], [ 16, 25, 28, 29 ], [ 17, 18, 19, 28 ], [ 17, 18, 19, 30 ], [ 17, 18, 28, 30 ], [ 17, 19, 22, 23 ], [ 17, 19, 22, 25 ], [ 17, 19, 23, 157 ], [ 17, 19, 25, 28 ], [ 17, 19, 30, 157 ], [ 17, 20, 21, 29 ], [ 17, 20, 27, 29 ], [ 17, 21, 22, 23 ], [ 17, 21, 22, 24 ], [ 17, 21, 23, 27 ], [ 17, 21, 24, 29 ], [ 17, 22, 24, 25 ], [ 17, 23, 24, 29 ], [ 17, 23, 24, 157 ], [ 17, 23, 27, 29 ], [ 17, 24, 25, 157 ], [ 17, 25, 28, 167 ], [ 17, 25, 151, 153 ], [ 17, 25, 151, 157 ], [ 17, 25, 153, 167 ], [ 17, 28, 30, 157 ], [ 17, 28, 151, 153 ], [ 17, 28, 151, 157 ], [ 17, 28, 153, 167 ], [ 18, 19, 27, 28 ], [ 18, 19, 27, 30 ], [ 18, 20, 21, 29 ], [ 18, 20, 21, 157 ], [ 18, 20, 23, 26 ], [ 18, 20, 23, 167 ], [ 18, 20, 26, 29 ], [ 18, 20, 151, 153 ], [ 18, 20, 151, 157 ], [ 18, 20, 153, 167 ], [ 18, 21, 22, 24 ], [ 18, 21, 22, 157 ], [ 18, 21, 24, 29 ], [ 18, 22, 24, 27 ], [ 18, 22, 27, 30 ], [ 18, 22, 29, 30 ], [ 18, 22, 29, 157 ], [ 18, 24, 27, 28 ], [ 18, 24, 28, 30 ], [ 18, 24, 29, 30 ], [ 18, 26, 29, 157 ], [ 19, 20, 21, 167 ], [ 19, 20, 22, 23 ], [ 19, 20, 23, 167 ], [ 19, 21, 27, 30 ], [ 19, 21, 30, 167 ], [ 19, 23, 151, 153 ], [ 19, 23, 151, 157 ], [ 19, 23, 153, 167 ], [ 19, 30, 151, 153 ], [ 19, 30, 151, 157 ], [ 19, 30, 153, 167 ], [ 20, 21, 151, 153 ], [ 20, 21, 151, 157 ], [ 20, 21, 153, 167 ], [ 20, 22, 23, 28 ], [ 20, 23, 26, 28 ], [ 20, 26, 27, 28 ], [ 20, 26, 27, 29 ], [ 21, 22, 23, 28 ], [ 21, 22, 28, 167 ], [ 21, 22, 151, 153 ], [ 21, 22, 151, 157 ], [ 21, 22, 153, 167 ], [ 21, 23, 27, 30 ], [ 21, 23, 28, 30 ], [ 21, 28, 30, 167 ], [ 22, 24, 25, 27 ], [ 22, 25, 27, 30 ], [ 22, 28, 29, 167 ], [ 22, 29, 157, 167 ], [ 22, 127, 153, 155 ], [ 22, 127, 153, 167 ], [ 22, 127, 155, 167 ], [ 22, 151, 153, 155 ], [ 22, 151, 155, 167 ], [ 22, 151, 157, 167 ], [ 23, 25, 27, 29 ], [ 23, 25, 27, 30 ], [ 23, 26, 28, 30 ], [ 24, 25, 27, 167 ], [ 24, 25, 151, 153 ], [ 24, 25, 151, 157 ], [ 24, 25, 153, 167 ], [ 24, 26, 27, 28 ], [ 24, 26, 27, 167 ], [ 24, 26, 28, 30 ], [ 24, 26, 151, 153 ], [ 24, 26, 151, 157 ], [ 24, 26, 153, 167 ], [ 25, 27, 29, 167 ], [ 25, 28, 29, 167 ], [ 26, 27, 29, 157 ], [ 26, 27, 151, 153 ], [ 26, 27, 151, 157 ], [ 26, 27, 153, 167 ], [ 27, 29, 151, 153 ], [ 27, 29, 151, 157 ], [ 27, 29, 153, 167 ], [ 28, 30, 151, 153 ], [ 28, 30, 151, 157 ], [ 28, 30, 153, 167 ], [ 29, 151, 153, 167 ], [ 29, 151, 157, 167 ], [ 31, 32, 35, 36 ], [ 31, 32, 35, 42 ], [ 31, 32, 36, 42 ], [ 31, 33, 38, 41 ], [ 31, 33, 38, 167 ], [ 31, 33, 41, 158 ], [ 31, 33, 151, 154 ], [ 31, 33, 151, 158 ], [ 31, 33, 154, 167 ], [ 31, 34, 35, 36 ], [ 31, 34, 35, 37 ], [ 31, 34, 36, 42 ], [ 31, 34, 37, 40 ], [ 31, 34, 40, 43 ], [ 31, 34, 42, 43 ], [ 31, 35, 37, 43 ], [ 31, 35, 42, 43 ], [ 31, 37, 40, 45 ], [ 31, 37, 43, 44 ], [ 31, 37, 44, 45 ], [ 31, 38, 39, 44 ], [ 31, 38, 39, 158 ], [ 31, 38, 40, 44 ], [ 31, 38, 40, 45 ], [ 31, 38, 41, 45 ], [ 31, 38, 151, 154 ], [ 31, 38, 151, 158 ], [ 31, 38, 154, 167 ], [ 31, 39, 41, 45 ], [ 31, 39, 41, 158 ], [ 31, 39, 44, 45 ], [ 31, 40, 43, 44 ], [ 32, 33, 34, 43 ], [ 32, 33, 34, 45 ], [ 32, 33, 43, 45 ], [ 32, 34, 37, 38 ], [ 32, 34, 37, 40 ], [ 32, 34, 38, 158 ], [ 32, 34, 40, 43 ], [ 32, 34, 45, 158 ], [ 32, 35, 36, 44 ], [ 32, 35, 42, 44 ], [ 32, 36, 37, 38 ], [ 32, 36, 37, 39 ], [ 32, 36, 38, 42 ], [ 32, 36, 39, 44 ], [ 32, 37, 39, 40 ], [ 32, 38, 39, 44 ], [ 32, 38, 39, 158 ], [ 32, 38, 42, 44 ], [ 32, 39, 40, 158 ], [ 32, 40, 43, 167 ], [ 32, 40, 151, 154 ], [ 32, 40, 151, 158 ], [ 32, 40, 154, 167 ], [ 32, 43, 45, 158 ], [ 32, 43, 151, 154 ], [ 32, 43, 151, 158 ], [ 32, 43, 154, 167 ], [ 33, 34, 42, 43 ], [ 33, 34, 42, 45 ], [ 33, 35, 36, 44 ], [ 33, 35, 36, 158 ], [ 33, 35, 38, 41 ], [ 33, 35, 38, 167 ], [ 33, 35, 41, 44 ], [ 33, 35, 151, 154 ], [ 33, 35, 151, 158 ], [ 33, 35, 154, 167 ], [ 33, 36, 37, 39 ], [ 33, 36, 37, 158 ], [ 33, 36, 39, 44 ], [ 33, 37, 39, 42 ], [ 33, 37, 42, 45 ], [ 33, 37, 44, 45 ], [ 33, 37, 44, 158 ], [ 33, 39, 42, 43 ], [ 33, 39, 43, 45 ], [ 33, 39, 44, 45 ], [ 33, 41, 44, 158 ], [ 34, 35, 36, 167 ], [ 34, 35, 37, 38 ], [ 34, 35, 38, 167 ], [ 34, 36, 42, 45 ], [ 34, 36, 45, 167 ], [ 34, 38, 151, 154 ], [ 34, 38, 151, 158 ], [ 34, 38, 154, 167 ], [ 34, 45, 151, 154 ], [ 34, 45, 151, 158 ], [ 34, 45, 154, 167 ], [ 35, 36, 151, 154 ], [ 35, 36, 151, 158 ], [ 35, 36, 154, 167 ], [ 35, 37, 38, 43 ], [ 35, 38, 41, 43 ], [ 35, 41, 42, 43 ], [ 35, 41, 42, 44 ], [ 36, 37, 38, 43 ], [ 36, 37, 43, 167 ], [ 36, 37, 151, 154 ], [ 36, 37, 151, 158 ], [ 36, 37, 154, 167 ], [ 36, 38, 42, 45 ], [ 36, 38, 43, 45 ], [ 36, 43, 45, 167 ], [ 37, 39, 40, 42 ], [ 37, 40, 42, 45 ], [ 37, 43, 44, 167 ], [ 37, 44, 158, 167 ], [ 37, 112, 153, 154 ], [ 37, 112, 153, 167 ], [ 37, 112, 154, 167 ], [ 37, 151, 153, 154 ], [ 37, 151, 153, 167 ], [ 37, 151, 158, 167 ], [ 38, 40, 42, 44 ], [ 38, 40, 42, 45 ], [ 38, 41, 43, 45 ], [ 39, 40, 42, 167 ], [ 39, 40, 151, 154 ], [ 39, 40, 151, 158 ], [ 39, 40, 154, 167 ], [ 39, 41, 42, 43 ], [ 39, 41, 42, 167 ], [ 39, 41, 43, 45 ], [ 39, 41, 151, 154 ], [ 39, 41, 151, 158 ], [ 39, 41, 154, 167 ], [ 40, 42, 44, 167 ], [ 40, 43, 44, 167 ], [ 41, 42, 44, 158 ], [ 41, 42, 151, 154 ], [ 41, 42, 151, 158 ], [ 41, 42, 154, 167 ], [ 42, 44, 151, 154 ], [ 42, 44, 151, 158 ], [ 42, 44, 154, 167 ], [ 43, 45, 151, 154 ], [ 43, 45, 151, 158 ], [ 43, 45, 154, 167 ], [ 44, 151, 154, 167 ], [ 44, 151, 158, 167 ], [ 46, 47, 50, 51 ], [ 46, 47, 50, 57 ], [ 46, 47, 51, 57 ], [ 46, 48, 53, 56 ], [ 46, 48, 53, 167 ], [ 46, 48, 56, 159 ], [ 46, 48, 151, 155 ], [ 46, 48, 151, 159 ], [ 46, 48, 155, 167 ], [ 46, 49, 50, 51 ], [ 46, 49, 50, 52 ], [ 46, 49, 51, 57 ], [ 46, 49, 52, 55 ], [ 46, 49, 55, 58 ], [ 46, 49, 57, 58 ], [ 46, 50, 52, 58 ], [ 46, 50, 57, 58 ], [ 46, 52, 55, 60 ], [ 46, 52, 58, 59 ], [ 46, 52, 59, 60 ], [ 46, 53, 54, 59 ], [ 46, 53, 54, 159 ], [ 46, 53, 55, 59 ], [ 46, 53, 55, 60 ], [ 46, 53, 56, 60 ], [ 46, 53, 151, 155 ], [ 46, 53, 151, 159 ], [ 46, 53, 155, 167 ], [ 46, 54, 56, 60 ], [ 46, 54, 56, 159 ], [ 46, 54, 59, 60 ], [ 46, 55, 58, 59 ], [ 47, 48, 49, 58 ], [ 47, 48, 49, 60 ], [ 47, 48, 58, 60 ], [ 47, 49, 52, 53 ], [ 47, 49, 52, 55 ], [ 47, 49, 53, 159 ], [ 47, 49, 55, 58 ], [ 47, 49, 60, 159 ], [ 47, 50, 51, 59 ], [ 47, 50, 57, 59 ], [ 47, 51, 52, 53 ], [ 47, 51, 52, 54 ], [ 47, 51, 53, 57 ], [ 47, 51, 54, 59 ], [ 47, 52, 54, 55 ], [ 47, 53, 54, 59 ], [ 47, 53, 54, 159 ], [ 47, 53, 57, 59 ], [ 47, 54, 55, 159 ], [ 47, 55, 58, 167 ], [ 47, 55, 151, 155 ], [ 47, 55, 151, 159 ], [ 47, 55, 155, 167 ], [ 47, 58, 60, 159 ], [ 47, 58, 151, 155 ], [ 47, 58, 151, 159 ], [ 47, 58, 155, 167 ], [ 48, 49, 57, 58 ], [ 48, 49, 57, 60 ], [ 48, 50, 51, 59 ], [ 48, 50, 51, 159 ], [ 48, 50, 53, 56 ], [ 48, 50, 53, 167 ], [ 48, 50, 56, 59 ], [ 48, 50, 151, 155 ], [ 48, 50, 151, 159 ], [ 48, 50, 155, 167 ], [ 48, 51, 52, 54 ], [ 48, 51, 52, 159 ], [ 48, 51, 54, 59 ], [ 48, 52, 54, 57 ], [ 48, 52, 57, 60 ], [ 48, 52, 59, 60 ], [ 48, 52, 59, 159 ], [ 48, 54, 57, 58 ], [ 48, 54, 58, 60 ], [ 48, 54, 59, 60 ], [ 48, 56, 59, 159 ], [ 49, 50, 51, 167 ], [ 49, 50, 52, 53 ], [ 49, 50, 53, 167 ], [ 49, 51, 57, 60 ], [ 49, 51, 60, 167 ], [ 49, 53, 151, 155 ], [ 49, 53, 151, 159 ], [ 49, 53, 155, 167 ], [ 49, 60, 151, 155 ], [ 49, 60, 151, 159 ], [ 49, 60, 155, 167 ], [ 50, 51, 151, 155 ], [ 50, 51, 151, 159 ], [ 50, 51, 155, 167 ], [ 50, 52, 53, 58 ], [ 50, 53, 56, 58 ], [ 50, 56, 57, 58 ], [ 50, 56, 57, 59 ], [ 51, 52, 53, 58 ], [ 51, 52, 58, 167 ], [ 51, 52, 151, 155 ], [ 51, 52, 151, 159 ], [ 51, 52, 155, 167 ], [ 51, 53, 57, 60 ], [ 51, 53, 58, 60 ], [ 51, 58, 60, 167 ], [ 52, 54, 55, 57 ], [ 52, 55, 57, 60 ], [ 52, 58, 59, 167 ], [ 52, 59, 159, 167 ], [ 52, 142, 154, 155 ], [ 52, 142, 154, 167 ], [ 52, 142, 155, 167 ], [ 52, 151, 154, 155 ], [ 52, 151, 154, 167 ], [ 52, 151, 159, 167 ], [ 53, 55, 57, 59 ], [ 53, 55, 57, 60 ], [ 53, 56, 58, 60 ], [ 54, 55, 57, 167 ], [ 54, 55, 151, 155 ], [ 54, 55, 151, 159 ], [ 54, 55, 155, 167 ], [ 54, 56, 57, 58 ], [ 54, 56, 57, 167 ], [ 54, 56, 58, 60 ], [ 54, 56, 151, 155 ], [ 54, 56, 151, 159 ], [ 54, 56, 155, 167 ], [ 55, 57, 59, 167 ], [ 55, 58, 59, 167 ], [ 56, 57, 59, 159 ], [ 56, 57, 151, 155 ], [ 56, 57, 151, 159 ], [ 56, 57, 155, 167 ], [ 57, 59, 151, 155 ], [ 57, 59, 151, 159 ], [ 57, 59, 155, 167 ], [ 58, 60, 151, 155 ], [ 58, 60, 151, 159 ], [ 58, 60, 155, 167 ], [ 59, 151, 155, 167 ], [ 59, 151, 159, 167 ], [ 61, 62, 65, 66 ], [ 61, 62, 65, 72 ], [ 61, 62, 66, 72 ], [ 61, 63, 68, 71 ], [ 61, 63, 68, 167 ], [ 61, 63, 71, 160 ], [ 61, 63, 152, 153 ], [ 61, 63, 152, 160 ], [ 61, 63, 153, 167 ], [ 61, 64, 65, 66 ], [ 61, 64, 65, 67 ], [ 61, 64, 66, 72 ], [ 61, 64, 67, 70 ], [ 61, 64, 70, 73 ], [ 61, 64, 72, 73 ], [ 61, 65, 67, 73 ], [ 61, 65, 72, 73 ], [ 61, 67, 70, 75 ], [ 61, 67, 73, 74 ], [ 61, 67, 74, 75 ], [ 61, 68, 69, 74 ], [ 61, 68, 69, 160 ], [ 61, 68, 70, 74 ], [ 61, 68, 70, 75 ], [ 61, 68, 71, 75 ], [ 61, 68, 152, 153 ], [ 61, 68, 152, 160 ], [ 61, 68, 153, 167 ], [ 61, 69, 71, 75 ], [ 61, 69, 71, 160 ], [ 61, 69, 74, 75 ], [ 61, 70, 73, 74 ], [ 62, 63, 64, 73 ], [ 62, 63, 64, 75 ], [ 62, 63, 73, 75 ], [ 62, 64, 67, 68 ], [ 62, 64, 67, 70 ], [ 62, 64, 68, 160 ], [ 62, 64, 70, 73 ], [ 62, 64, 75, 160 ], [ 62, 65, 66, 74 ], [ 62, 65, 72, 74 ], [ 62, 66, 67, 68 ], [ 62, 66, 67, 69 ], [ 62, 66, 68, 72 ], [ 62, 66, 69, 74 ], [ 62, 67, 69, 70 ], [ 62, 68, 69, 74 ], [ 62, 68, 69, 160 ], [ 62, 68, 72, 74 ], [ 62, 69, 70, 160 ], [ 62, 70, 73, 167 ], [ 62, 70, 152, 153 ], [ 62, 70, 152, 160 ], [ 62, 70, 153, 167 ], [ 62, 73, 75, 160 ], [ 62, 73, 152, 153 ], [ 62, 73, 152, 160 ], [ 62, 73, 153, 167 ], [ 63, 64, 72, 73 ], [ 63, 64, 72, 75 ], [ 63, 65, 66, 74 ], [ 63, 65, 66, 160 ], [ 63, 65, 68, 71 ], [ 63, 65, 68, 167 ], [ 63, 65, 71, 74 ], [ 63, 65, 152, 153 ], [ 63, 65, 152, 160 ], [ 63, 65, 153, 167 ], [ 63, 66, 67, 69 ], [ 63, 66, 67, 160 ], [ 63, 66, 69, 74 ], [ 63, 67, 69, 72 ], [ 63, 67, 72, 75 ], [ 63, 67, 74, 75 ], [ 63, 67, 74, 160 ], [ 63, 69, 72, 73 ], [ 63, 69, 73, 75 ], [ 63, 69, 74, 75 ], [ 63, 71, 74, 160 ], [ 64, 65, 66, 167 ], [ 64, 65, 67, 68 ], [ 64, 65, 68, 167 ], [ 64, 66, 72, 75 ], [ 64, 66, 75, 167 ], [ 64, 68, 152, 153 ], [ 64, 68, 152, 160 ], [ 64, 68, 153, 167 ], [ 64, 75, 152, 153 ], [ 64, 75, 152, 160 ], [ 64, 75, 153, 167 ], [ 65, 66, 152, 153 ], [ 65, 66, 152, 160 ], [ 65, 66, 153, 167 ], [ 65, 67, 68, 73 ], [ 65, 68, 71, 73 ], [ 65, 71, 72, 73 ], [ 65, 71, 72, 74 ], [ 66, 67, 68, 73 ], [ 66, 67, 73, 167 ], [ 66, 67, 152, 153 ], [ 66, 67, 152, 160 ], [ 66, 67, 153, 167 ], [ 66, 68, 72, 75 ], [ 66, 68, 73, 75 ], [ 66, 73, 75, 167 ], [ 67, 69, 70, 72 ], [ 67, 70, 72, 75 ], [ 67, 73, 74, 167 ], [ 67, 74, 160, 167 ], [ 67, 152, 153, 155 ], [ 67, 152, 155, 167 ], [ 67, 152, 160, 167 ], [ 67, 153, 155, 167 ], [ 68, 70, 72, 74 ], [ 68, 70, 72, 75 ], [ 68, 71, 73, 75 ], [ 69, 70, 72, 167 ], [ 69, 70, 152, 153 ], [ 69, 70, 152, 160 ], [ 69, 70, 153, 167 ], [ 69, 71, 72, 73 ], [ 69, 71, 72, 167 ], [ 69, 71, 73, 75 ], [ 69, 71, 152, 153 ], [ 69, 71, 152, 160 ], [ 69, 71, 153, 167 ], [ 70, 72, 74, 167 ], [ 70, 73, 74, 167 ], [ 71, 72, 74, 160 ], [ 71, 72, 152, 153 ], [ 71, 72, 152, 160 ], [ 71, 72, 153, 167 ], [ 72, 74, 152, 153 ], [ 72, 74, 152, 160 ], [ 72, 74, 153, 167 ], [ 73, 75, 152, 153 ], [ 73, 75, 152, 160 ], [ 73, 75, 153, 167 ], [ 74, 152, 153, 167 ], [ 74, 152, 160, 167 ], [ 76, 77, 80, 81 ], [ 76, 77, 80, 87 ], [ 76, 77, 81, 87 ], [ 76, 78, 83, 86 ], [ 76, 78, 83, 167 ], [ 76, 78, 86, 161 ], [ 76, 78, 152, 154 ], [ 76, 78, 152, 161 ], [ 76, 78, 154, 167 ], [ 76, 79, 80, 81 ], [ 76, 79, 80, 82 ], [ 76, 79, 81, 87 ], [ 76, 79, 82, 85 ], [ 76, 79, 85, 88 ], [ 76, 79, 87, 88 ], [ 76, 80, 82, 88 ], [ 76, 80, 87, 88 ], [ 76, 82, 85, 90 ], [ 76, 82, 88, 89 ], [ 76, 82, 89, 90 ], [ 76, 83, 84, 89 ], [ 76, 83, 84, 161 ], [ 76, 83, 85, 89 ], [ 76, 83, 85, 90 ], [ 76, 83, 86, 90 ], [ 76, 83, 152, 154 ], [ 76, 83, 152, 161 ], [ 76, 83, 154, 167 ], [ 76, 84, 86, 90 ], [ 76, 84, 86, 161 ], [ 76, 84, 89, 90 ], [ 76, 85, 88, 89 ], [ 77, 78, 79, 88 ], [ 77, 78, 79, 90 ], [ 77, 78, 88, 90 ], [ 77, 79, 82, 83 ], [ 77, 79, 82, 85 ], [ 77, 79, 83, 161 ], [ 77, 79, 85, 88 ], [ 77, 79, 90, 161 ], [ 77, 80, 81, 89 ], [ 77, 80, 87, 89 ], [ 77, 81, 82, 83 ], [ 77, 81, 82, 84 ], [ 77, 81, 83, 87 ], [ 77, 81, 84, 89 ], [ 77, 82, 84, 85 ], [ 77, 83, 84, 89 ], [ 77, 83, 84, 161 ], [ 77, 83, 87, 89 ], [ 77, 84, 85, 161 ], [ 77, 85, 88, 167 ], [ 77, 85, 152, 154 ], [ 77, 85, 152, 161 ], [ 77, 85, 154, 167 ], [ 77, 88, 90, 161 ], [ 77, 88, 152, 154 ], [ 77, 88, 152, 161 ], [ 77, 88, 154, 167 ], [ 78, 79, 87, 88 ], [ 78, 79, 87, 90 ], [ 78, 80, 81, 89 ], [ 78, 80, 81, 161 ], [ 78, 80, 83, 86 ], [ 78, 80, 83, 167 ], [ 78, 80, 86, 89 ], [ 78, 80, 152, 154 ], [ 78, 80, 152, 161 ], [ 78, 80, 154, 167 ], [ 78, 81, 82, 84 ], [ 78, 81, 82, 161 ], [ 78, 81, 84, 89 ], [ 78, 82, 84, 87 ], [ 78, 82, 87, 90 ], [ 78, 82, 89, 90 ], [ 78, 82, 89, 161 ], [ 78, 84, 87, 88 ], [ 78, 84, 88, 90 ], [ 78, 84, 89, 90 ], [ 78, 86, 89, 161 ], [ 79, 80, 81, 167 ], [ 79, 80, 82, 83 ], [ 79, 80, 83, 167 ], [ 79, 81, 87, 90 ], [ 79, 81, 90, 167 ], [ 79, 83, 152, 154 ], [ 79, 83, 152, 161 ], [ 79, 83, 154, 167 ], [ 79, 90, 152, 154 ], [ 79, 90, 152, 161 ], [ 79, 90, 154, 167 ], [ 80, 81, 152, 154 ], [ 80, 81, 152, 161 ], [ 80, 81, 154, 167 ], [ 80, 82, 83, 88 ], [ 80, 83, 86, 88 ], [ 80, 86, 87, 88 ], [ 80, 86, 87, 89 ], [ 81, 82, 83, 88 ], [ 81, 82, 88, 167 ], [ 81, 82, 152, 154 ], [ 81, 82, 152, 161 ], [ 81, 82, 154, 167 ], [ 81, 83, 87, 90 ], [ 81, 83, 88, 90 ], [ 81, 88, 90, 167 ], [ 82, 84, 85, 87 ], [ 82, 85, 87, 90 ], [ 82, 88, 89, 167 ], [ 82, 89, 161, 167 ], [ 82, 152, 153, 154 ], [ 82, 152, 153, 167 ], [ 82, 152, 161, 167 ], [ 82, 153, 154, 167 ], [ 83, 85, 87, 89 ], [ 83, 85, 87, 90 ], [ 83, 86, 88, 90 ], [ 84, 85, 87, 167 ], [ 84, 85, 152, 154 ], [ 84, 85, 152, 161 ], [ 84, 85, 154, 167 ], [ 84, 86, 87, 88 ], [ 84, 86, 87, 167 ], [ 84, 86, 88, 90 ], [ 84, 86, 152, 154 ], [ 84, 86, 152, 161 ], [ 84, 86, 154, 167 ], [ 85, 87, 89, 167 ], [ 85, 88, 89, 167 ], [ 86, 87, 89, 161 ], [ 86, 87, 152, 154 ], [ 86, 87, 152, 161 ], [ 86, 87, 154, 167 ], [ 87, 89, 152, 154 ], [ 87, 89, 152, 161 ], [ 87, 89, 154, 167 ], [ 88, 90, 152, 154 ], [ 88, 90, 152, 161 ], [ 88, 90, 154, 167 ], [ 89, 152, 154, 167 ], [ 89, 152, 161, 167 ], [ 91, 92, 95, 96 ], [ 91, 92, 95, 102 ], [ 91, 92, 96, 102 ], [ 91, 93, 98, 101 ], [ 91, 93, 98, 167 ], [ 91, 93, 101, 162 ], [ 91, 93, 152, 155 ], [ 91, 93, 152, 162 ], [ 91, 93, 155, 167 ], [ 91, 94, 95, 96 ], [ 91, 94, 95, 97 ], [ 91, 94, 96, 102 ], [ 91, 94, 97, 100 ], [ 91, 94, 100, 103 ], [ 91, 94, 102, 103 ], [ 91, 95, 97, 103 ], [ 91, 95, 102, 103 ], [ 91, 97, 100, 105 ], [ 91, 97, 103, 104 ], [ 91, 97, 104, 105 ], [ 91, 98, 99, 104 ], [ 91, 98, 99, 162 ], [ 91, 98, 100, 104 ], [ 91, 98, 100, 105 ], [ 91, 98, 101, 105 ], [ 91, 98, 152, 155 ], [ 91, 98, 152, 162 ], [ 91, 98, 155, 167 ], [ 91, 99, 101, 105 ], [ 91, 99, 101, 162 ], [ 91, 99, 104, 105 ], [ 91, 100, 103, 104 ], [ 92, 93, 94, 103 ], [ 92, 93, 94, 105 ], [ 92, 93, 103, 105 ], [ 92, 94, 97, 98 ], [ 92, 94, 97, 100 ], [ 92, 94, 98, 162 ], [ 92, 94, 100, 103 ], [ 92, 94, 105, 162 ], [ 92, 95, 96, 104 ], [ 92, 95, 102, 104 ], [ 92, 96, 97, 98 ], [ 92, 96, 97, 99 ], [ 92, 96, 98, 102 ], [ 92, 96, 99, 104 ], [ 92, 97, 99, 100 ], [ 92, 98, 99, 104 ], [ 92, 98, 99, 162 ], [ 92, 98, 102, 104 ], [ 92, 99, 100, 162 ], [ 92, 100, 103, 167 ], [ 92, 100, 152, 155 ], [ 92, 100, 152, 162 ], [ 92, 100, 155, 167 ], [ 92, 103, 105, 162 ], [ 92, 103, 152, 155 ], [ 92, 103, 152, 162 ], [ 92, 103, 155, 167 ], [ 93, 94, 102, 103 ], [ 93, 94, 102, 105 ], [ 93, 95, 96, 104 ], [ 93, 95, 96, 162 ], [ 93, 95, 98, 101 ], [ 93, 95, 98, 167 ], [ 93, 95, 101, 104 ], [ 93, 95, 152, 155 ], [ 93, 95, 152, 162 ], [ 93, 95, 155, 167 ], [ 93, 96, 97, 99 ], [ 93, 96, 97, 162 ], [ 93, 96, 99, 104 ], [ 93, 97, 99, 102 ], [ 93, 97, 102, 105 ], [ 93, 97, 104, 105 ], [ 93, 97, 104, 162 ], [ 93, 99, 102, 103 ], [ 93, 99, 103, 105 ], [ 93, 99, 104, 105 ], [ 93, 101, 104, 162 ], [ 94, 95, 96, 167 ], [ 94, 95, 97, 98 ], [ 94, 95, 98, 167 ], [ 94, 96, 102, 105 ], [ 94, 96, 105, 167 ], [ 94, 98, 152, 155 ], [ 94, 98, 152, 162 ], [ 94, 98, 155, 167 ], [ 94, 105, 152, 155 ], [ 94, 105, 152, 162 ], [ 94, 105, 155, 167 ], [ 95, 96, 152, 155 ], [ 95, 96, 152, 162 ], [ 95, 96, 155, 167 ], [ 95, 97, 98, 103 ], [ 95, 98, 101, 103 ], [ 95, 101, 102, 103 ], [ 95, 101, 102, 104 ], [ 96, 97, 98, 103 ], [ 96, 97, 103, 167 ], [ 96, 97, 152, 155 ], [ 96, 97, 152, 162 ], [ 96, 97, 155, 167 ], [ 96, 98, 102, 105 ], [ 96, 98, 103, 105 ], [ 96, 103, 105, 167 ], [ 97, 99, 100, 102 ], [ 97, 100, 102, 105 ], [ 97, 103, 104, 167 ], [ 97, 104, 162, 167 ], [ 97, 152, 154, 155 ], [ 97, 152, 154, 167 ], [ 97, 152, 162, 167 ], [ 97, 154, 155, 167 ], [ 98, 100, 102, 104 ], [ 98, 100, 102, 105 ], [ 98, 101, 103, 105 ], [ 99, 100, 102, 167 ], [ 99, 100, 152, 155 ], [ 99, 100, 152, 162 ], [ 99, 100, 155, 167 ], [ 99, 101, 102, 103 ], [ 99, 101, 102, 167 ], [ 99, 101, 103, 105 ], [ 99, 101, 152, 155 ], [ 99, 101, 152, 162 ], [ 99, 101, 155, 167 ], [ 100, 102, 104, 167 ], [ 100, 103, 104, 167 ], [ 101, 102, 104, 162 ], [ 101, 102, 152, 155 ], [ 101, 102, 152, 162 ], [ 101, 102, 155, 167 ], [ 102, 104, 152, 155 ], [ 102, 104, 152, 162 ], [ 102, 104, 155, 167 ], [ 103, 105, 152, 155 ], [ 103, 105, 152, 162 ], [ 103, 105, 155, 167 ], [ 104, 152, 155, 167 ], [ 104, 152, 162, 167 ], [ 106, 107, 110, 111 ], [ 106, 107, 110, 117 ], [ 106, 107, 111, 117 ], [ 106, 108, 113, 116 ], [ 106, 108, 113, 167 ], [ 106, 108, 116, 163 ], [ 106, 108, 153, 154 ], [ 106, 108, 153, 163 ], [ 106, 108, 154, 167 ], [ 106, 109, 110, 111 ], [ 106, 109, 110, 112 ], [ 106, 109, 111, 117 ], [ 106, 109, 112, 115 ], [ 106, 109, 115, 118 ], [ 106, 109, 117, 118 ], [ 106, 110, 112, 118 ], [ 106, 110, 117, 118 ], [ 106, 112, 115, 120 ], [ 106, 112, 118, 119 ], [ 106, 112, 119, 120 ], [ 106, 113, 114, 119 ], [ 106, 113, 114, 163 ], [ 106, 113, 115, 119 ], [ 106, 113, 115, 120 ], [ 106, 113, 116, 120 ], [ 106, 113, 153, 154 ], [ 106, 113, 153, 163 ], [ 106, 113, 154, 167 ], [ 106, 114, 116, 120 ], [ 106, 114, 116, 163 ], [ 106, 114, 119, 120 ], [ 106, 115, 118, 119 ], [ 107, 108, 109, 118 ], [ 107, 108, 109, 120 ], [ 107, 108, 118, 120 ], [ 107, 109, 112, 113 ], [ 107, 109, 112, 115 ], [ 107, 109, 113, 163 ], [ 107, 109, 115, 118 ], [ 107, 109, 120, 163 ], [ 107, 110, 111, 119 ], [ 107, 110, 117, 119 ], [ 107, 111, 112, 113 ], [ 107, 111, 112, 114 ], [ 107, 111, 113, 117 ], [ 107, 111, 114, 119 ], [ 107, 112, 114, 115 ], [ 107, 113, 114, 119 ], [ 107, 113, 114, 163 ], [ 107, 113, 117, 119 ], [ 107, 114, 115, 163 ], [ 107, 115, 118, 167 ], [ 107, 115, 153, 154 ], [ 107, 115, 153, 163 ], [ 107, 115, 154, 167 ], [ 107, 118, 120, 163 ], [ 107, 118, 153, 154 ], [ 107, 118, 153, 163 ], [ 107, 118, 154, 167 ], [ 108, 109, 117, 118 ], [ 108, 109, 117, 120 ], [ 108, 110, 111, 119 ], [ 108, 110, 111, 163 ], [ 108, 110, 113, 116 ], [ 108, 110, 113, 167 ], [ 108, 110, 116, 119 ], [ 108, 110, 153, 154 ], [ 108, 110, 153, 163 ], [ 108, 110, 154, 167 ], [ 108, 111, 112, 114 ], [ 108, 111, 112, 163 ], [ 108, 111, 114, 119 ], [ 108, 112, 114, 117 ], [ 108, 112, 117, 120 ], [ 108, 112, 119, 120 ], [ 108, 112, 119, 163 ], [ 108, 114, 117, 118 ], [ 108, 114, 118, 120 ], [ 108, 114, 119, 120 ], [ 108, 116, 119, 163 ], [ 109, 110, 111, 167 ], [ 109, 110, 112, 113 ], [ 109, 110, 113, 167 ], [ 109, 111, 117, 120 ], [ 109, 111, 120, 167 ], [ 109, 113, 153, 154 ], [ 109, 113, 153, 163 ], [ 109, 113, 154, 167 ], [ 109, 120, 153, 154 ], [ 109, 120, 153, 163 ], [ 109, 120, 154, 167 ], [ 110, 111, 153, 154 ], [ 110, 111, 153, 163 ], [ 110, 111, 154, 167 ], [ 110, 112, 113, 118 ], [ 110, 113, 116, 118 ], [ 110, 116, 117, 118 ], [ 110, 116, 117, 119 ], [ 111, 112, 113, 118 ], [ 111, 112, 118, 167 ], [ 111, 112, 153, 154 ], [ 111, 112, 153, 163 ], [ 111, 112, 154, 167 ], [ 111, 113, 117, 120 ], [ 111, 113, 118, 120 ], [ 111, 118, 120, 167 ], [ 112, 114, 115, 117 ], [ 112, 115, 117, 120 ], [ 112, 118, 119, 167 ], [ 112, 119, 163, 167 ], [ 112, 153, 163, 167 ], [ 113, 115, 117, 119 ], [ 113, 115, 117, 120 ], [ 113, 116, 118, 120 ], [ 114, 115, 117, 167 ], [ 114, 115, 153, 154 ], [ 114, 115, 153, 163 ], [ 114, 115, 154, 167 ], [ 114, 116, 117, 118 ], [ 114, 116, 117, 167 ], [ 114, 116, 118, 120 ], [ 114, 116, 153, 154 ], [ 114, 116, 153, 163 ], [ 114, 116, 154, 167 ], [ 115, 117, 119, 167 ], [ 115, 118, 119, 167 ], [ 116, 117, 119, 163 ], [ 116, 117, 153, 154 ], [ 116, 117, 153, 163 ], [ 116, 117, 154, 167 ], [ 117, 119, 153, 154 ], [ 117, 119, 153, 163 ], [ 117, 119, 154, 167 ], [ 118, 120, 153, 154 ], [ 118, 120, 153, 163 ], [ 118, 120, 154, 167 ], [ 119, 153, 154, 167 ], [ 119, 153, 163, 167 ], [ 121, 122, 125, 126 ], [ 121, 122, 125, 132 ], [ 121, 122, 126, 132 ], [ 121, 123, 128, 131 ], [ 121, 123, 128, 167 ], [ 121, 123, 131, 164 ], [ 121, 123, 153, 155 ], [ 121, 123, 153, 164 ], [ 121, 123, 155, 167 ], [ 121, 124, 125, 126 ], [ 121, 124, 125, 127 ], [ 121, 124, 126, 132 ], [ 121, 124, 127, 130 ], [ 121, 124, 130, 133 ], [ 121, 124, 132, 133 ], [ 121, 125, 127, 133 ], [ 121, 125, 132, 133 ], [ 121, 127, 130, 135 ], [ 121, 127, 133, 134 ], [ 121, 127, 134, 135 ], [ 121, 128, 129, 134 ], [ 121, 128, 129, 164 ], [ 121, 128, 130, 134 ], [ 121, 128, 130, 135 ], [ 121, 128, 131, 135 ], [ 121, 128, 153, 155 ], [ 121, 128, 153, 164 ], [ 121, 128, 155, 167 ], [ 121, 129, 131, 135 ], [ 121, 129, 131, 164 ], [ 121, 129, 134, 135 ], [ 121, 130, 133, 134 ], [ 122, 123, 124, 133 ], [ 122, 123, 124, 135 ], [ 122, 123, 133, 135 ], [ 122, 124, 127, 128 ], [ 122, 124, 127, 130 ], [ 122, 124, 128, 164 ], [ 122, 124, 130, 133 ], [ 122, 124, 135, 164 ], [ 122, 125, 126, 134 ], [ 122, 125, 132, 134 ], [ 122, 126, 127, 128 ], [ 122, 126, 127, 129 ], [ 122, 126, 128, 132 ], [ 122, 126, 129, 134 ], [ 122, 127, 129, 130 ], [ 122, 128, 129, 134 ], [ 122, 128, 129, 164 ], [ 122, 128, 132, 134 ], [ 122, 129, 130, 164 ], [ 122, 130, 133, 167 ], [ 122, 130, 153, 155 ], [ 122, 130, 153, 164 ], [ 122, 130, 155, 167 ], [ 122, 133, 135, 164 ], [ 122, 133, 153, 155 ], [ 122, 133, 153, 164 ], [ 122, 133, 155, 167 ], [ 123, 124, 132, 133 ], [ 123, 124, 132, 135 ], [ 123, 125, 126, 134 ], [ 123, 125, 126, 164 ], [ 123, 125, 128, 131 ], [ 123, 125, 128, 167 ], [ 123, 125, 131, 134 ], [ 123, 125, 153, 155 ], [ 123, 125, 153, 164 ], [ 123, 125, 155, 167 ], [ 123, 126, 127, 129 ], [ 123, 126, 127, 164 ], [ 123, 126, 129, 134 ], [ 123, 127, 129, 132 ], [ 123, 127, 132, 135 ], [ 123, 127, 134, 135 ], [ 123, 127, 134, 164 ], [ 123, 129, 132, 133 ], [ 123, 129, 133, 135 ], [ 123, 129, 134, 135 ], [ 123, 131, 134, 164 ], [ 124, 125, 126, 167 ], [ 124, 125, 127, 128 ], [ 124, 125, 128, 167 ], [ 124, 126, 132, 135 ], [ 124, 126, 135, 167 ], [ 124, 128, 153, 155 ], [ 124, 128, 153, 164 ], [ 124, 128, 155, 167 ], [ 124, 135, 153, 155 ], [ 124, 135, 153, 164 ], [ 124, 135, 155, 167 ], [ 125, 126, 153, 155 ], [ 125, 126, 153, 164 ], [ 125, 126, 155, 167 ], [ 125, 127, 128, 133 ], [ 125, 128, 131, 133 ], [ 125, 131, 132, 133 ], [ 125, 131, 132, 134 ], [ 126, 127, 128, 133 ], [ 126, 127, 133, 167 ], [ 126, 127, 153, 155 ], [ 126, 127, 153, 164 ], [ 126, 127, 155, 167 ], [ 126, 128, 132, 135 ], [ 126, 128, 133, 135 ], [ 126, 133, 135, 167 ], [ 127, 129, 130, 132 ], [ 127, 130, 132, 135 ], [ 127, 133, 134, 167 ], [ 127, 134, 164, 167 ], [ 127, 153, 164, 167 ], [ 128, 130, 132, 134 ], [ 128, 130, 132, 135 ], [ 128, 131, 133, 135 ], [ 129, 130, 132, 167 ], [ 129, 130, 153, 155 ], [ 129, 130, 153, 164 ], [ 129, 130, 155, 167 ], [ 129, 131, 132, 133 ], [ 129, 131, 132, 167 ], [ 129, 131, 133, 135 ], [ 129, 131, 153, 155 ], [ 129, 131, 153, 164 ], [ 129, 131, 155, 167 ], [ 130, 132, 134, 167 ], [ 130, 133, 134, 167 ], [ 131, 132, 134, 164 ], [ 131, 132, 153, 155 ], [ 131, 132, 153, 164 ], [ 131, 132, 155, 167 ], [ 132, 134, 153, 155 ], [ 132, 134, 153, 164 ], [ 132, 134, 155, 167 ], [ 133, 135, 153, 155 ], [ 133, 135, 153, 164 ], [ 133, 135, 155, 167 ], [ 134, 153, 155, 167 ], [ 134, 153, 164, 167 ], [ 136, 137, 140, 141 ], [ 136, 137, 140, 147 ], [ 136, 137, 141, 147 ], [ 136, 138, 143, 146 ], [ 136, 138, 143, 167 ], [ 136, 138, 146, 165 ], [ 136, 138, 154, 155 ], [ 136, 138, 154, 165 ], [ 136, 138, 155, 167 ], [ 136, 139, 140, 141 ], [ 136, 139, 140, 142 ], [ 136, 139, 141, 147 ], [ 136, 139, 142, 145 ], [ 136, 139, 145, 148 ], [ 136, 139, 147, 148 ], [ 136, 140, 142, 148 ], [ 136, 140, 147, 148 ], [ 136, 142, 145, 150 ], [ 136, 142, 148, 149 ], [ 136, 142, 149, 150 ], [ 136, 143, 144, 149 ], [ 136, 143, 144, 165 ], [ 136, 143, 145, 149 ], [ 136, 143, 145, 150 ], [ 136, 143, 146, 150 ], [ 136, 143, 154, 155 ], [ 136, 143, 154, 165 ], [ 136, 143, 155, 167 ], [ 136, 144, 146, 150 ], [ 136, 144, 146, 165 ], [ 136, 144, 149, 150 ], [ 136, 145, 148, 149 ], [ 137, 138, 139, 148 ], [ 137, 138, 139, 150 ], [ 137, 138, 148, 150 ], [ 137, 139, 142, 143 ], [ 137, 139, 142, 145 ], [ 137, 139, 143, 165 ], [ 137, 139, 145, 148 ], [ 137, 139, 150, 165 ], [ 137, 140, 141, 149 ], [ 137, 140, 147, 149 ], [ 137, 141, 142, 143 ], [ 137, 141, 142, 144 ], [ 137, 141, 143, 147 ], [ 137, 141, 144, 149 ], [ 137, 142, 144, 145 ], [ 137, 143, 144, 149 ], [ 137, 143, 144, 165 ], [ 137, 143, 147, 149 ], [ 137, 144, 145, 165 ], [ 137, 145, 148, 167 ], [ 137, 145, 154, 155 ], [ 137, 145, 154, 165 ], [ 137, 145, 155, 167 ], [ 137, 148, 150, 165 ], [ 137, 148, 154, 155 ], [ 137, 148, 154, 165 ], [ 137, 148, 155, 167 ], [ 138, 139, 147, 148 ], [ 138, 139, 147, 150 ], [ 138, 140, 141, 149 ], [ 138, 140, 141, 165 ], [ 138, 140, 143, 146 ], [ 138, 140, 143, 167 ], [ 138, 140, 146, 149 ], [ 138, 140, 154, 155 ], [ 138, 140, 154, 165 ], [ 138, 140, 155, 167 ], [ 138, 141, 142, 144 ], [ 138, 141, 142, 165 ], [ 138, 141, 144, 149 ], [ 138, 142, 144, 147 ], [ 138, 142, 147, 150 ], [ 138, 142, 149, 150 ], [ 138, 142, 149, 165 ], [ 138, 144, 147, 148 ], [ 138, 144, 148, 150 ], [ 138, 144, 149, 150 ], [ 138, 146, 149, 165 ], [ 139, 140, 141, 167 ], [ 139, 140, 142, 143 ], [ 139, 140, 143, 167 ], [ 139, 141, 147, 150 ], [ 139, 141, 150, 167 ], [ 139, 143, 154, 155 ], [ 139, 143, 154, 165 ], [ 139, 143, 155, 167 ], [ 139, 150, 154, 155 ], [ 139, 150, 154, 165 ], [ 139, 150, 155, 167 ], [ 140, 141, 154, 155 ], [ 140, 141, 154, 165 ], [ 140, 141, 155, 167 ], [ 140, 142, 143, 148 ], [ 140, 143, 146, 148 ], [ 140, 146, 147, 148 ], [ 140, 146, 147, 149 ], [ 141, 142, 143, 148 ], [ 141, 142, 148, 167 ], [ 141, 142, 154, 155 ], [ 141, 142, 154, 165 ], [ 141, 142, 155, 167 ], [ 141, 143, 147, 150 ], [ 141, 143, 148, 150 ], [ 141, 148, 150, 167 ], [ 142, 144, 145, 147 ], [ 142, 145, 147, 150 ], [ 142, 148, 149, 167 ], [ 142, 149, 165, 167 ], [ 142, 154, 165, 167 ], [ 143, 145, 147, 149 ], [ 143, 145, 147, 150 ], [ 143, 146, 148, 150 ], [ 144, 145, 147, 167 ], [ 144, 145, 154, 155 ], [ 144, 145, 154, 165 ], [ 144, 145, 155, 167 ], [ 144, 146, 147, 148 ], [ 144, 146, 147, 167 ], [ 144, 146, 148, 150 ], [ 144, 146, 154, 155 ], [ 144, 146, 154, 165 ], [ 144, 146, 155, 167 ], [ 145, 147, 149, 167 ], [ 145, 148, 149, 167 ], [ 146, 147, 149, 165 ], [ 146, 147, 154, 155 ], [ 146, 147, 154, 165 ], [ 146, 147, 155, 167 ], [ 147, 149, 154, 155 ], [ 147, 149, 154, 165 ], [ 147, 149, 155, 167 ], [ 148, 150, 154, 155 ], [ 148, 150, 154, 165 ], [ 148, 150, 155, 167 ], [ 149, 154, 155, 167 ], [ 149, 154, 165, 167 ], [ 151, 152, 153, 155 ], [ 151, 152, 154, 155 ], [ 151, 152, 154, 166 ], [ 151, 153, 154, 166 ], [ 152, 153, 154, 166 ] ];