#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### 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: ### ### ### ### Hom_C5_K4 ### ### ### ### ### ### description: ### ### ### ### product triangulation of the Hom complex ### ### Hom(C_5,K_4) = RP^3 ### ### ### ### ### ### properties: ### ### ### ### f=(240,1680,2880,1440), ### ### H_*=(Z,Z_2,0,Z), ### ### optimal discrete Morse vector: (1,1,1,1), perfect over Z_2 ### ### ### ### ### ### references: ### ### ### ### P. Csorba and F. H. Lutz. ### ### Graph coloring manifolds. ### ### Algebraic and Geometric Combinatorics, Euroconf. Math., ### ### Anogia, Crete, Greece, 2005 (C. A. Athanasiadis, V. V. Batyrev, ### ### D. I. Dais, M. Henk, and F. Santos, eds.). ### ### Contemporary Mathematics 423, 51-69. AMS, Providence, RI, 2006. ### ### ### ### 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, 11, 18 ], [ 1, 2, 11, 58 ], [ 1, 2, 18, 38 ], [ 1, 2, 22, 38 ], [ 1, 2, 22, 42 ], [ 1, 2, 42, 58 ], [ 1, 6, 13, 60 ], [ 1, 6, 13, 214 ], [ 1, 6, 26, 46 ], [ 1, 6, 26, 227 ], [ 1, 6, 46, 60 ], [ 1, 6, 207, 214 ], [ 1, 6, 207, 227 ], [ 1, 10, 11, 18 ], [ 1, 10, 11, 58 ], [ 1, 10, 13, 60 ], [ 1, 10, 13, 214 ], [ 1, 10, 17, 18 ], [ 1, 10, 17, 218 ], [ 1, 10, 57, 58 ], [ 1, 10, 57, 60 ], [ 1, 10, 211, 214 ], [ 1, 10, 211, 218 ], [ 1, 17, 18, 38 ], [ 1, 17, 37, 38 ], [ 1, 17, 37, 238 ], [ 1, 17, 218, 238 ], [ 1, 21, 22, 38 ], [ 1, 21, 22, 42 ], [ 1, 21, 26, 46 ], [ 1, 21, 26, 227 ], [ 1, 21, 37, 38 ], [ 1, 21, 37, 238 ], [ 1, 21, 41, 42 ], [ 1, 21, 41, 46 ], [ 1, 21, 222, 227 ], [ 1, 21, 222, 238 ], [ 1, 41, 42, 58 ], [ 1, 41, 46, 60 ], [ 1, 41, 57, 58 ], [ 1, 41, 57, 60 ], [ 1, 202, 207, 214 ], [ 1, 202, 207, 227 ], [ 1, 202, 211, 214 ], [ 1, 202, 211, 218 ], [ 1, 202, 218, 238 ], [ 1, 202, 222, 227 ], [ 1, 202, 222, 238 ], [ 2, 4, 20, 40 ], [ 2, 4, 20, 160 ], [ 2, 4, 24, 40 ], [ 2, 4, 24, 44 ], [ 2, 4, 44, 165 ], [ 2, 4, 145, 160 ], [ 2, 4, 145, 165 ], [ 2, 11, 18, 157 ], [ 2, 11, 58, 178 ], [ 2, 11, 151, 157 ], [ 2, 11, 151, 178 ], [ 2, 18, 20, 40 ], [ 2, 18, 20, 160 ], [ 2, 18, 38, 40 ], [ 2, 18, 157, 160 ], [ 2, 22, 24, 40 ], [ 2, 22, 24, 44 ], [ 2, 22, 38, 40 ], [ 2, 22, 42, 44 ], [ 2, 42, 44, 165 ], [ 2, 42, 58, 178 ], [ 2, 42, 162, 165 ], [ 2, 42, 162, 178 ], [ 2, 142, 145, 160 ], [ 2, 142, 145, 165 ], [ 2, 142, 151, 157 ], [ 2, 142, 151, 178 ], [ 2, 142, 157, 160 ], [ 2, 142, 162, 165 ], [ 2, 142, 162, 178 ], [ 3, 4, 20, 40 ], [ 3, 4, 20, 160 ], [ 3, 4, 24, 40 ], [ 3, 4, 24, 44 ], [ 3, 4, 44, 165 ], [ 3, 4, 145, 160 ], [ 3, 4, 145, 165 ], [ 3, 5, 25, 45 ], [ 3, 5, 25, 226 ], [ 3, 5, 45, 167 ], [ 3, 5, 147, 167 ], [ 3, 5, 147, 206 ], [ 3, 5, 206, 226 ], [ 3, 19, 20, 40 ], [ 3, 19, 20, 160 ], [ 3, 19, 39, 40 ], [ 3, 19, 39, 240 ], [ 3, 19, 159, 160 ], [ 3, 19, 159, 220 ], [ 3, 19, 220, 240 ], [ 3, 23, 24, 40 ], [ 3, 23, 24, 44 ], [ 3, 23, 25, 45 ], [ 3, 23, 25, 226 ], [ 3, 23, 39, 40 ], [ 3, 23, 39, 240 ], [ 3, 23, 43, 44 ], [ 3, 23, 43, 45 ], [ 3, 23, 224, 226 ], [ 3, 23, 224, 240 ], [ 3, 43, 44, 165 ], [ 3, 43, 45, 167 ], [ 3, 43, 164, 165 ], [ 3, 43, 164, 167 ], [ 3, 144, 145, 160 ], [ 3, 144, 145, 165 ], [ 3, 144, 147, 167 ], [ 3, 144, 147, 206 ], [ 3, 144, 159, 160 ], [ 3, 144, 159, 220 ], [ 3, 144, 164, 165 ], [ 3, 144, 164, 167 ], [ 3, 144, 204, 206 ], [ 3, 144, 204, 220 ], [ 3, 204, 206, 226 ], [ 3, 204, 220, 240 ], [ 3, 204, 224, 226 ], [ 3, 204, 224, 240 ], [ 5, 6, 13, 60 ], [ 5, 6, 13, 214 ], [ 5, 6, 26, 46 ], [ 5, 6, 26, 227 ], [ 5, 6, 46, 60 ], [ 5, 6, 207, 214 ], [ 5, 6, 207, 227 ], [ 5, 12, 13, 60 ], [ 5, 12, 13, 214 ], [ 5, 12, 59, 60 ], [ 5, 12, 59, 180 ], [ 5, 12, 153, 180 ], [ 5, 12, 153, 213 ], [ 5, 12, 213, 214 ], [ 5, 25, 26, 46 ], [ 5, 25, 26, 227 ], [ 5, 25, 45, 46 ], [ 5, 25, 226, 227 ], [ 5, 45, 46, 60 ], [ 5, 45, 59, 60 ], [ 5, 45, 59, 180 ], [ 5, 45, 167, 180 ], [ 5, 147, 153, 180 ], [ 5, 147, 153, 213 ], [ 5, 147, 167, 180 ], [ 5, 147, 206, 213 ], [ 5, 206, 207, 214 ], [ 5, 206, 207, 227 ], [ 5, 206, 213, 214 ], [ 5, 206, 226, 227 ], [ 7, 8, 9, 16 ], [ 7, 8, 9, 56 ], [ 7, 8, 13, 60 ], [ 7, 8, 13, 214 ], [ 7, 8, 15, 16 ], [ 7, 8, 15, 216 ], [ 7, 8, 55, 56 ], [ 7, 8, 55, 60 ], [ 7, 8, 209, 214 ], [ 7, 8, 209, 216 ], [ 7, 9, 16, 155 ], [ 7, 9, 56, 176 ], [ 7, 9, 149, 155 ], [ 7, 9, 149, 176 ], [ 7, 12, 13, 60 ], [ 7, 12, 13, 214 ], [ 7, 12, 59, 60 ], [ 7, 12, 59, 180 ], [ 7, 12, 153, 180 ], [ 7, 12, 153, 213 ], [ 7, 12, 213, 214 ], [ 7, 14, 15, 16 ], [ 7, 14, 15, 216 ], [ 7, 14, 16, 155 ], [ 7, 14, 154, 155 ], [ 7, 14, 154, 215 ], [ 7, 14, 215, 216 ], [ 7, 54, 55, 56 ], [ 7, 54, 55, 60 ], [ 7, 54, 56, 176 ], [ 7, 54, 59, 60 ], [ 7, 54, 59, 180 ], [ 7, 54, 175, 176 ], [ 7, 54, 175, 180 ], [ 7, 148, 149, 155 ], [ 7, 148, 149, 176 ], [ 7, 148, 153, 180 ], [ 7, 148, 153, 213 ], [ 7, 148, 154, 155 ], [ 7, 148, 154, 215 ], [ 7, 148, 175, 176 ], [ 7, 148, 175, 180 ], [ 7, 148, 208, 213 ], [ 7, 148, 208, 215 ], [ 7, 208, 209, 214 ], [ 7, 208, 209, 216 ], [ 7, 208, 213, 214 ], [ 7, 208, 215, 216 ], [ 8, 9, 11, 18 ], [ 8, 9, 11, 58 ], [ 8, 9, 16, 18 ], [ 8, 9, 56, 58 ], [ 8, 10, 11, 18 ], [ 8, 10, 11, 58 ], [ 8, 10, 13, 60 ], [ 8, 10, 13, 214 ], [ 8, 10, 17, 18 ], [ 8, 10, 17, 218 ], [ 8, 10, 57, 58 ], [ 8, 10, 57, 60 ], [ 8, 10, 211, 214 ], [ 8, 10, 211, 218 ], [ 8, 15, 16, 18 ], [ 8, 15, 17, 18 ], [ 8, 15, 17, 218 ], [ 8, 15, 216, 218 ], [ 8, 55, 56, 58 ], [ 8, 55, 57, 58 ], [ 8, 55, 57, 60 ], [ 8, 209, 211, 214 ], [ 8, 209, 211, 218 ], [ 8, 209, 216, 218 ], [ 9, 11, 18, 157 ], [ 9, 11, 58, 178 ], [ 9, 11, 151, 157 ], [ 9, 11, 151, 178 ], [ 9, 16, 18, 157 ], [ 9, 16, 155, 157 ], [ 9, 56, 58, 178 ], [ 9, 56, 176, 178 ], [ 9, 149, 151, 157 ], [ 9, 149, 151, 178 ], [ 9, 149, 155, 157 ], [ 9, 149, 176, 178 ], [ 14, 15, 16, 36 ], [ 14, 15, 35, 36 ], [ 14, 15, 35, 236 ], [ 14, 15, 216, 236 ], [ 14, 16, 20, 40 ], [ 14, 16, 20, 160 ], [ 14, 16, 36, 40 ], [ 14, 16, 155, 160 ], [ 14, 19, 20, 40 ], [ 14, 19, 20, 160 ], [ 14, 19, 39, 40 ], [ 14, 19, 39, 240 ], [ 14, 19, 159, 160 ], [ 14, 19, 159, 220 ], [ 14, 19, 220, 240 ], [ 14, 34, 35, 36 ], [ 14, 34, 35, 236 ], [ 14, 34, 36, 40 ], [ 14, 34, 39, 40 ], [ 14, 34, 39, 240 ], [ 14, 34, 235, 236 ], [ 14, 34, 235, 240 ], [ 14, 154, 155, 160 ], [ 14, 154, 159, 160 ], [ 14, 154, 159, 220 ], [ 14, 154, 215, 220 ], [ 14, 215, 216, 236 ], [ 14, 215, 220, 240 ], [ 14, 215, 235, 236 ], [ 14, 215, 235, 240 ], [ 15, 16, 18, 38 ], [ 15, 16, 36, 38 ], [ 15, 17, 18, 38 ], [ 15, 17, 37, 38 ], [ 15, 17, 37, 238 ], [ 15, 17, 218, 238 ], [ 15, 35, 36, 38 ], [ 15, 35, 37, 38 ], [ 15, 35, 37, 238 ], [ 15, 35, 236, 238 ], [ 15, 216, 218, 238 ], [ 15, 216, 236, 238 ], [ 16, 18, 20, 40 ], [ 16, 18, 20, 160 ], [ 16, 18, 38, 40 ], [ 16, 18, 157, 160 ], [ 16, 36, 38, 40 ], [ 16, 155, 157, 160 ], [ 21, 22, 38, 98 ], [ 21, 22, 42, 103 ], [ 21, 22, 83, 98 ], [ 21, 22, 83, 103 ], [ 21, 26, 46, 107 ], [ 21, 26, 87, 107 ], [ 21, 26, 87, 227 ], [ 21, 37, 38, 98 ], [ 21, 37, 97, 98 ], [ 21, 37, 97, 238 ], [ 21, 41, 42, 103 ], [ 21, 41, 46, 107 ], [ 21, 41, 102, 103 ], [ 21, 41, 102, 107 ], [ 21, 82, 83, 98 ], [ 21, 82, 83, 103 ], [ 21, 82, 87, 107 ], [ 21, 82, 87, 227 ], [ 21, 82, 97, 98 ], [ 21, 82, 97, 238 ], [ 21, 82, 102, 103 ], [ 21, 82, 102, 107 ], [ 21, 82, 222, 227 ], [ 21, 82, 222, 238 ], [ 22, 24, 40, 100 ], [ 22, 24, 44, 105 ], [ 22, 24, 85, 100 ], [ 22, 24, 85, 105 ], [ 22, 38, 40, 100 ], [ 22, 38, 98, 100 ], [ 22, 42, 44, 105 ], [ 22, 42, 103, 105 ], [ 22, 83, 85, 100 ], [ 22, 83, 85, 105 ], [ 22, 83, 98, 100 ], [ 22, 83, 103, 105 ], [ 23, 24, 31, 40 ], [ 23, 24, 31, 51 ], [ 23, 24, 44, 51 ], [ 23, 25, 32, 52 ], [ 23, 25, 32, 233 ], [ 23, 25, 45, 52 ], [ 23, 25, 226, 233 ], [ 23, 30, 31, 40 ], [ 23, 30, 31, 51 ], [ 23, 30, 32, 52 ], [ 23, 30, 32, 233 ], [ 23, 30, 39, 40 ], [ 23, 30, 39, 240 ], [ 23, 30, 50, 51 ], [ 23, 30, 50, 52 ], [ 23, 30, 231, 233 ], [ 23, 30, 231, 240 ], [ 23, 43, 44, 51 ], [ 23, 43, 45, 52 ], [ 23, 43, 50, 51 ], [ 23, 43, 50, 52 ], [ 23, 224, 226, 233 ], [ 23, 224, 231, 233 ], [ 23, 224, 231, 240 ], [ 24, 31, 40, 100 ], [ 24, 31, 51, 111 ], [ 24, 31, 91, 100 ], [ 24, 31, 91, 111 ], [ 24, 44, 51, 111 ], [ 24, 44, 105, 111 ], [ 24, 85, 91, 100 ], [ 24, 85, 91, 111 ], [ 24, 85, 105, 111 ], [ 25, 26, 33, 53 ], [ 25, 26, 33, 234 ], [ 25, 26, 46, 53 ], [ 25, 26, 227, 234 ], [ 25, 32, 33, 53 ], [ 25, 32, 33, 234 ], [ 25, 32, 52, 53 ], [ 25, 32, 233, 234 ], [ 25, 45, 46, 53 ], [ 25, 45, 52, 53 ], [ 25, 226, 227, 234 ], [ 25, 226, 233, 234 ], [ 26, 33, 53, 113 ], [ 26, 33, 93, 113 ], [ 26, 33, 93, 234 ], [ 26, 46, 53, 113 ], [ 26, 46, 107, 113 ], [ 26, 87, 93, 113 ], [ 26, 87, 93, 234 ], [ 26, 87, 107, 113 ], [ 26, 87, 227, 234 ], [ 27, 28, 29, 36 ], [ 27, 28, 29, 49 ], [ 27, 28, 33, 53 ], [ 27, 28, 33, 234 ], [ 27, 28, 35, 36 ], [ 27, 28, 35, 236 ], [ 27, 28, 48, 49 ], [ 27, 28, 48, 53 ], [ 27, 28, 229, 234 ], [ 27, 28, 229, 236 ], [ 27, 29, 31, 40 ], [ 27, 29, 31, 51 ], [ 27, 29, 36, 40 ], [ 27, 29, 49, 51 ], [ 27, 30, 31, 40 ], [ 27, 30, 31, 51 ], [ 27, 30, 32, 52 ], [ 27, 30, 32, 233 ], [ 27, 30, 39, 40 ], [ 27, 30, 39, 240 ], [ 27, 30, 50, 51 ], [ 27, 30, 50, 52 ], [ 27, 30, 231, 233 ], [ 27, 30, 231, 240 ], [ 27, 32, 33, 53 ], [ 27, 32, 33, 234 ], [ 27, 32, 52, 53 ], [ 27, 32, 233, 234 ], [ 27, 34, 35, 36 ], [ 27, 34, 35, 236 ], [ 27, 34, 36, 40 ], [ 27, 34, 39, 40 ], [ 27, 34, 39, 240 ], [ 27, 34, 235, 236 ], [ 27, 34, 235, 240 ], [ 27, 47, 48, 49 ], [ 27, 47, 48, 53 ], [ 27, 47, 49, 51 ], [ 27, 47, 50, 51 ], [ 27, 47, 50, 52 ], [ 27, 47, 52, 53 ], [ 27, 228, 229, 234 ], [ 27, 228, 229, 236 ], [ 27, 228, 231, 233 ], [ 27, 228, 231, 240 ], [ 27, 228, 233, 234 ], [ 27, 228, 235, 236 ], [ 27, 228, 235, 240 ], [ 28, 29, 36, 95 ], [ 28, 29, 49, 109 ], [ 28, 29, 89, 95 ], [ 28, 29, 89, 109 ], [ 28, 33, 53, 113 ], [ 28, 33, 93, 113 ], [ 28, 33, 93, 234 ], [ 28, 35, 36, 95 ], [ 28, 35, 94, 95 ], [ 28, 35, 94, 236 ], [ 28, 48, 49, 109 ], [ 28, 48, 53, 113 ], [ 28, 48, 108, 109 ], [ 28, 48, 108, 113 ], [ 28, 88, 89, 95 ], [ 28, 88, 89, 109 ], [ 28, 88, 93, 113 ], [ 28, 88, 93, 234 ], [ 28, 88, 94, 95 ], [ 28, 88, 94, 236 ], [ 28, 88, 108, 109 ], [ 28, 88, 108, 113 ], [ 28, 88, 229, 234 ], [ 28, 88, 229, 236 ], [ 29, 31, 40, 100 ], [ 29, 31, 51, 111 ], [ 29, 31, 91, 100 ], [ 29, 31, 91, 111 ], [ 29, 36, 40, 100 ], [ 29, 36, 95, 100 ], [ 29, 49, 51, 111 ], [ 29, 49, 109, 111 ], [ 29, 89, 91, 100 ], [ 29, 89, 91, 111 ], [ 29, 89, 95, 100 ], [ 29, 89, 109, 111 ], [ 35, 36, 38, 98 ], [ 35, 36, 95, 98 ], [ 35, 37, 38, 98 ], [ 35, 37, 97, 98 ], [ 35, 37, 97, 238 ], [ 35, 94, 95, 98 ], [ 35, 94, 97, 98 ], [ 35, 94, 97, 238 ], [ 35, 94, 236, 238 ], [ 36, 38, 40, 100 ], [ 36, 38, 98, 100 ], [ 36, 95, 98, 100 ], [ 41, 42, 58, 118 ], [ 41, 42, 103, 118 ], [ 41, 46, 60, 120 ], [ 41, 46, 107, 120 ], [ 41, 57, 58, 118 ], [ 41, 57, 60, 120 ], [ 41, 57, 117, 118 ], [ 41, 57, 117, 120 ], [ 41, 102, 103, 118 ], [ 41, 102, 107, 120 ], [ 41, 102, 117, 118 ], [ 41, 102, 117, 120 ], [ 42, 44, 105, 165 ], [ 42, 58, 118, 178 ], [ 42, 103, 105, 165 ], [ 42, 103, 118, 178 ], [ 42, 103, 162, 165 ], [ 42, 103, 162, 178 ], [ 43, 44, 51, 172 ], [ 43, 44, 165, 172 ], [ 43, 45, 52, 174 ], [ 43, 45, 167, 174 ], [ 43, 50, 51, 172 ], [ 43, 50, 52, 174 ], [ 43, 50, 171, 172 ], [ 43, 50, 171, 174 ], [ 43, 164, 165, 172 ], [ 43, 164, 167, 174 ], [ 43, 164, 171, 172 ], [ 43, 164, 171, 174 ], [ 44, 51, 111, 172 ], [ 44, 105, 111, 172 ], [ 44, 105, 165, 172 ], [ 45, 46, 53, 60 ], [ 45, 52, 53, 60 ], [ 45, 52, 59, 60 ], [ 45, 52, 59, 180 ], [ 45, 52, 174, 180 ], [ 45, 167, 174, 180 ], [ 46, 53, 60, 120 ], [ 46, 53, 113, 120 ], [ 46, 107, 113, 120 ], [ 47, 48, 49, 56 ], [ 47, 48, 53, 60 ], [ 47, 48, 55, 56 ], [ 47, 48, 55, 60 ], [ 47, 49, 51, 172 ], [ 47, 49, 56, 176 ], [ 47, 49, 169, 172 ], [ 47, 49, 169, 176 ], [ 47, 50, 51, 172 ], [ 47, 50, 52, 174 ], [ 47, 50, 171, 172 ], [ 47, 50, 171, 174 ], [ 47, 52, 53, 60 ], [ 47, 52, 59, 60 ], [ 47, 52, 59, 180 ], [ 47, 52, 174, 180 ], [ 47, 54, 55, 56 ], [ 47, 54, 55, 60 ], [ 47, 54, 56, 176 ], [ 47, 54, 59, 60 ], [ 47, 54, 59, 180 ], [ 47, 54, 175, 176 ], [ 47, 54, 175, 180 ], [ 47, 168, 169, 172 ], [ 47, 168, 169, 176 ], [ 47, 168, 171, 172 ], [ 47, 168, 171, 174 ], [ 47, 168, 174, 180 ], [ 47, 168, 175, 176 ], [ 47, 168, 175, 180 ], [ 48, 49, 56, 115 ], [ 48, 49, 109, 115 ], [ 48, 53, 60, 120 ], [ 48, 53, 113, 120 ], [ 48, 55, 56, 115 ], [ 48, 55, 60, 120 ], [ 48, 55, 114, 115 ], [ 48, 55, 114, 120 ], [ 48, 108, 109, 115 ], [ 48, 108, 113, 120 ], [ 48, 108, 114, 115 ], [ 48, 108, 114, 120 ], [ 49, 51, 111, 172 ], [ 49, 56, 115, 176 ], [ 49, 109, 111, 172 ], [ 49, 109, 115, 176 ], [ 49, 109, 169, 172 ], [ 49, 109, 169, 176 ], [ 55, 56, 58, 118 ], [ 55, 56, 115, 118 ], [ 55, 57, 58, 118 ], [ 55, 57, 60, 120 ], [ 55, 57, 117, 118 ], [ 55, 57, 117, 120 ], [ 55, 114, 115, 118 ], [ 55, 114, 117, 118 ], [ 55, 114, 117, 120 ], [ 56, 58, 118, 178 ], [ 56, 115, 118, 178 ], [ 56, 115, 176, 178 ], [ 61, 62, 68, 75 ], [ 61, 62, 68, 115 ], [ 61, 62, 75, 95 ], [ 61, 62, 89, 95 ], [ 61, 62, 89, 109 ], [ 61, 62, 109, 115 ], [ 61, 66, 73, 120 ], [ 61, 66, 73, 194 ], [ 61, 66, 93, 113 ], [ 61, 66, 93, 234 ], [ 61, 66, 113, 120 ], [ 61, 66, 187, 194 ], [ 61, 66, 187, 234 ], [ 61, 67, 68, 75 ], [ 61, 67, 68, 115 ], [ 61, 67, 73, 120 ], [ 61, 67, 73, 194 ], [ 61, 67, 74, 75 ], [ 61, 67, 74, 196 ], [ 61, 67, 114, 115 ], [ 61, 67, 114, 120 ], [ 61, 67, 189, 194 ], [ 61, 67, 189, 196 ], [ 61, 74, 75, 95 ], [ 61, 74, 94, 95 ], [ 61, 74, 94, 236 ], [ 61, 74, 196, 236 ], [ 61, 88, 89, 95 ], [ 61, 88, 89, 109 ], [ 61, 88, 93, 113 ], [ 61, 88, 93, 234 ], [ 61, 88, 94, 95 ], [ 61, 88, 94, 236 ], [ 61, 88, 108, 109 ], [ 61, 88, 108, 113 ], [ 61, 88, 229, 234 ], [ 61, 88, 229, 236 ], [ 61, 108, 109, 115 ], [ 61, 108, 113, 120 ], [ 61, 108, 114, 115 ], [ 61, 108, 114, 120 ], [ 61, 182, 187, 194 ], [ 61, 182, 187, 234 ], [ 61, 182, 189, 194 ], [ 61, 182, 189, 196 ], [ 61, 182, 196, 236 ], [ 61, 182, 229, 234 ], [ 61, 182, 229, 236 ], [ 62, 64, 80, 100 ], [ 62, 64, 80, 140 ], [ 62, 64, 91, 100 ], [ 62, 64, 91, 111 ], [ 62, 64, 111, 172 ], [ 62, 64, 125, 140 ], [ 62, 64, 125, 172 ], [ 62, 68, 75, 135 ], [ 62, 68, 115, 176 ], [ 62, 68, 129, 135 ], [ 62, 68, 129, 176 ], [ 62, 75, 80, 100 ], [ 62, 75, 80, 140 ], [ 62, 75, 95, 100 ], [ 62, 75, 135, 140 ], [ 62, 89, 91, 100 ], [ 62, 89, 91, 111 ], [ 62, 89, 95, 100 ], [ 62, 89, 109, 111 ], [ 62, 109, 111, 172 ], [ 62, 109, 115, 176 ], [ 62, 109, 169, 172 ], [ 62, 109, 169, 176 ], [ 62, 122, 125, 140 ], [ 62, 122, 125, 172 ], [ 62, 122, 129, 135 ], [ 62, 122, 129, 176 ], [ 62, 122, 135, 140 ], [ 62, 122, 169, 172 ], [ 62, 122, 169, 176 ], [ 63, 64, 80, 100 ], [ 63, 64, 80, 140 ], [ 63, 64, 91, 100 ], [ 63, 64, 91, 111 ], [ 63, 64, 111, 172 ], [ 63, 64, 125, 140 ], [ 63, 64, 125, 172 ], [ 63, 65, 92, 112 ], [ 63, 65, 92, 232 ], [ 63, 65, 112, 173 ], [ 63, 65, 126, 173 ], [ 63, 65, 126, 185 ], [ 63, 65, 185, 232 ], [ 63, 79, 80, 100 ], [ 63, 79, 80, 140 ], [ 63, 79, 99, 100 ], [ 63, 79, 99, 239 ], [ 63, 79, 138, 140 ], [ 63, 79, 138, 199 ], [ 63, 79, 199, 239 ], [ 63, 90, 91, 100 ], [ 63, 90, 91, 111 ], [ 63, 90, 92, 112 ], [ 63, 90, 92, 232 ], [ 63, 90, 99, 100 ], [ 63, 90, 99, 239 ], [ 63, 90, 110, 111 ], [ 63, 90, 110, 112 ], [ 63, 90, 230, 232 ], [ 63, 90, 230, 239 ], [ 63, 110, 111, 172 ], [ 63, 110, 112, 173 ], [ 63, 110, 170, 172 ], [ 63, 110, 170, 173 ], [ 63, 123, 125, 140 ], [ 63, 123, 125, 172 ], [ 63, 123, 126, 173 ], [ 63, 123, 126, 185 ], [ 63, 123, 138, 140 ], [ 63, 123, 138, 199 ], [ 63, 123, 170, 172 ], [ 63, 123, 170, 173 ], [ 63, 123, 183, 185 ], [ 63, 123, 183, 199 ], [ 63, 183, 185, 232 ], [ 63, 183, 199, 239 ], [ 63, 183, 230, 232 ], [ 63, 183, 230, 239 ], [ 65, 66, 73, 120 ], [ 65, 66, 73, 194 ], [ 65, 66, 93, 113 ], [ 65, 66, 93, 234 ], [ 65, 66, 113, 120 ], [ 65, 66, 187, 194 ], [ 65, 66, 187, 234 ], [ 65, 72, 73, 120 ], [ 65, 72, 73, 194 ], [ 65, 72, 119, 120 ], [ 65, 72, 119, 179 ], [ 65, 72, 132, 179 ], [ 65, 72, 132, 192 ], [ 65, 72, 192, 194 ], [ 65, 92, 93, 113 ], [ 65, 92, 93, 234 ], [ 65, 92, 112, 113 ], [ 65, 92, 232, 234 ], [ 65, 112, 113, 120 ], [ 65, 112, 119, 120 ], [ 65, 112, 119, 179 ], [ 65, 112, 173, 179 ], [ 65, 126, 132, 179 ], [ 65, 126, 132, 192 ], [ 65, 126, 173, 179 ], [ 65, 126, 185, 192 ], [ 65, 185, 187, 194 ], [ 65, 185, 187, 234 ], [ 65, 185, 192, 194 ], [ 65, 185, 232, 234 ], [ 67, 68, 71, 78 ], [ 67, 68, 71, 118 ], [ 67, 68, 75, 78 ], [ 67, 68, 115, 118 ], [ 67, 70, 71, 78 ], [ 67, 70, 71, 118 ], [ 67, 70, 73, 120 ], [ 67, 70, 73, 194 ], [ 67, 70, 77, 78 ], [ 67, 70, 77, 198 ], [ 67, 70, 117, 118 ], [ 67, 70, 117, 120 ], [ 67, 70, 191, 194 ], [ 67, 70, 191, 198 ], [ 67, 74, 75, 78 ], [ 67, 74, 77, 78 ], [ 67, 74, 77, 198 ], [ 67, 74, 196, 198 ], [ 67, 114, 115, 118 ], [ 67, 114, 117, 118 ], [ 67, 114, 117, 120 ], [ 67, 189, 191, 194 ], [ 67, 189, 191, 198 ], [ 67, 189, 196, 198 ], [ 68, 71, 78, 137 ], [ 68, 71, 118, 178 ], [ 68, 71, 131, 137 ], [ 68, 71, 131, 178 ], [ 68, 75, 78, 137 ], [ 68, 75, 135, 137 ], [ 68, 115, 118, 178 ], [ 68, 115, 176, 178 ], [ 68, 129, 131, 137 ], [ 68, 129, 131, 178 ], [ 68, 129, 135, 137 ], [ 68, 129, 176, 178 ], [ 69, 70, 71, 78 ], [ 69, 70, 71, 118 ], [ 69, 70, 73, 120 ], [ 69, 70, 73, 194 ], [ 69, 70, 77, 78 ], [ 69, 70, 77, 198 ], [ 69, 70, 117, 118 ], [ 69, 70, 117, 120 ], [ 69, 70, 191, 194 ], [ 69, 70, 191, 198 ], [ 69, 71, 78, 137 ], [ 69, 71, 118, 178 ], [ 69, 71, 131, 137 ], [ 69, 71, 131, 178 ], [ 69, 72, 73, 120 ], [ 69, 72, 73, 194 ], [ 69, 72, 119, 120 ], [ 69, 72, 119, 179 ], [ 69, 72, 132, 179 ], [ 69, 72, 132, 192 ], [ 69, 72, 192, 194 ], [ 69, 76, 77, 78 ], [ 69, 76, 77, 198 ], [ 69, 76, 78, 137 ], [ 69, 76, 136, 137 ], [ 69, 76, 136, 197 ], [ 69, 76, 197, 198 ], [ 69, 116, 117, 118 ], [ 69, 116, 117, 120 ], [ 69, 116, 118, 178 ], [ 69, 116, 119, 120 ], [ 69, 116, 119, 179 ], [ 69, 116, 177, 178 ], [ 69, 116, 177, 179 ], [ 69, 130, 131, 137 ], [ 69, 130, 131, 178 ], [ 69, 130, 132, 179 ], [ 69, 130, 132, 192 ], [ 69, 130, 136, 137 ], [ 69, 130, 136, 197 ], [ 69, 130, 177, 178 ], [ 69, 130, 177, 179 ], [ 69, 130, 190, 192 ], [ 69, 130, 190, 197 ], [ 69, 190, 191, 194 ], [ 69, 190, 191, 198 ], [ 69, 190, 192, 194 ], [ 69, 190, 197, 198 ], [ 74, 75, 78, 98 ], [ 74, 75, 95, 98 ], [ 74, 77, 78, 98 ], [ 74, 77, 97, 98 ], [ 74, 77, 97, 238 ], [ 74, 77, 198, 238 ], [ 74, 94, 95, 98 ], [ 74, 94, 97, 98 ], [ 74, 94, 97, 238 ], [ 74, 94, 236, 238 ], [ 74, 196, 198, 238 ], [ 74, 196, 236, 238 ], [ 75, 78, 80, 100 ], [ 75, 78, 80, 140 ], [ 75, 78, 98, 100 ], [ 75, 78, 137, 140 ], [ 75, 95, 98, 100 ], [ 75, 135, 137, 140 ], [ 76, 77, 78, 98 ], [ 76, 77, 97, 98 ], [ 76, 77, 97, 238 ], [ 76, 77, 198, 238 ], [ 76, 78, 80, 100 ], [ 76, 78, 80, 140 ], [ 76, 78, 98, 100 ], [ 76, 78, 137, 140 ], [ 76, 79, 80, 100 ], [ 76, 79, 80, 140 ], [ 76, 79, 99, 100 ], [ 76, 79, 99, 239 ], [ 76, 79, 138, 140 ], [ 76, 79, 138, 199 ], [ 76, 79, 199, 239 ], [ 76, 96, 97, 98 ], [ 76, 96, 97, 238 ], [ 76, 96, 98, 100 ], [ 76, 96, 99, 100 ], [ 76, 96, 99, 239 ], [ 76, 96, 237, 238 ], [ 76, 96, 237, 239 ], [ 76, 136, 137, 140 ], [ 76, 136, 138, 140 ], [ 76, 136, 138, 199 ], [ 76, 136, 197, 199 ], [ 76, 197, 198, 238 ], [ 76, 197, 199, 239 ], [ 76, 197, 237, 238 ], [ 76, 197, 237, 239 ], [ 81, 82, 83, 98 ], [ 81, 82, 83, 103 ], [ 81, 82, 87, 107 ], [ 81, 82, 87, 227 ], [ 81, 82, 97, 98 ], [ 81, 82, 97, 238 ], [ 81, 82, 102, 103 ], [ 81, 82, 102, 107 ], [ 81, 82, 222, 227 ], [ 81, 82, 222, 238 ], [ 81, 83, 85, 100 ], [ 81, 83, 85, 105 ], [ 81, 83, 98, 100 ], [ 81, 83, 103, 105 ], [ 81, 84, 85, 100 ], [ 81, 84, 85, 105 ], [ 81, 84, 86, 106 ], [ 81, 84, 86, 225 ], [ 81, 84, 99, 100 ], [ 81, 84, 99, 239 ], [ 81, 84, 104, 105 ], [ 81, 84, 104, 106 ], [ 81, 84, 223, 225 ], [ 81, 84, 223, 239 ], [ 81, 86, 87, 107 ], [ 81, 86, 87, 227 ], [ 81, 86, 106, 107 ], [ 81, 86, 225, 227 ], [ 81, 96, 97, 98 ], [ 81, 96, 97, 238 ], [ 81, 96, 98, 100 ], [ 81, 96, 99, 100 ], [ 81, 96, 99, 239 ], [ 81, 96, 237, 238 ], [ 81, 96, 237, 239 ], [ 81, 101, 102, 103 ], [ 81, 101, 102, 107 ], [ 81, 101, 103, 105 ], [ 81, 101, 104, 105 ], [ 81, 101, 104, 106 ], [ 81, 101, 106, 107 ], [ 81, 221, 222, 227 ], [ 81, 221, 222, 238 ], [ 81, 221, 223, 225 ], [ 81, 221, 223, 239 ], [ 81, 221, 225, 227 ], [ 81, 221, 237, 238 ], [ 81, 221, 237, 239 ], [ 84, 85, 91, 100 ], [ 84, 85, 91, 111 ], [ 84, 85, 105, 111 ], [ 84, 86, 92, 112 ], [ 84, 86, 92, 232 ], [ 84, 86, 106, 112 ], [ 84, 86, 225, 232 ], [ 84, 90, 91, 100 ], [ 84, 90, 91, 111 ], [ 84, 90, 92, 112 ], [ 84, 90, 92, 232 ], [ 84, 90, 99, 100 ], [ 84, 90, 99, 239 ], [ 84, 90, 110, 111 ], [ 84, 90, 110, 112 ], [ 84, 90, 230, 232 ], [ 84, 90, 230, 239 ], [ 84, 104, 105, 111 ], [ 84, 104, 106, 112 ], [ 84, 104, 110, 111 ], [ 84, 104, 110, 112 ], [ 84, 223, 225, 232 ], [ 84, 223, 230, 232 ], [ 84, 223, 230, 239 ], [ 86, 87, 93, 113 ], [ 86, 87, 93, 234 ], [ 86, 87, 107, 113 ], [ 86, 87, 227, 234 ], [ 86, 92, 93, 113 ], [ 86, 92, 93, 234 ], [ 86, 92, 112, 113 ], [ 86, 92, 232, 234 ], [ 86, 106, 107, 113 ], [ 86, 106, 112, 113 ], [ 86, 225, 227, 234 ], [ 86, 225, 232, 234 ], [ 101, 102, 103, 118 ], [ 101, 102, 107, 120 ], [ 101, 102, 117, 118 ], [ 101, 102, 117, 120 ], [ 101, 103, 105, 165 ], [ 101, 103, 118, 178 ], [ 101, 103, 162, 165 ], [ 101, 103, 162, 178 ], [ 101, 104, 105, 165 ], [ 101, 104, 106, 166 ], [ 101, 104, 163, 165 ], [ 101, 104, 163, 166 ], [ 101, 106, 107, 120 ], [ 101, 106, 119, 120 ], [ 101, 106, 119, 179 ], [ 101, 106, 166, 179 ], [ 101, 116, 117, 118 ], [ 101, 116, 117, 120 ], [ 101, 116, 118, 178 ], [ 101, 116, 119, 120 ], [ 101, 116, 119, 179 ], [ 101, 116, 177, 178 ], [ 101, 116, 177, 179 ], [ 101, 161, 162, 165 ], [ 101, 161, 162, 178 ], [ 101, 161, 163, 165 ], [ 101, 161, 163, 166 ], [ 101, 161, 166, 179 ], [ 101, 161, 177, 178 ], [ 101, 161, 177, 179 ], [ 104, 105, 111, 172 ], [ 104, 105, 165, 172 ], [ 104, 106, 112, 173 ], [ 104, 106, 166, 173 ], [ 104, 110, 111, 172 ], [ 104, 110, 112, 173 ], [ 104, 110, 170, 172 ], [ 104, 110, 170, 173 ], [ 104, 163, 165, 172 ], [ 104, 163, 166, 173 ], [ 104, 163, 170, 172 ], [ 104, 163, 170, 173 ], [ 106, 107, 113, 120 ], [ 106, 112, 113, 120 ], [ 106, 112, 119, 120 ], [ 106, 112, 119, 179 ], [ 106, 112, 173, 179 ], [ 106, 166, 173, 179 ], [ 121, 122, 125, 140 ], [ 121, 122, 125, 172 ], [ 121, 122, 129, 135 ], [ 121, 122, 129, 176 ], [ 121, 122, 135, 140 ], [ 121, 122, 169, 172 ], [ 121, 122, 169, 176 ], [ 121, 124, 125, 140 ], [ 121, 124, 125, 172 ], [ 121, 124, 127, 174 ], [ 121, 124, 127, 186 ], [ 121, 124, 139, 140 ], [ 121, 124, 139, 200 ], [ 121, 124, 171, 172 ], [ 121, 124, 171, 174 ], [ 121, 124, 184, 186 ], [ 121, 124, 184, 200 ], [ 121, 127, 133, 180 ], [ 121, 127, 133, 193 ], [ 121, 127, 174, 180 ], [ 121, 127, 186, 193 ], [ 121, 128, 129, 135 ], [ 121, 128, 129, 176 ], [ 121, 128, 133, 180 ], [ 121, 128, 133, 193 ], [ 121, 128, 134, 135 ], [ 121, 128, 134, 195 ], [ 121, 128, 175, 176 ], [ 121, 128, 175, 180 ], [ 121, 128, 188, 193 ], [ 121, 128, 188, 195 ], [ 121, 134, 135, 140 ], [ 121, 134, 139, 140 ], [ 121, 134, 139, 200 ], [ 121, 134, 195, 200 ], [ 121, 168, 169, 172 ], [ 121, 168, 169, 176 ], [ 121, 168, 171, 172 ], [ 121, 168, 171, 174 ], [ 121, 168, 174, 180 ], [ 121, 168, 175, 176 ], [ 121, 168, 175, 180 ], [ 121, 181, 184, 186 ], [ 121, 181, 184, 200 ], [ 121, 181, 186, 193 ], [ 121, 181, 188, 193 ], [ 121, 181, 188, 195 ], [ 121, 181, 195, 200 ], [ 123, 124, 125, 140 ], [ 123, 124, 125, 172 ], [ 123, 124, 127, 174 ], [ 123, 124, 127, 186 ], [ 123, 124, 139, 140 ], [ 123, 124, 139, 200 ], [ 123, 124, 171, 172 ], [ 123, 124, 171, 174 ], [ 123, 124, 184, 186 ], [ 123, 124, 184, 200 ], [ 123, 126, 127, 174 ], [ 123, 126, 127, 186 ], [ 123, 126, 173, 174 ], [ 123, 126, 185, 186 ], [ 123, 138, 139, 140 ], [ 123, 138, 139, 200 ], [ 123, 138, 199, 200 ], [ 123, 170, 171, 172 ], [ 123, 170, 171, 174 ], [ 123, 170, 173, 174 ], [ 123, 183, 184, 186 ], [ 123, 183, 184, 200 ], [ 123, 183, 185, 186 ], [ 123, 183, 199, 200 ], [ 126, 127, 133, 180 ], [ 126, 127, 133, 193 ], [ 126, 127, 174, 180 ], [ 126, 127, 186, 193 ], [ 126, 132, 133, 180 ], [ 126, 132, 133, 193 ], [ 126, 132, 179, 180 ], [ 126, 132, 192, 193 ], [ 126, 173, 174, 180 ], [ 126, 173, 179, 180 ], [ 126, 185, 186, 193 ], [ 126, 185, 192, 193 ], [ 128, 129, 135, 155 ], [ 128, 129, 149, 155 ], [ 128, 129, 149, 176 ], [ 128, 133, 153, 180 ], [ 128, 133, 153, 213 ], [ 128, 133, 193, 213 ], [ 128, 134, 135, 155 ], [ 128, 134, 154, 155 ], [ 128, 134, 154, 215 ], [ 128, 134, 195, 215 ], [ 128, 148, 149, 155 ], [ 128, 148, 149, 176 ], [ 128, 148, 153, 180 ], [ 128, 148, 153, 213 ], [ 128, 148, 154, 155 ], [ 128, 148, 154, 215 ], [ 128, 148, 175, 176 ], [ 128, 148, 175, 180 ], [ 128, 148, 208, 213 ], [ 128, 148, 208, 215 ], [ 128, 188, 193, 213 ], [ 128, 188, 195, 215 ], [ 128, 188, 208, 213 ], [ 128, 188, 208, 215 ], [ 129, 131, 137, 157 ], [ 129, 131, 151, 157 ], [ 129, 131, 151, 178 ], [ 129, 135, 137, 157 ], [ 129, 135, 155, 157 ], [ 129, 149, 151, 157 ], [ 129, 149, 151, 178 ], [ 129, 149, 155, 157 ], [ 129, 149, 176, 178 ], [ 130, 131, 137, 157 ], [ 130, 131, 151, 157 ], [ 130, 131, 151, 178 ], [ 130, 132, 152, 179 ], [ 130, 132, 152, 212 ], [ 130, 132, 192, 212 ], [ 130, 136, 137, 157 ], [ 130, 136, 156, 157 ], [ 130, 136, 156, 217 ], [ 130, 136, 197, 217 ], [ 130, 150, 151, 157 ], [ 130, 150, 151, 178 ], [ 130, 150, 152, 179 ], [ 130, 150, 152, 212 ], [ 130, 150, 156, 157 ], [ 130, 150, 156, 217 ], [ 130, 150, 177, 178 ], [ 130, 150, 177, 179 ], [ 130, 150, 210, 212 ], [ 130, 150, 210, 217 ], [ 130, 190, 192, 212 ], [ 130, 190, 197, 217 ], [ 130, 190, 210, 212 ], [ 130, 190, 210, 217 ], [ 132, 133, 153, 180 ], [ 132, 133, 153, 213 ], [ 132, 133, 193, 213 ], [ 132, 152, 153, 180 ], [ 132, 152, 153, 213 ], [ 132, 152, 179, 180 ], [ 132, 152, 212, 213 ], [ 132, 192, 193, 213 ], [ 132, 192, 212, 213 ], [ 134, 135, 140, 160 ], [ 134, 135, 155, 160 ], [ 134, 139, 140, 160 ], [ 134, 139, 159, 160 ], [ 134, 139, 159, 220 ], [ 134, 139, 200, 220 ], [ 134, 154, 155, 160 ], [ 134, 154, 159, 160 ], [ 134, 154, 159, 220 ], [ 134, 154, 215, 220 ], [ 134, 195, 200, 220 ], [ 134, 195, 215, 220 ], [ 135, 137, 140, 160 ], [ 135, 137, 157, 160 ], [ 135, 155, 157, 160 ], [ 136, 137, 140, 160 ], [ 136, 137, 157, 160 ], [ 136, 138, 140, 160 ], [ 136, 138, 158, 160 ], [ 136, 138, 158, 219 ], [ 136, 138, 199, 219 ], [ 136, 156, 157, 160 ], [ 136, 156, 158, 160 ], [ 136, 156, 158, 219 ], [ 136, 156, 217, 219 ], [ 136, 197, 199, 219 ], [ 136, 197, 217, 219 ], [ 138, 139, 140, 160 ], [ 138, 139, 159, 160 ], [ 138, 139, 159, 220 ], [ 138, 139, 200, 220 ], [ 138, 158, 159, 160 ], [ 138, 158, 159, 220 ], [ 138, 158, 219, 220 ], [ 138, 199, 200, 220 ], [ 138, 199, 219, 220 ], [ 141, 142, 145, 160 ], [ 141, 142, 145, 165 ], [ 141, 142, 151, 157 ], [ 141, 142, 151, 178 ], [ 141, 142, 157, 160 ], [ 141, 142, 162, 165 ], [ 141, 142, 162, 178 ], [ 141, 143, 145, 160 ], [ 141, 143, 145, 165 ], [ 141, 143, 146, 166 ], [ 141, 143, 146, 205 ], [ 141, 143, 158, 160 ], [ 141, 143, 158, 219 ], [ 141, 143, 163, 165 ], [ 141, 143, 163, 166 ], [ 141, 143, 203, 205 ], [ 141, 143, 203, 219 ], [ 141, 146, 152, 179 ], [ 141, 146, 152, 212 ], [ 141, 146, 166, 179 ], [ 141, 146, 205, 212 ], [ 141, 150, 151, 157 ], [ 141, 150, 151, 178 ], [ 141, 150, 152, 179 ], [ 141, 150, 152, 212 ], [ 141, 150, 156, 157 ], [ 141, 150, 156, 217 ], [ 141, 150, 177, 178 ], [ 141, 150, 177, 179 ], [ 141, 150, 210, 212 ], [ 141, 150, 210, 217 ], [ 141, 156, 157, 160 ], [ 141, 156, 158, 160 ], [ 141, 156, 158, 219 ], [ 141, 156, 217, 219 ], [ 141, 161, 162, 165 ], [ 141, 161, 162, 178 ], [ 141, 161, 163, 165 ], [ 141, 161, 163, 166 ], [ 141, 161, 166, 179 ], [ 141, 161, 177, 178 ], [ 141, 161, 177, 179 ], [ 141, 201, 203, 205 ], [ 141, 201, 203, 219 ], [ 141, 201, 205, 212 ], [ 141, 201, 210, 212 ], [ 141, 201, 210, 217 ], [ 141, 201, 217, 219 ], [ 143, 144, 145, 160 ], [ 143, 144, 145, 165 ], [ 143, 144, 147, 167 ], [ 143, 144, 147, 206 ], [ 143, 144, 159, 160 ], [ 143, 144, 159, 220 ], [ 143, 144, 164, 165 ], [ 143, 144, 164, 167 ], [ 143, 144, 204, 206 ], [ 143, 144, 204, 220 ], [ 143, 146, 147, 167 ], [ 143, 146, 147, 206 ], [ 143, 146, 166, 167 ], [ 143, 146, 205, 206 ], [ 143, 158, 159, 160 ], [ 143, 158, 159, 220 ], [ 143, 158, 219, 220 ], [ 143, 163, 164, 165 ], [ 143, 163, 164, 167 ], [ 143, 163, 166, 167 ], [ 143, 203, 204, 206 ], [ 143, 203, 204, 220 ], [ 143, 203, 205, 206 ], [ 143, 203, 219, 220 ], [ 146, 147, 153, 180 ], [ 146, 147, 153, 213 ], [ 146, 147, 167, 180 ], [ 146, 147, 206, 213 ], [ 146, 152, 153, 180 ], [ 146, 152, 153, 213 ], [ 146, 152, 179, 180 ], [ 146, 152, 212, 213 ], [ 146, 166, 167, 180 ], [ 146, 166, 179, 180 ], [ 146, 205, 206, 213 ], [ 146, 205, 212, 213 ], [ 163, 164, 165, 172 ], [ 163, 164, 167, 174 ], [ 163, 164, 171, 172 ], [ 163, 164, 171, 174 ], [ 163, 166, 167, 174 ], [ 163, 166, 173, 174 ], [ 163, 170, 171, 172 ], [ 163, 170, 171, 174 ], [ 163, 170, 173, 174 ], [ 166, 167, 174, 180 ], [ 166, 173, 174, 180 ], [ 166, 173, 179, 180 ], [ 181, 182, 187, 194 ], [ 181, 182, 187, 234 ], [ 181, 182, 189, 194 ], [ 181, 182, 189, 196 ], [ 181, 182, 196, 236 ], [ 181, 182, 229, 234 ], [ 181, 182, 229, 236 ], [ 181, 184, 186, 233 ], [ 181, 184, 200, 240 ], [ 181, 184, 231, 233 ], [ 181, 184, 231, 240 ], [ 181, 186, 187, 194 ], [ 181, 186, 187, 234 ], [ 181, 186, 193, 194 ], [ 181, 186, 233, 234 ], [ 181, 188, 189, 194 ], [ 181, 188, 189, 196 ], [ 181, 188, 193, 194 ], [ 181, 188, 195, 196 ], [ 181, 195, 196, 236 ], [ 181, 195, 200, 240 ], [ 181, 195, 235, 236 ], [ 181, 195, 235, 240 ], [ 181, 228, 229, 234 ], [ 181, 228, 229, 236 ], [ 181, 228, 231, 233 ], [ 181, 228, 231, 240 ], [ 181, 228, 233, 234 ], [ 181, 228, 235, 236 ], [ 181, 228, 235, 240 ], [ 183, 184, 186, 233 ], [ 183, 184, 200, 240 ], [ 183, 184, 231, 233 ], [ 183, 184, 231, 240 ], [ 183, 185, 186, 233 ], [ 183, 185, 232, 233 ], [ 183, 199, 200, 240 ], [ 183, 199, 239, 240 ], [ 183, 230, 231, 233 ], [ 183, 230, 231, 240 ], [ 183, 230, 232, 233 ], [ 183, 230, 239, 240 ], [ 185, 186, 187, 194 ], [ 185, 186, 187, 234 ], [ 185, 186, 193, 194 ], [ 185, 186, 233, 234 ], [ 185, 192, 193, 194 ], [ 185, 232, 233, 234 ], [ 188, 189, 194, 214 ], [ 188, 189, 196, 216 ], [ 188, 189, 209, 214 ], [ 188, 189, 209, 216 ], [ 188, 193, 194, 214 ], [ 188, 193, 213, 214 ], [ 188, 195, 196, 216 ], [ 188, 195, 215, 216 ], [ 188, 208, 209, 214 ], [ 188, 208, 209, 216 ], [ 188, 208, 213, 214 ], [ 188, 208, 215, 216 ], [ 189, 191, 194, 214 ], [ 189, 191, 198, 218 ], [ 189, 191, 211, 214 ], [ 189, 191, 211, 218 ], [ 189, 196, 198, 218 ], [ 189, 196, 216, 218 ], [ 189, 209, 211, 214 ], [ 189, 209, 211, 218 ], [ 189, 209, 216, 218 ], [ 190, 191, 194, 214 ], [ 190, 191, 198, 218 ], [ 190, 191, 211, 214 ], [ 190, 191, 211, 218 ], [ 190, 192, 194, 214 ], [ 190, 192, 212, 214 ], [ 190, 197, 198, 218 ], [ 190, 197, 217, 218 ], [ 190, 210, 211, 214 ], [ 190, 210, 211, 218 ], [ 190, 210, 212, 214 ], [ 190, 210, 217, 218 ], [ 192, 193, 194, 214 ], [ 192, 193, 213, 214 ], [ 192, 212, 213, 214 ], [ 195, 196, 216, 236 ], [ 195, 200, 220, 240 ], [ 195, 215, 216, 236 ], [ 195, 215, 220, 240 ], [ 195, 215, 235, 236 ], [ 195, 215, 235, 240 ], [ 196, 198, 218, 238 ], [ 196, 216, 218, 238 ], [ 196, 216, 236, 238 ], [ 197, 198, 218, 238 ], [ 197, 199, 219, 239 ], [ 197, 217, 218, 238 ], [ 197, 217, 219, 239 ], [ 197, 217, 237, 238 ], [ 197, 217, 237, 239 ], [ 199, 200, 220, 240 ], [ 199, 219, 220, 240 ], [ 199, 219, 239, 240 ], [ 201, 202, 207, 214 ], [ 201, 202, 207, 227 ], [ 201, 202, 211, 214 ], [ 201, 202, 211, 218 ], [ 201, 202, 218, 238 ], [ 201, 202, 222, 227 ], [ 201, 202, 222, 238 ], [ 201, 203, 205, 225 ], [ 201, 203, 219, 239 ], [ 201, 203, 223, 225 ], [ 201, 203, 223, 239 ], [ 201, 205, 207, 214 ], [ 201, 205, 207, 227 ], [ 201, 205, 212, 214 ], [ 201, 205, 225, 227 ], [ 201, 210, 211, 214 ], [ 201, 210, 211, 218 ], [ 201, 210, 212, 214 ], [ 201, 210, 217, 218 ], [ 201, 217, 218, 238 ], [ 201, 217, 219, 239 ], [ 201, 217, 237, 238 ], [ 201, 217, 237, 239 ], [ 201, 221, 222, 227 ], [ 201, 221, 222, 238 ], [ 201, 221, 223, 225 ], [ 201, 221, 223, 239 ], [ 201, 221, 225, 227 ], [ 201, 221, 237, 238 ], [ 201, 221, 237, 239 ], [ 203, 204, 206, 226 ], [ 203, 204, 220, 240 ], [ 203, 204, 224, 226 ], [ 203, 204, 224, 240 ], [ 203, 205, 206, 226 ], [ 203, 205, 225, 226 ], [ 203, 219, 220, 240 ], [ 203, 219, 239, 240 ], [ 203, 223, 224, 226 ], [ 203, 223, 224, 240 ], [ 203, 223, 225, 226 ], [ 203, 223, 239, 240 ], [ 205, 206, 207, 214 ], [ 205, 206, 207, 227 ], [ 205, 206, 213, 214 ], [ 205, 206, 226, 227 ], [ 205, 212, 213, 214 ], [ 205, 225, 226, 227 ], [ 223, 224, 226, 233 ], [ 223, 224, 231, 233 ], [ 223, 224, 231, 240 ], [ 223, 225, 226, 233 ], [ 223, 225, 232, 233 ], [ 223, 230, 231, 233 ], [ 223, 230, 231, 240 ], [ 223, 230, 232, 233 ], [ 223, 230, 239, 240 ], [ 225, 226, 227, 234 ], [ 225, 226, 233, 234 ], [ 225, 232, 233, 234 ] ];