#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### 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: ### ### ### ### trefoil_bsd (= S_3_13_56_bsd) ### ### ### ### ### ### description: ### ### ### ### barycentric subdivision of the single trefoil sphere ### ### ### ### ### ### properties: ### ### ### ### f=(250,1594,2688,1344), ### ### H_*=(Z,0,0,Z), ### ### perfect discrete Morse vector: (1,0,0,1) ### ### ### ### ### ### references: ### ### ### ### F. H. Lutz. ### ### Small examples of nonconstructible simplicial balls and spheres. ### ### SIAM J. Discrete Math. 18, 103-109 (2004). ### ### ### ### B. Benedetti and F. H. Lutz. ### ### Random discrete Morse theory and a new library of triangulations. ### ### Exp. Math. 23, 66-94 (2014). ### ### ### ### ### #################################################################################### #################################################################################### #################################################################################### facets:=[ [ 1, 14, 83, 195 ], [ 1, 14, 83, 196 ], [ 1, 14, 84, 195 ], [ 1, 14, 84, 197 ], [ 1, 14, 85, 196 ], [ 1, 14, 85, 197 ], [ 1, 15, 86, 198 ], [ 1, 15, 86, 199 ], [ 1, 15, 87, 198 ], [ 1, 15, 87, 200 ], [ 1, 15, 88, 199 ], [ 1, 15, 88, 200 ], [ 1, 16, 86, 198 ], [ 1, 16, 86, 199 ], [ 1, 16, 89, 198 ], [ 1, 16, 89, 201 ], [ 1, 16, 90, 201 ], [ 1, 16, 90, 202 ], [ 1, 16, 91, 199 ], [ 1, 16, 91, 202 ], [ 1, 17, 83, 195 ], [ 1, 17, 83, 196 ], [ 1, 17, 92, 203 ], [ 1, 17, 92, 204 ], [ 1, 17, 93, 195 ], [ 1, 17, 93, 203 ], [ 1, 17, 94, 196 ], [ 1, 17, 94, 204 ], [ 1, 18, 92, 203 ], [ 1, 18, 92, 204 ], [ 1, 18, 95, 205 ], [ 1, 18, 95, 206 ], [ 1, 18, 96, 203 ], [ 1, 18, 96, 207 ], [ 1, 18, 97, 205 ], [ 1, 18, 97, 208 ], [ 1, 18, 98, 206 ], [ 1, 18, 98, 209 ], [ 1, 18, 99, 204 ], [ 1, 18, 99, 208 ], [ 1, 18, 100, 207 ], [ 1, 18, 100, 209 ], [ 1, 19, 87, 198 ], [ 1, 19, 87, 200 ], [ 1, 19, 89, 198 ], [ 1, 19, 89, 201 ], [ 1, 19, 95, 205 ], [ 1, 19, 95, 206 ], [ 1, 19, 101, 201 ], [ 1, 19, 101, 205 ], [ 1, 19, 102, 200 ], [ 1, 19, 102, 206 ], [ 1, 20, 84, 195 ], [ 1, 20, 84, 197 ], [ 1, 20, 93, 195 ], [ 1, 20, 93, 203 ], [ 1, 20, 96, 203 ], [ 1, 20, 96, 207 ], [ 1, 20, 103, 210 ], [ 1, 20, 103, 211 ], [ 1, 20, 104, 197 ], [ 1, 20, 104, 210 ], [ 1, 20, 105, 207 ], [ 1, 20, 105, 211 ], [ 1, 21, 90, 201 ], [ 1, 21, 90, 202 ], [ 1, 21, 97, 205 ], [ 1, 21, 97, 208 ], [ 1, 21, 101, 201 ], [ 1, 21, 101, 205 ], [ 1, 21, 103, 210 ], [ 1, 21, 103, 211 ], [ 1, 21, 106, 202 ], [ 1, 21, 106, 212 ], [ 1, 21, 107, 208 ], [ 1, 21, 107, 210 ], [ 1, 21, 108, 211 ], [ 1, 21, 108, 212 ], [ 1, 22, 88, 199 ], [ 1, 22, 88, 200 ], [ 1, 22, 91, 199 ], [ 1, 22, 91, 202 ], [ 1, 22, 98, 206 ], [ 1, 22, 98, 209 ], [ 1, 22, 102, 200 ], [ 1, 22, 102, 206 ], [ 1, 22, 106, 202 ], [ 1, 22, 106, 212 ], [ 1, 22, 109, 209 ], [ 1, 22, 109, 212 ], [ 1, 23, 85, 196 ], [ 1, 23, 85, 197 ], [ 1, 23, 94, 196 ], [ 1, 23, 94, 204 ], [ 1, 23, 99, 204 ], [ 1, 23, 99, 208 ], [ 1, 23, 104, 197 ], [ 1, 23, 104, 210 ], [ 1, 23, 107, 208 ], [ 1, 23, 107, 210 ], [ 1, 24, 100, 207 ], [ 1, 24, 100, 209 ], [ 1, 24, 105, 207 ], [ 1, 24, 105, 211 ], [ 1, 24, 108, 211 ], [ 1, 24, 108, 212 ], [ 1, 24, 109, 209 ], [ 1, 24, 109, 212 ], [ 2, 14, 83, 195 ], [ 2, 14, 83, 196 ], [ 2, 14, 84, 195 ], [ 2, 14, 84, 197 ], [ 2, 14, 85, 196 ], [ 2, 14, 85, 197 ], [ 2, 25, 110, 213 ], [ 2, 25, 110, 214 ], [ 2, 25, 111, 213 ], [ 2, 25, 111, 215 ], [ 2, 25, 112, 214 ], [ 2, 25, 112, 215 ], [ 2, 26, 110, 213 ], [ 2, 26, 110, 214 ], [ 2, 26, 113, 216 ], [ 2, 26, 113, 217 ], [ 2, 26, 114, 213 ], [ 2, 26, 114, 216 ], [ 2, 26, 115, 214 ], [ 2, 26, 115, 217 ], [ 2, 27, 113, 216 ], [ 2, 27, 113, 217 ], [ 2, 27, 116, 216 ], [ 2, 27, 116, 218 ], [ 2, 27, 117, 219 ], [ 2, 27, 117, 220 ], [ 2, 27, 118, 217 ], [ 2, 27, 118, 219 ], [ 2, 27, 119, 218 ], [ 2, 27, 119, 220 ], [ 2, 28, 83, 195 ], [ 2, 28, 83, 196 ], [ 2, 28, 120, 195 ], [ 2, 28, 120, 221 ], [ 2, 28, 121, 221 ], [ 2, 28, 121, 222 ], [ 2, 28, 122, 196 ], [ 2, 28, 122, 223 ], [ 2, 28, 123, 222 ], [ 2, 28, 123, 223 ], [ 2, 29, 111, 213 ], [ 2, 29, 111, 215 ], [ 2, 29, 114, 213 ], [ 2, 29, 114, 216 ], [ 2, 29, 116, 216 ], [ 2, 29, 116, 218 ], [ 2, 29, 124, 224 ], [ 2, 29, 124, 225 ], [ 2, 29, 125, 215 ], [ 2, 29, 125, 224 ], [ 2, 29, 126, 225 ], [ 2, 29, 126, 226 ], [ 2, 29, 127, 218 ], [ 2, 29, 127, 226 ], [ 2, 30, 117, 219 ], [ 2, 30, 117, 220 ], [ 2, 30, 124, 224 ], [ 2, 30, 124, 225 ], [ 2, 30, 128, 227 ], [ 2, 30, 128, 228 ], [ 2, 30, 129, 219 ], [ 2, 30, 129, 224 ], [ 2, 30, 130, 225 ], [ 2, 30, 130, 227 ], [ 2, 30, 131, 228 ], [ 2, 30, 131, 229 ], [ 2, 30, 132, 220 ], [ 2, 30, 132, 229 ], [ 2, 31, 84, 195 ], [ 2, 31, 84, 197 ], [ 2, 31, 120, 195 ], [ 2, 31, 120, 221 ], [ 2, 31, 128, 227 ], [ 2, 31, 128, 228 ], [ 2, 31, 133, 221 ], [ 2, 31, 133, 227 ], [ 2, 31, 134, 197 ], [ 2, 31, 134, 228 ], [ 2, 32, 112, 214 ], [ 2, 32, 112, 215 ], [ 2, 32, 115, 214 ], [ 2, 32, 115, 217 ], [ 2, 32, 118, 217 ], [ 2, 32, 118, 219 ], [ 2, 32, 125, 215 ], [ 2, 32, 125, 224 ], [ 2, 32, 129, 219 ], [ 2, 32, 129, 224 ], [ 2, 33, 121, 221 ], [ 2, 33, 121, 222 ], [ 2, 33, 126, 225 ], [ 2, 33, 126, 226 ], [ 2, 33, 130, 225 ], [ 2, 33, 130, 227 ], [ 2, 33, 133, 221 ], [ 2, 33, 133, 227 ], [ 2, 33, 135, 222 ], [ 2, 33, 135, 226 ], [ 2, 34, 85, 196 ], [ 2, 34, 85, 197 ], [ 2, 34, 122, 196 ], [ 2, 34, 122, 223 ], [ 2, 34, 131, 228 ], [ 2, 34, 131, 229 ], [ 2, 34, 134, 197 ], [ 2, 34, 134, 228 ], [ 2, 34, 136, 223 ], [ 2, 34, 136, 229 ], [ 2, 35, 119, 218 ], [ 2, 35, 119, 220 ], [ 2, 35, 123, 222 ], [ 2, 35, 123, 223 ], [ 2, 35, 127, 218 ], [ 2, 35, 127, 226 ], [ 2, 35, 132, 220 ], [ 2, 35, 132, 229 ], [ 2, 35, 135, 222 ], [ 2, 35, 135, 226 ], [ 2, 35, 136, 223 ], [ 2, 35, 136, 229 ], [ 3, 15, 86, 198 ], [ 3, 15, 86, 199 ], [ 3, 15, 87, 198 ], [ 3, 15, 87, 200 ], [ 3, 15, 88, 199 ], [ 3, 15, 88, 200 ], [ 3, 25, 110, 213 ], [ 3, 25, 110, 214 ], [ 3, 25, 111, 213 ], [ 3, 25, 111, 215 ], [ 3, 25, 112, 214 ], [ 3, 25, 112, 215 ], [ 3, 36, 110, 213 ], [ 3, 36, 110, 214 ], [ 3, 36, 137, 230 ], [ 3, 36, 137, 231 ], [ 3, 36, 138, 213 ], [ 3, 36, 138, 230 ], [ 3, 36, 139, 214 ], [ 3, 36, 139, 231 ], [ 3, 37, 86, 198 ], [ 3, 37, 86, 199 ], [ 3, 37, 140, 198 ], [ 3, 37, 140, 232 ], [ 3, 37, 141, 233 ], [ 3, 37, 141, 234 ], [ 3, 37, 142, 199 ], [ 3, 37, 142, 233 ], [ 3, 37, 143, 232 ], [ 3, 37, 143, 234 ], [ 3, 38, 137, 230 ], [ 3, 38, 137, 231 ], [ 3, 38, 144, 230 ], [ 3, 38, 144, 235 ], [ 3, 38, 145, 231 ], [ 3, 38, 145, 236 ], [ 3, 38, 146, 235 ], [ 3, 38, 146, 237 ], [ 3, 38, 147, 236 ], [ 3, 38, 147, 237 ], [ 3, 39, 111, 213 ], [ 3, 39, 111, 215 ], [ 3, 39, 138, 213 ], [ 3, 39, 138, 230 ], [ 3, 39, 144, 230 ], [ 3, 39, 144, 235 ], [ 3, 39, 148, 215 ], [ 3, 39, 148, 238 ], [ 3, 39, 149, 235 ], [ 3, 39, 149, 238 ], [ 3, 40, 87, 198 ], [ 3, 40, 87, 200 ], [ 3, 40, 140, 198 ], [ 3, 40, 140, 232 ], [ 3, 40, 150, 239 ], [ 3, 40, 150, 240 ], [ 3, 40, 151, 200 ], [ 3, 40, 151, 239 ], [ 3, 40, 152, 240 ], [ 3, 40, 152, 241 ], [ 3, 40, 153, 232 ], [ 3, 40, 153, 241 ], [ 3, 41, 141, 233 ], [ 3, 41, 141, 234 ], [ 3, 41, 150, 239 ], [ 3, 41, 150, 240 ], [ 3, 41, 154, 242 ], [ 3, 41, 154, 243 ], [ 3, 41, 155, 233 ], [ 3, 41, 155, 239 ], [ 3, 41, 156, 240 ], [ 3, 41, 156, 242 ], [ 3, 41, 157, 234 ], [ 3, 41, 157, 243 ], [ 3, 42, 112, 214 ], [ 3, 42, 112, 215 ], [ 3, 42, 139, 214 ], [ 3, 42, 139, 231 ], [ 3, 42, 145, 231 ], [ 3, 42, 145, 236 ], [ 3, 42, 148, 215 ], [ 3, 42, 148, 238 ], [ 3, 42, 154, 242 ], [ 3, 42, 154, 243 ], [ 3, 42, 158, 238 ], [ 3, 42, 158, 242 ], [ 3, 42, 159, 236 ], [ 3, 42, 159, 243 ], [ 3, 43, 88, 199 ], [ 3, 43, 88, 200 ], [ 3, 43, 142, 199 ], [ 3, 43, 142, 233 ], [ 3, 43, 151, 200 ], [ 3, 43, 151, 239 ], [ 3, 43, 155, 233 ], [ 3, 43, 155, 239 ], [ 3, 44, 146, 235 ], [ 3, 44, 146, 237 ], [ 3, 44, 149, 235 ], [ 3, 44, 149, 238 ], [ 3, 44, 152, 240 ], [ 3, 44, 152, 241 ], [ 3, 44, 156, 240 ], [ 3, 44, 156, 242 ], [ 3, 44, 158, 238 ], [ 3, 44, 158, 242 ], [ 3, 44, 160, 237 ], [ 3, 44, 160, 241 ], [ 3, 45, 143, 232 ], [ 3, 45, 143, 234 ], [ 3, 45, 147, 236 ], [ 3, 45, 147, 237 ], [ 3, 45, 153, 232 ], [ 3, 45, 153, 241 ], [ 3, 45, 157, 234 ], [ 3, 45, 157, 243 ], [ 3, 45, 159, 236 ], [ 3, 45, 159, 243 ], [ 3, 45, 160, 237 ], [ 3, 45, 160, 241 ], [ 4, 26, 110, 213 ], [ 4, 26, 110, 214 ], [ 4, 26, 113, 216 ], [ 4, 26, 113, 217 ], [ 4, 26, 114, 213 ], [ 4, 26, 114, 216 ], [ 4, 26, 115, 214 ], [ 4, 26, 115, 217 ], [ 4, 36, 110, 213 ], [ 4, 36, 110, 214 ], [ 4, 36, 137, 230 ], [ 4, 36, 137, 231 ], [ 4, 36, 138, 213 ], [ 4, 36, 138, 230 ], [ 4, 36, 139, 214 ], [ 4, 36, 139, 231 ], [ 4, 46, 113, 216 ], [ 4, 46, 113, 217 ], [ 4, 46, 161, 244 ], [ 4, 46, 161, 245 ], [ 4, 46, 162, 216 ], [ 4, 46, 162, 244 ], [ 4, 46, 163, 217 ], [ 4, 46, 163, 245 ], [ 4, 47, 137, 230 ], [ 4, 47, 137, 231 ], [ 4, 47, 161, 244 ], [ 4, 47, 161, 245 ], [ 4, 47, 164, 230 ], [ 4, 47, 164, 244 ], [ 4, 47, 165, 231 ], [ 4, 47, 165, 245 ], [ 4, 48, 114, 213 ], [ 4, 48, 114, 216 ], [ 4, 48, 138, 213 ], [ 4, 48, 138, 230 ], [ 4, 48, 162, 216 ], [ 4, 48, 162, 244 ], [ 4, 48, 164, 230 ], [ 4, 48, 164, 244 ], [ 4, 49, 115, 214 ], [ 4, 49, 115, 217 ], [ 4, 49, 139, 214 ], [ 4, 49, 139, 231 ], [ 4, 49, 163, 217 ], [ 4, 49, 163, 245 ], [ 4, 49, 165, 231 ], [ 4, 49, 165, 245 ], [ 5, 16, 86, 198 ], [ 5, 16, 86, 199 ], [ 5, 16, 89, 198 ], [ 5, 16, 89, 201 ], [ 5, 16, 90, 201 ], [ 5, 16, 90, 202 ], [ 5, 16, 91, 199 ], [ 5, 16, 91, 202 ], [ 5, 27, 113, 216 ], [ 5, 27, 113, 217 ], [ 5, 27, 116, 216 ], [ 5, 27, 116, 218 ], [ 5, 27, 117, 219 ], [ 5, 27, 117, 220 ], [ 5, 27, 118, 217 ], [ 5, 27, 118, 219 ], [ 5, 27, 119, 218 ], [ 5, 27, 119, 220 ], [ 5, 37, 86, 198 ], [ 5, 37, 86, 199 ], [ 5, 37, 140, 198 ], [ 5, 37, 140, 232 ], [ 5, 37, 141, 233 ], [ 5, 37, 141, 234 ], [ 5, 37, 142, 199 ], [ 5, 37, 142, 233 ], [ 5, 37, 143, 232 ], [ 5, 37, 143, 234 ], [ 5, 46, 113, 216 ], [ 5, 46, 113, 217 ], [ 5, 46, 161, 244 ], [ 5, 46, 161, 245 ], [ 5, 46, 162, 216 ], [ 5, 46, 162, 244 ], [ 5, 46, 163, 217 ], [ 5, 46, 163, 245 ], [ 5, 50, 161, 244 ], [ 5, 50, 161, 245 ], [ 5, 50, 166, 244 ], [ 5, 50, 166, 246 ], [ 5, 50, 167, 246 ], [ 5, 50, 167, 247 ], [ 5, 50, 168, 245 ], [ 5, 50, 168, 248 ], [ 5, 50, 169, 247 ], [ 5, 50, 169, 248 ], [ 5, 51, 116, 216 ], [ 5, 51, 116, 218 ], [ 5, 51, 162, 216 ], [ 5, 51, 162, 244 ], [ 5, 51, 166, 244 ], [ 5, 51, 166, 246 ], [ 5, 51, 170, 246 ], [ 5, 51, 170, 249 ], [ 5, 51, 171, 218 ], [ 5, 51, 171, 249 ], [ 5, 52, 89, 198 ], [ 5, 52, 89, 201 ], [ 5, 52, 117, 219 ], [ 5, 52, 117, 220 ], [ 5, 52, 140, 198 ], [ 5, 52, 140, 232 ], [ 5, 52, 172, 201 ], [ 5, 52, 172, 219 ], [ 5, 52, 173, 220 ], [ 5, 52, 173, 232 ], [ 5, 53, 141, 233 ], [ 5, 53, 141, 234 ], [ 5, 53, 167, 246 ], [ 5, 53, 167, 247 ], [ 5, 53, 170, 246 ], [ 5, 53, 170, 249 ], [ 5, 53, 174, 233 ], [ 5, 53, 174, 247 ], [ 5, 53, 175, 234 ], [ 5, 53, 175, 249 ], [ 5, 54, 90, 201 ], [ 5, 54, 90, 202 ], [ 5, 54, 118, 217 ], [ 5, 54, 118, 219 ], [ 5, 54, 163, 217 ], [ 5, 54, 163, 245 ], [ 5, 54, 168, 245 ], [ 5, 54, 168, 248 ], [ 5, 54, 172, 201 ], [ 5, 54, 172, 219 ], [ 5, 54, 176, 202 ], [ 5, 54, 176, 248 ], [ 5, 55, 91, 199 ], [ 5, 55, 91, 202 ], [ 5, 55, 142, 199 ], [ 5, 55, 142, 233 ], [ 5, 55, 169, 247 ], [ 5, 55, 169, 248 ], [ 5, 55, 174, 233 ], [ 5, 55, 174, 247 ], [ 5, 55, 176, 202 ], [ 5, 55, 176, 248 ], [ 5, 56, 119, 218 ], [ 5, 56, 119, 220 ], [ 5, 56, 143, 232 ], [ 5, 56, 143, 234 ], [ 5, 56, 171, 218 ], [ 5, 56, 171, 249 ], [ 5, 56, 173, 220 ], [ 5, 56, 173, 232 ], [ 5, 56, 175, 234 ], [ 5, 56, 175, 249 ], [ 6, 17, 83, 195 ], [ 6, 17, 83, 196 ], [ 6, 17, 92, 203 ], [ 6, 17, 92, 204 ], [ 6, 17, 93, 195 ], [ 6, 17, 93, 203 ], [ 6, 17, 94, 196 ], [ 6, 17, 94, 204 ], [ 6, 28, 83, 195 ], [ 6, 28, 83, 196 ], [ 6, 28, 120, 195 ], [ 6, 28, 120, 221 ], [ 6, 28, 121, 221 ], [ 6, 28, 121, 222 ], [ 6, 28, 122, 196 ], [ 6, 28, 122, 223 ], [ 6, 28, 123, 222 ], [ 6, 28, 123, 223 ], [ 6, 38, 137, 230 ], [ 6, 38, 137, 231 ], [ 6, 38, 144, 230 ], [ 6, 38, 144, 235 ], [ 6, 38, 145, 231 ], [ 6, 38, 145, 236 ], [ 6, 38, 146, 235 ], [ 6, 38, 146, 237 ], [ 6, 38, 147, 236 ], [ 6, 38, 147, 237 ], [ 6, 47, 137, 230 ], [ 6, 47, 137, 231 ], [ 6, 47, 161, 244 ], [ 6, 47, 161, 245 ], [ 6, 47, 164, 230 ], [ 6, 47, 164, 244 ], [ 6, 47, 165, 231 ], [ 6, 47, 165, 245 ], [ 6, 50, 161, 244 ], [ 6, 50, 161, 245 ], [ 6, 50, 166, 244 ], [ 6, 50, 166, 246 ], [ 6, 50, 167, 246 ], [ 6, 50, 167, 247 ], [ 6, 50, 168, 245 ], [ 6, 50, 168, 248 ], [ 6, 50, 169, 247 ], [ 6, 50, 169, 248 ], [ 6, 57, 92, 203 ], [ 6, 57, 92, 204 ], [ 6, 57, 144, 230 ], [ 6, 57, 144, 235 ], [ 6, 57, 164, 230 ], [ 6, 57, 164, 244 ], [ 6, 57, 166, 244 ], [ 6, 57, 166, 246 ], [ 6, 57, 177, 203 ], [ 6, 57, 177, 246 ], [ 6, 57, 178, 204 ], [ 6, 57, 178, 235 ], [ 6, 58, 93, 195 ], [ 6, 58, 93, 203 ], [ 6, 58, 120, 195 ], [ 6, 58, 120, 221 ], [ 6, 58, 167, 246 ], [ 6, 58, 167, 247 ], [ 6, 58, 177, 203 ], [ 6, 58, 177, 246 ], [ 6, 58, 179, 221 ], [ 6, 58, 179, 247 ], [ 6, 59, 145, 231 ], [ 6, 59, 145, 236 ], [ 6, 59, 165, 231 ], [ 6, 59, 165, 245 ], [ 6, 59, 168, 245 ], [ 6, 59, 168, 248 ], [ 6, 59, 180, 248 ], [ 6, 59, 180, 250 ], [ 6, 59, 181, 236 ], [ 6, 59, 181, 250 ], [ 6, 60, 121, 221 ], [ 6, 60, 121, 222 ], [ 6, 60, 169, 247 ], [ 6, 60, 169, 248 ], [ 6, 60, 179, 221 ], [ 6, 60, 179, 247 ], [ 6, 60, 180, 248 ], [ 6, 60, 180, 250 ], [ 6, 60, 182, 222 ], [ 6, 60, 182, 250 ], [ 6, 61, 94, 196 ], [ 6, 61, 94, 204 ], [ 6, 61, 122, 196 ], [ 6, 61, 122, 223 ], [ 6, 61, 146, 235 ], [ 6, 61, 146, 237 ], [ 6, 61, 178, 204 ], [ 6, 61, 178, 235 ], [ 6, 61, 183, 223 ], [ 6, 61, 183, 237 ], [ 6, 62, 123, 222 ], [ 6, 62, 123, 223 ], [ 6, 62, 147, 236 ], [ 6, 62, 147, 237 ], [ 6, 62, 181, 236 ], [ 6, 62, 181, 250 ], [ 6, 62, 182, 222 ], [ 6, 62, 182, 250 ], [ 6, 62, 183, 223 ], [ 6, 62, 183, 237 ], [ 7, 18, 92, 203 ], [ 7, 18, 92, 204 ], [ 7, 18, 95, 205 ], [ 7, 18, 95, 206 ], [ 7, 18, 96, 203 ], [ 7, 18, 96, 207 ], [ 7, 18, 97, 205 ], [ 7, 18, 97, 208 ], [ 7, 18, 98, 206 ], [ 7, 18, 98, 209 ], [ 7, 18, 99, 204 ], [ 7, 18, 99, 208 ], [ 7, 18, 100, 207 ], [ 7, 18, 100, 209 ], [ 7, 29, 111, 213 ], [ 7, 29, 111, 215 ], [ 7, 29, 114, 213 ], [ 7, 29, 114, 216 ], [ 7, 29, 116, 216 ], [ 7, 29, 116, 218 ], [ 7, 29, 124, 224 ], [ 7, 29, 124, 225 ], [ 7, 29, 125, 215 ], [ 7, 29, 125, 224 ], [ 7, 29, 126, 225 ], [ 7, 29, 126, 226 ], [ 7, 29, 127, 218 ], [ 7, 29, 127, 226 ], [ 7, 39, 111, 213 ], [ 7, 39, 111, 215 ], [ 7, 39, 138, 213 ], [ 7, 39, 138, 230 ], [ 7, 39, 144, 230 ], [ 7, 39, 144, 235 ], [ 7, 39, 148, 215 ], [ 7, 39, 148, 238 ], [ 7, 39, 149, 235 ], [ 7, 39, 149, 238 ], [ 7, 48, 114, 213 ], [ 7, 48, 114, 216 ], [ 7, 48, 138, 213 ], [ 7, 48, 138, 230 ], [ 7, 48, 162, 216 ], [ 7, 48, 162, 244 ], [ 7, 48, 164, 230 ], [ 7, 48, 164, 244 ], [ 7, 51, 116, 216 ], [ 7, 51, 116, 218 ], [ 7, 51, 162, 216 ], [ 7, 51, 162, 244 ], [ 7, 51, 166, 244 ], [ 7, 51, 166, 246 ], [ 7, 51, 170, 246 ], [ 7, 51, 170, 249 ], [ 7, 51, 171, 218 ], [ 7, 51, 171, 249 ], [ 7, 57, 92, 203 ], [ 7, 57, 92, 204 ], [ 7, 57, 144, 230 ], [ 7, 57, 144, 235 ], [ 7, 57, 164, 230 ], [ 7, 57, 164, 244 ], [ 7, 57, 166, 244 ], [ 7, 57, 166, 246 ], [ 7, 57, 177, 203 ], [ 7, 57, 177, 246 ], [ 7, 57, 178, 204 ], [ 7, 57, 178, 235 ], [ 7, 63, 95, 205 ], [ 7, 63, 95, 206 ], [ 7, 63, 124, 224 ], [ 7, 63, 124, 225 ], [ 7, 63, 184, 205 ], [ 7, 63, 184, 224 ], [ 7, 63, 185, 206 ], [ 7, 63, 185, 225 ], [ 7, 64, 96, 203 ], [ 7, 64, 96, 207 ], [ 7, 64, 170, 246 ], [ 7, 64, 170, 249 ], [ 7, 64, 177, 203 ], [ 7, 64, 177, 246 ], [ 7, 64, 186, 207 ], [ 7, 64, 186, 249 ], [ 7, 65, 97, 205 ], [ 7, 65, 97, 208 ], [ 7, 65, 125, 215 ], [ 7, 65, 125, 224 ], [ 7, 65, 148, 215 ], [ 7, 65, 148, 238 ], [ 7, 65, 184, 205 ], [ 7, 65, 184, 224 ], [ 7, 65, 187, 208 ], [ 7, 65, 187, 238 ], [ 7, 66, 98, 206 ], [ 7, 66, 98, 209 ], [ 7, 66, 126, 225 ], [ 7, 66, 126, 226 ], [ 7, 66, 185, 206 ], [ 7, 66, 185, 225 ], [ 7, 66, 188, 209 ], [ 7, 66, 188, 226 ], [ 7, 67, 99, 204 ], [ 7, 67, 99, 208 ], [ 7, 67, 149, 235 ], [ 7, 67, 149, 238 ], [ 7, 67, 178, 204 ], [ 7, 67, 178, 235 ], [ 7, 67, 187, 208 ], [ 7, 67, 187, 238 ], [ 7, 68, 100, 207 ], [ 7, 68, 100, 209 ], [ 7, 68, 127, 218 ], [ 7, 68, 127, 226 ], [ 7, 68, 171, 218 ], [ 7, 68, 171, 249 ], [ 7, 68, 186, 207 ], [ 7, 68, 186, 249 ], [ 7, 68, 188, 209 ], [ 7, 68, 188, 226 ], [ 8, 19, 87, 198 ], [ 8, 19, 87, 200 ], [ 8, 19, 89, 198 ], [ 8, 19, 89, 201 ], [ 8, 19, 95, 205 ], [ 8, 19, 95, 206 ], [ 8, 19, 101, 201 ], [ 8, 19, 101, 205 ], [ 8, 19, 102, 200 ], [ 8, 19, 102, 206 ], [ 8, 30, 117, 219 ], [ 8, 30, 117, 220 ], [ 8, 30, 124, 224 ], [ 8, 30, 124, 225 ], [ 8, 30, 128, 227 ], [ 8, 30, 128, 228 ], [ 8, 30, 129, 219 ], [ 8, 30, 129, 224 ], [ 8, 30, 130, 225 ], [ 8, 30, 130, 227 ], [ 8, 30, 131, 228 ], [ 8, 30, 131, 229 ], [ 8, 30, 132, 220 ], [ 8, 30, 132, 229 ], [ 8, 40, 87, 198 ], [ 8, 40, 87, 200 ], [ 8, 40, 140, 198 ], [ 8, 40, 140, 232 ], [ 8, 40, 150, 239 ], [ 8, 40, 150, 240 ], [ 8, 40, 151, 200 ], [ 8, 40, 151, 239 ], [ 8, 40, 152, 240 ], [ 8, 40, 152, 241 ], [ 8, 40, 153, 232 ], [ 8, 40, 153, 241 ], [ 8, 52, 89, 198 ], [ 8, 52, 89, 201 ], [ 8, 52, 117, 219 ], [ 8, 52, 117, 220 ], [ 8, 52, 140, 198 ], [ 8, 52, 140, 232 ], [ 8, 52, 172, 201 ], [ 8, 52, 172, 219 ], [ 8, 52, 173, 220 ], [ 8, 52, 173, 232 ], [ 8, 63, 95, 205 ], [ 8, 63, 95, 206 ], [ 8, 63, 124, 224 ], [ 8, 63, 124, 225 ], [ 8, 63, 184, 205 ], [ 8, 63, 184, 224 ], [ 8, 63, 185, 206 ], [ 8, 63, 185, 225 ], [ 8, 69, 128, 227 ], [ 8, 69, 128, 228 ], [ 8, 69, 150, 239 ], [ 8, 69, 150, 240 ], [ 8, 69, 189, 227 ], [ 8, 69, 189, 239 ], [ 8, 69, 190, 228 ], [ 8, 69, 190, 240 ], [ 8, 70, 101, 201 ], [ 8, 70, 101, 205 ], [ 8, 70, 129, 219 ], [ 8, 70, 129, 224 ], [ 8, 70, 172, 201 ], [ 8, 70, 172, 219 ], [ 8, 70, 184, 205 ], [ 8, 70, 184, 224 ], [ 8, 71, 102, 200 ], [ 8, 71, 102, 206 ], [ 8, 71, 130, 225 ], [ 8, 71, 130, 227 ], [ 8, 71, 151, 200 ], [ 8, 71, 151, 239 ], [ 8, 71, 185, 206 ], [ 8, 71, 185, 225 ], [ 8, 71, 189, 227 ], [ 8, 71, 189, 239 ], [ 8, 72, 131, 228 ], [ 8, 72, 131, 229 ], [ 8, 72, 152, 240 ], [ 8, 72, 152, 241 ], [ 8, 72, 190, 228 ], [ 8, 72, 190, 240 ], [ 8, 72, 191, 229 ], [ 8, 72, 191, 241 ], [ 8, 73, 132, 220 ], [ 8, 73, 132, 229 ], [ 8, 73, 153, 232 ], [ 8, 73, 153, 241 ], [ 8, 73, 173, 220 ], [ 8, 73, 173, 232 ], [ 8, 73, 191, 229 ], [ 8, 73, 191, 241 ], [ 9, 20, 84, 195 ], [ 9, 20, 84, 197 ], [ 9, 20, 93, 195 ], [ 9, 20, 93, 203 ], [ 9, 20, 96, 203 ], [ 9, 20, 96, 207 ], [ 9, 20, 103, 210 ], [ 9, 20, 103, 211 ], [ 9, 20, 104, 197 ], [ 9, 20, 104, 210 ], [ 9, 20, 105, 207 ], [ 9, 20, 105, 211 ], [ 9, 31, 84, 195 ], [ 9, 31, 84, 197 ], [ 9, 31, 120, 195 ], [ 9, 31, 120, 221 ], [ 9, 31, 128, 227 ], [ 9, 31, 128, 228 ], [ 9, 31, 133, 221 ], [ 9, 31, 133, 227 ], [ 9, 31, 134, 197 ], [ 9, 31, 134, 228 ], [ 9, 41, 141, 233 ], [ 9, 41, 141, 234 ], [ 9, 41, 150, 239 ], [ 9, 41, 150, 240 ], [ 9, 41, 154, 242 ], [ 9, 41, 154, 243 ], [ 9, 41, 155, 233 ], [ 9, 41, 155, 239 ], [ 9, 41, 156, 240 ], [ 9, 41, 156, 242 ], [ 9, 41, 157, 234 ], [ 9, 41, 157, 243 ], [ 9, 53, 141, 233 ], [ 9, 53, 141, 234 ], [ 9, 53, 167, 246 ], [ 9, 53, 167, 247 ], [ 9, 53, 170, 246 ], [ 9, 53, 170, 249 ], [ 9, 53, 174, 233 ], [ 9, 53, 174, 247 ], [ 9, 53, 175, 234 ], [ 9, 53, 175, 249 ], [ 9, 58, 93, 195 ], [ 9, 58, 93, 203 ], [ 9, 58, 120, 195 ], [ 9, 58, 120, 221 ], [ 9, 58, 167, 246 ], [ 9, 58, 167, 247 ], [ 9, 58, 177, 203 ], [ 9, 58, 177, 246 ], [ 9, 58, 179, 221 ], [ 9, 58, 179, 247 ], [ 9, 64, 96, 203 ], [ 9, 64, 96, 207 ], [ 9, 64, 170, 246 ], [ 9, 64, 170, 249 ], [ 9, 64, 177, 203 ], [ 9, 64, 177, 246 ], [ 9, 64, 186, 207 ], [ 9, 64, 186, 249 ], [ 9, 69, 128, 227 ], [ 9, 69, 128, 228 ], [ 9, 69, 150, 239 ], [ 9, 69, 150, 240 ], [ 9, 69, 189, 227 ], [ 9, 69, 189, 239 ], [ 9, 69, 190, 228 ], [ 9, 69, 190, 240 ], [ 9, 74, 103, 210 ], [ 9, 74, 103, 211 ], [ 9, 74, 154, 242 ], [ 9, 74, 154, 243 ], [ 9, 74, 192, 210 ], [ 9, 74, 192, 242 ], [ 9, 74, 193, 211 ], [ 9, 74, 193, 243 ], [ 9, 75, 133, 221 ], [ 9, 75, 133, 227 ], [ 9, 75, 155, 233 ], [ 9, 75, 155, 239 ], [ 9, 75, 174, 233 ], [ 9, 75, 174, 247 ], [ 9, 75, 179, 221 ], [ 9, 75, 179, 247 ], [ 9, 75, 189, 227 ], [ 9, 75, 189, 239 ], [ 9, 76, 104, 197 ], [ 9, 76, 104, 210 ], [ 9, 76, 134, 197 ], [ 9, 76, 134, 228 ], [ 9, 76, 156, 240 ], [ 9, 76, 156, 242 ], [ 9, 76, 190, 228 ], [ 9, 76, 190, 240 ], [ 9, 76, 192, 210 ], [ 9, 76, 192, 242 ], [ 9, 77, 105, 207 ], [ 9, 77, 105, 211 ], [ 9, 77, 157, 234 ], [ 9, 77, 157, 243 ], [ 9, 77, 175, 234 ], [ 9, 77, 175, 249 ], [ 9, 77, 186, 207 ], [ 9, 77, 186, 249 ], [ 9, 77, 193, 211 ], [ 9, 77, 193, 243 ], [ 10, 21, 90, 201 ], [ 10, 21, 90, 202 ], [ 10, 21, 97, 205 ], [ 10, 21, 97, 208 ], [ 10, 21, 101, 201 ], [ 10, 21, 101, 205 ], [ 10, 21, 103, 210 ], [ 10, 21, 103, 211 ], [ 10, 21, 106, 202 ], [ 10, 21, 106, 212 ], [ 10, 21, 107, 208 ], [ 10, 21, 107, 210 ], [ 10, 21, 108, 211 ], [ 10, 21, 108, 212 ], [ 10, 32, 112, 214 ], [ 10, 32, 112, 215 ], [ 10, 32, 115, 214 ], [ 10, 32, 115, 217 ], [ 10, 32, 118, 217 ], [ 10, 32, 118, 219 ], [ 10, 32, 125, 215 ], [ 10, 32, 125, 224 ], [ 10, 32, 129, 219 ], [ 10, 32, 129, 224 ], [ 10, 42, 112, 214 ], [ 10, 42, 112, 215 ], [ 10, 42, 139, 214 ], [ 10, 42, 139, 231 ], [ 10, 42, 145, 231 ], [ 10, 42, 145, 236 ], [ 10, 42, 148, 215 ], [ 10, 42, 148, 238 ], [ 10, 42, 154, 242 ], [ 10, 42, 154, 243 ], [ 10, 42, 158, 238 ], [ 10, 42, 158, 242 ], [ 10, 42, 159, 236 ], [ 10, 42, 159, 243 ], [ 10, 49, 115, 214 ], [ 10, 49, 115, 217 ], [ 10, 49, 139, 214 ], [ 10, 49, 139, 231 ], [ 10, 49, 163, 217 ], [ 10, 49, 163, 245 ], [ 10, 49, 165, 231 ], [ 10, 49, 165, 245 ], [ 10, 54, 90, 201 ], [ 10, 54, 90, 202 ], [ 10, 54, 118, 217 ], [ 10, 54, 118, 219 ], [ 10, 54, 163, 217 ], [ 10, 54, 163, 245 ], [ 10, 54, 168, 245 ], [ 10, 54, 168, 248 ], [ 10, 54, 172, 201 ], [ 10, 54, 172, 219 ], [ 10, 54, 176, 202 ], [ 10, 54, 176, 248 ], [ 10, 59, 145, 231 ], [ 10, 59, 145, 236 ], [ 10, 59, 165, 231 ], [ 10, 59, 165, 245 ], [ 10, 59, 168, 245 ], [ 10, 59, 168, 248 ], [ 10, 59, 180, 248 ], [ 10, 59, 180, 250 ], [ 10, 59, 181, 236 ], [ 10, 59, 181, 250 ], [ 10, 65, 97, 205 ], [ 10, 65, 97, 208 ], [ 10, 65, 125, 215 ], [ 10, 65, 125, 224 ], [ 10, 65, 148, 215 ], [ 10, 65, 148, 238 ], [ 10, 65, 184, 205 ], [ 10, 65, 184, 224 ], [ 10, 65, 187, 208 ], [ 10, 65, 187, 238 ], [ 10, 70, 101, 201 ], [ 10, 70, 101, 205 ], [ 10, 70, 129, 219 ], [ 10, 70, 129, 224 ], [ 10, 70, 172, 201 ], [ 10, 70, 172, 219 ], [ 10, 70, 184, 205 ], [ 10, 70, 184, 224 ], [ 10, 74, 103, 210 ], [ 10, 74, 103, 211 ], [ 10, 74, 154, 242 ], [ 10, 74, 154, 243 ], [ 10, 74, 192, 210 ], [ 10, 74, 192, 242 ], [ 10, 74, 193, 211 ], [ 10, 74, 193, 243 ], [ 10, 78, 106, 202 ], [ 10, 78, 106, 212 ], [ 10, 78, 176, 202 ], [ 10, 78, 176, 248 ], [ 10, 78, 180, 248 ], [ 10, 78, 180, 250 ], [ 10, 78, 194, 212 ], [ 10, 78, 194, 250 ], [ 10, 79, 107, 208 ], [ 10, 79, 107, 210 ], [ 10, 79, 158, 238 ], [ 10, 79, 158, 242 ], [ 10, 79, 187, 208 ], [ 10, 79, 187, 238 ], [ 10, 79, 192, 210 ], [ 10, 79, 192, 242 ], [ 10, 80, 108, 211 ], [ 10, 80, 108, 212 ], [ 10, 80, 159, 236 ], [ 10, 80, 159, 243 ], [ 10, 80, 181, 236 ], [ 10, 80, 181, 250 ], [ 10, 80, 193, 211 ], [ 10, 80, 193, 243 ], [ 10, 80, 194, 212 ], [ 10, 80, 194, 250 ], [ 11, 22, 88, 199 ], [ 11, 22, 88, 200 ], [ 11, 22, 91, 199 ], [ 11, 22, 91, 202 ], [ 11, 22, 98, 206 ], [ 11, 22, 98, 209 ], [ 11, 22, 102, 200 ], [ 11, 22, 102, 206 ], [ 11, 22, 106, 202 ], [ 11, 22, 106, 212 ], [ 11, 22, 109, 209 ], [ 11, 22, 109, 212 ], [ 11, 33, 121, 221 ], [ 11, 33, 121, 222 ], [ 11, 33, 126, 225 ], [ 11, 33, 126, 226 ], [ 11, 33, 130, 225 ], [ 11, 33, 130, 227 ], [ 11, 33, 133, 221 ], [ 11, 33, 133, 227 ], [ 11, 33, 135, 222 ], [ 11, 33, 135, 226 ], [ 11, 43, 88, 199 ], [ 11, 43, 88, 200 ], [ 11, 43, 142, 199 ], [ 11, 43, 142, 233 ], [ 11, 43, 151, 200 ], [ 11, 43, 151, 239 ], [ 11, 43, 155, 233 ], [ 11, 43, 155, 239 ], [ 11, 55, 91, 199 ], [ 11, 55, 91, 202 ], [ 11, 55, 142, 199 ], [ 11, 55, 142, 233 ], [ 11, 55, 169, 247 ], [ 11, 55, 169, 248 ], [ 11, 55, 174, 233 ], [ 11, 55, 174, 247 ], [ 11, 55, 176, 202 ], [ 11, 55, 176, 248 ], [ 11, 60, 121, 221 ], [ 11, 60, 121, 222 ], [ 11, 60, 169, 247 ], [ 11, 60, 169, 248 ], [ 11, 60, 179, 221 ], [ 11, 60, 179, 247 ], [ 11, 60, 180, 248 ], [ 11, 60, 180, 250 ], [ 11, 60, 182, 222 ], [ 11, 60, 182, 250 ], [ 11, 66, 98, 206 ], [ 11, 66, 98, 209 ], [ 11, 66, 126, 225 ], [ 11, 66, 126, 226 ], [ 11, 66, 185, 206 ], [ 11, 66, 185, 225 ], [ 11, 66, 188, 209 ], [ 11, 66, 188, 226 ], [ 11, 71, 102, 200 ], [ 11, 71, 102, 206 ], [ 11, 71, 130, 225 ], [ 11, 71, 130, 227 ], [ 11, 71, 151, 200 ], [ 11, 71, 151, 239 ], [ 11, 71, 185, 206 ], [ 11, 71, 185, 225 ], [ 11, 71, 189, 227 ], [ 11, 71, 189, 239 ], [ 11, 75, 133, 221 ], [ 11, 75, 133, 227 ], [ 11, 75, 155, 233 ], [ 11, 75, 155, 239 ], [ 11, 75, 174, 233 ], [ 11, 75, 174, 247 ], [ 11, 75, 179, 221 ], [ 11, 75, 179, 247 ], [ 11, 75, 189, 227 ], [ 11, 75, 189, 239 ], [ 11, 78, 106, 202 ], [ 11, 78, 106, 212 ], [ 11, 78, 176, 202 ], [ 11, 78, 176, 248 ], [ 11, 78, 180, 248 ], [ 11, 78, 180, 250 ], [ 11, 78, 194, 212 ], [ 11, 78, 194, 250 ], [ 11, 81, 109, 209 ], [ 11, 81, 109, 212 ], [ 11, 81, 135, 222 ], [ 11, 81, 135, 226 ], [ 11, 81, 182, 222 ], [ 11, 81, 182, 250 ], [ 11, 81, 188, 209 ], [ 11, 81, 188, 226 ], [ 11, 81, 194, 212 ], [ 11, 81, 194, 250 ], [ 12, 23, 85, 196 ], [ 12, 23, 85, 197 ], [ 12, 23, 94, 196 ], [ 12, 23, 94, 204 ], [ 12, 23, 99, 204 ], [ 12, 23, 99, 208 ], [ 12, 23, 104, 197 ], [ 12, 23, 104, 210 ], [ 12, 23, 107, 208 ], [ 12, 23, 107, 210 ], [ 12, 34, 85, 196 ], [ 12, 34, 85, 197 ], [ 12, 34, 122, 196 ], [ 12, 34, 122, 223 ], [ 12, 34, 131, 228 ], [ 12, 34, 131, 229 ], [ 12, 34, 134, 197 ], [ 12, 34, 134, 228 ], [ 12, 34, 136, 223 ], [ 12, 34, 136, 229 ], [ 12, 44, 146, 235 ], [ 12, 44, 146, 237 ], [ 12, 44, 149, 235 ], [ 12, 44, 149, 238 ], [ 12, 44, 152, 240 ], [ 12, 44, 152, 241 ], [ 12, 44, 156, 240 ], [ 12, 44, 156, 242 ], [ 12, 44, 158, 238 ], [ 12, 44, 158, 242 ], [ 12, 44, 160, 237 ], [ 12, 44, 160, 241 ], [ 12, 61, 94, 196 ], [ 12, 61, 94, 204 ], [ 12, 61, 122, 196 ], [ 12, 61, 122, 223 ], [ 12, 61, 146, 235 ], [ 12, 61, 146, 237 ], [ 12, 61, 178, 204 ], [ 12, 61, 178, 235 ], [ 12, 61, 183, 223 ], [ 12, 61, 183, 237 ], [ 12, 67, 99, 204 ], [ 12, 67, 99, 208 ], [ 12, 67, 149, 235 ], [ 12, 67, 149, 238 ], [ 12, 67, 178, 204 ], [ 12, 67, 178, 235 ], [ 12, 67, 187, 208 ], [ 12, 67, 187, 238 ], [ 12, 72, 131, 228 ], [ 12, 72, 131, 229 ], [ 12, 72, 152, 240 ], [ 12, 72, 152, 241 ], [ 12, 72, 190, 228 ], [ 12, 72, 190, 240 ], [ 12, 72, 191, 229 ], [ 12, 72, 191, 241 ], [ 12, 76, 104, 197 ], [ 12, 76, 104, 210 ], [ 12, 76, 134, 197 ], [ 12, 76, 134, 228 ], [ 12, 76, 156, 240 ], [ 12, 76, 156, 242 ], [ 12, 76, 190, 228 ], [ 12, 76, 190, 240 ], [ 12, 76, 192, 210 ], [ 12, 76, 192, 242 ], [ 12, 79, 107, 208 ], [ 12, 79, 107, 210 ], [ 12, 79, 158, 238 ], [ 12, 79, 158, 242 ], [ 12, 79, 187, 208 ], [ 12, 79, 187, 238 ], [ 12, 79, 192, 210 ], [ 12, 79, 192, 242 ], [ 12, 82, 136, 223 ], [ 12, 82, 136, 229 ], [ 12, 82, 160, 237 ], [ 12, 82, 160, 241 ], [ 12, 82, 183, 223 ], [ 12, 82, 183, 237 ], [ 12, 82, 191, 229 ], [ 12, 82, 191, 241 ], [ 13, 24, 100, 207 ], [ 13, 24, 100, 209 ], [ 13, 24, 105, 207 ], [ 13, 24, 105, 211 ], [ 13, 24, 108, 211 ], [ 13, 24, 108, 212 ], [ 13, 24, 109, 209 ], [ 13, 24, 109, 212 ], [ 13, 35, 119, 218 ], [ 13, 35, 119, 220 ], [ 13, 35, 123, 222 ], [ 13, 35, 123, 223 ], [ 13, 35, 127, 218 ], [ 13, 35, 127, 226 ], [ 13, 35, 132, 220 ], [ 13, 35, 132, 229 ], [ 13, 35, 135, 222 ], [ 13, 35, 135, 226 ], [ 13, 35, 136, 223 ], [ 13, 35, 136, 229 ], [ 13, 45, 143, 232 ], [ 13, 45, 143, 234 ], [ 13, 45, 147, 236 ], [ 13, 45, 147, 237 ], [ 13, 45, 153, 232 ], [ 13, 45, 153, 241 ], [ 13, 45, 157, 234 ], [ 13, 45, 157, 243 ], [ 13, 45, 159, 236 ], [ 13, 45, 159, 243 ], [ 13, 45, 160, 237 ], [ 13, 45, 160, 241 ], [ 13, 56, 119, 218 ], [ 13, 56, 119, 220 ], [ 13, 56, 143, 232 ], [ 13, 56, 143, 234 ], [ 13, 56, 171, 218 ], [ 13, 56, 171, 249 ], [ 13, 56, 173, 220 ], [ 13, 56, 173, 232 ], [ 13, 56, 175, 234 ], [ 13, 56, 175, 249 ], [ 13, 62, 123, 222 ], [ 13, 62, 123, 223 ], [ 13, 62, 147, 236 ], [ 13, 62, 147, 237 ], [ 13, 62, 181, 236 ], [ 13, 62, 181, 250 ], [ 13, 62, 182, 222 ], [ 13, 62, 182, 250 ], [ 13, 62, 183, 223 ], [ 13, 62, 183, 237 ], [ 13, 68, 100, 207 ], [ 13, 68, 100, 209 ], [ 13, 68, 127, 218 ], [ 13, 68, 127, 226 ], [ 13, 68, 171, 218 ], [ 13, 68, 171, 249 ], [ 13, 68, 186, 207 ], [ 13, 68, 186, 249 ], [ 13, 68, 188, 209 ], [ 13, 68, 188, 226 ], [ 13, 73, 132, 220 ], [ 13, 73, 132, 229 ], [ 13, 73, 153, 232 ], [ 13, 73, 153, 241 ], [ 13, 73, 173, 220 ], [ 13, 73, 173, 232 ], [ 13, 73, 191, 229 ], [ 13, 73, 191, 241 ], [ 13, 77, 105, 207 ], [ 13, 77, 105, 211 ], [ 13, 77, 157, 234 ], [ 13, 77, 157, 243 ], [ 13, 77, 175, 234 ], [ 13, 77, 175, 249 ], [ 13, 77, 186, 207 ], [ 13, 77, 186, 249 ], [ 13, 77, 193, 211 ], [ 13, 77, 193, 243 ], [ 13, 80, 108, 211 ], [ 13, 80, 108, 212 ], [ 13, 80, 159, 236 ], [ 13, 80, 159, 243 ], [ 13, 80, 181, 236 ], [ 13, 80, 181, 250 ], [ 13, 80, 193, 211 ], [ 13, 80, 193, 243 ], [ 13, 80, 194, 212 ], [ 13, 80, 194, 250 ], [ 13, 81, 109, 209 ], [ 13, 81, 109, 212 ], [ 13, 81, 135, 222 ], [ 13, 81, 135, 226 ], [ 13, 81, 182, 222 ], [ 13, 81, 182, 250 ], [ 13, 81, 188, 209 ], [ 13, 81, 188, 226 ], [ 13, 81, 194, 212 ], [ 13, 81, 194, 250 ], [ 13, 82, 136, 223 ], [ 13, 82, 136, 229 ], [ 13, 82, 160, 237 ], [ 13, 82, 160, 241 ], [ 13, 82, 183, 223 ], [ 13, 82, 183, 237 ], [ 13, 82, 191, 229 ], [ 13, 82, 191, 241 ] ];