#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### 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: ### ### ### ### double_trefoil_bsd (= S_3_16_92_bsd) ### ### ### ### ### ### description: ### ### ### ### barycentric subdivision of the double trefoil sphere ### ### ### ### ### ### properties: ### ### ### ### f=(400,2608,4416,2208), ### ### H_*=(Z,0,0,Z), ### ### not vertex-decomposable, ### ### perfect discrete Morse vector: (1,0,0,1) ### ### ### ### ### ### references: ### ### ### ### R. Ehrenborg and M. Hachimori. ### ### Non-constructible complexes and the bridge index. ### ### Eur. J. Comb. 22, 475-489 (2001). ### ### ### ### B. Benedetti and G. M. Ziegler. ### ### On locally constructible spheres and balls. ### ### Acta Math. 206, 205-243 (2011). ### ### ### ### B. Benedetti and F. H. Lutz. ### ### Knots in collapsible and non-collapsible balls. ### ### Electron. J. Comb. 20, No. 3, Research Paper P31, 29 p. (2013). ### ### ### ### B. Benedetti and F. H. Lutz. ### ### Random discrete Morse theory and a new library of triangulations. ### ### Exp. Math. 23, 66-94 (2014). ### ### ### ### ### #################################################################################### #################################################################################### #################################################################################### facets:=[ [ 1, 17, 125, 309 ], [ 1, 17, 125, 310 ], [ 1, 17, 126, 309 ], [ 1, 17, 126, 311 ], [ 1, 17, 127, 310 ], [ 1, 17, 127, 311 ], [ 1, 18, 128, 312 ], [ 1, 18, 128, 313 ], [ 1, 18, 129, 312 ], [ 1, 18, 129, 314 ], [ 1, 18, 130, 313 ], [ 1, 18, 130, 314 ], [ 1, 19, 131, 315 ], [ 1, 19, 131, 316 ], [ 1, 19, 132, 315 ], [ 1, 19, 132, 317 ], [ 1, 19, 133, 318 ], [ 1, 19, 133, 319 ], [ 1, 19, 134, 317 ], [ 1, 19, 134, 320 ], [ 1, 19, 135, 318 ], [ 1, 19, 135, 320 ], [ 1, 19, 136, 316 ], [ 1, 19, 136, 319 ], [ 1, 20, 125, 309 ], [ 1, 20, 125, 310 ], [ 1, 20, 131, 315 ], [ 1, 20, 131, 316 ], [ 1, 20, 137, 309 ], [ 1, 20, 137, 315 ], [ 1, 20, 138, 310 ], [ 1, 20, 138, 321 ], [ 1, 20, 139, 321 ], [ 1, 20, 139, 322 ], [ 1, 20, 140, 316 ], [ 1, 20, 140, 322 ], [ 1, 21, 126, 309 ], [ 1, 21, 126, 311 ], [ 1, 21, 132, 315 ], [ 1, 21, 132, 317 ], [ 1, 21, 137, 309 ], [ 1, 21, 137, 315 ], [ 1, 21, 141, 311 ], [ 1, 21, 141, 317 ], [ 1, 22, 128, 312 ], [ 1, 22, 128, 313 ], [ 1, 22, 142, 312 ], [ 1, 22, 142, 323 ], [ 1, 22, 143, 323 ], [ 1, 22, 143, 324 ], [ 1, 22, 144, 313 ], [ 1, 22, 144, 324 ], [ 1, 23, 129, 312 ], [ 1, 23, 129, 314 ], [ 1, 23, 142, 312 ], [ 1, 23, 142, 323 ], [ 1, 23, 145, 323 ], [ 1, 23, 145, 325 ], [ 1, 23, 146, 326 ], [ 1, 23, 146, 327 ], [ 1, 23, 147, 314 ], [ 1, 23, 147, 328 ], [ 1, 23, 148, 325 ], [ 1, 23, 148, 326 ], [ 1, 23, 149, 327 ], [ 1, 23, 149, 328 ], [ 1, 24, 143, 323 ], [ 1, 24, 143, 324 ], [ 1, 24, 145, 323 ], [ 1, 24, 145, 325 ], [ 1, 24, 150, 324 ], [ 1, 24, 150, 329 ], [ 1, 24, 151, 325 ], [ 1, 24, 151, 330 ], [ 1, 24, 152, 329 ], [ 1, 24, 152, 330 ], [ 1, 25, 133, 318 ], [ 1, 25, 133, 319 ], [ 1, 25, 146, 326 ], [ 1, 25, 146, 327 ], [ 1, 25, 153, 318 ], [ 1, 25, 153, 331 ], [ 1, 25, 154, 326 ], [ 1, 25, 154, 331 ], [ 1, 25, 155, 327 ], [ 1, 25, 155, 332 ], [ 1, 25, 156, 319 ], [ 1, 25, 156, 332 ], [ 1, 26, 130, 313 ], [ 1, 26, 130, 314 ], [ 1, 26, 144, 313 ], [ 1, 26, 144, 324 ], [ 1, 26, 147, 314 ], [ 1, 26, 147, 328 ], [ 1, 26, 150, 324 ], [ 1, 26, 150, 329 ], [ 1, 26, 157, 328 ], [ 1, 26, 157, 329 ], [ 1, 27, 127, 310 ], [ 1, 27, 127, 311 ], [ 1, 27, 134, 317 ], [ 1, 27, 134, 320 ], [ 1, 27, 138, 310 ], [ 1, 27, 138, 321 ], [ 1, 27, 141, 311 ], [ 1, 27, 141, 317 ], [ 1, 27, 158, 320 ], [ 1, 27, 158, 321 ], [ 1, 28, 135, 318 ], [ 1, 28, 135, 320 ], [ 1, 28, 139, 321 ], [ 1, 28, 139, 322 ], [ 1, 28, 153, 318 ], [ 1, 28, 153, 331 ], [ 1, 28, 158, 320 ], [ 1, 28, 158, 321 ], [ 1, 28, 159, 331 ], [ 1, 28, 159, 333 ], [ 1, 28, 160, 322 ], [ 1, 28, 160, 333 ], [ 1, 29, 148, 325 ], [ 1, 29, 148, 326 ], [ 1, 29, 151, 325 ], [ 1, 29, 151, 330 ], [ 1, 29, 154, 326 ], [ 1, 29, 154, 331 ], [ 1, 29, 159, 331 ], [ 1, 29, 159, 333 ], [ 1, 29, 161, 330 ], [ 1, 29, 161, 334 ], [ 1, 29, 162, 333 ], [ 1, 29, 162, 334 ], [ 1, 30, 149, 327 ], [ 1, 30, 149, 328 ], [ 1, 30, 152, 329 ], [ 1, 30, 152, 330 ], [ 1, 30, 155, 327 ], [ 1, 30, 155, 332 ], [ 1, 30, 157, 328 ], [ 1, 30, 157, 329 ], [ 1, 30, 161, 330 ], [ 1, 30, 161, 334 ], [ 1, 30, 163, 332 ], [ 1, 30, 163, 334 ], [ 1, 31, 136, 316 ], [ 1, 31, 136, 319 ], [ 1, 31, 140, 316 ], [ 1, 31, 140, 322 ], [ 1, 31, 156, 319 ], [ 1, 31, 156, 332 ], [ 1, 31, 160, 322 ], [ 1, 31, 160, 333 ], [ 1, 31, 162, 333 ], [ 1, 31, 162, 334 ], [ 1, 31, 163, 332 ], [ 1, 31, 163, 334 ], [ 2, 17, 125, 309 ], [ 2, 17, 125, 310 ], [ 2, 17, 126, 309 ], [ 2, 17, 126, 311 ], [ 2, 17, 127, 310 ], [ 2, 17, 127, 311 ], [ 2, 32, 164, 335 ], [ 2, 32, 164, 336 ], [ 2, 32, 165, 335 ], [ 2, 32, 165, 337 ], [ 2, 32, 166, 336 ], [ 2, 32, 166, 337 ], [ 2, 33, 164, 335 ], [ 2, 33, 164, 336 ], [ 2, 33, 167, 338 ], [ 2, 33, 167, 339 ], [ 2, 33, 168, 338 ], [ 2, 33, 168, 340 ], [ 2, 33, 169, 341 ], [ 2, 33, 169, 342 ], [ 2, 33, 170, 335 ], [ 2, 33, 170, 341 ], [ 2, 33, 171, 336 ], [ 2, 33, 171, 339 ], [ 2, 33, 172, 340 ], [ 2, 33, 172, 342 ], [ 2, 34, 125, 309 ], [ 2, 34, 125, 310 ], [ 2, 34, 173, 309 ], [ 2, 34, 173, 343 ], [ 2, 34, 174, 310 ], [ 2, 34, 174, 344 ], [ 2, 34, 175, 343 ], [ 2, 34, 175, 344 ], [ 2, 35, 126, 309 ], [ 2, 35, 126, 311 ], [ 2, 35, 173, 309 ], [ 2, 35, 173, 343 ], [ 2, 35, 176, 345 ], [ 2, 35, 176, 346 ], [ 2, 35, 177, 347 ], [ 2, 35, 177, 348 ], [ 2, 35, 178, 311 ], [ 2, 35, 178, 345 ], [ 2, 35, 179, 343 ], [ 2, 35, 179, 347 ], [ 2, 35, 180, 346 ], [ 2, 35, 180, 348 ], [ 2, 36, 167, 338 ], [ 2, 36, 167, 339 ], [ 2, 36, 181, 338 ], [ 2, 36, 181, 349 ], [ 2, 36, 182, 349 ], [ 2, 36, 182, 350 ], [ 2, 36, 183, 350 ], [ 2, 36, 183, 351 ], [ 2, 36, 184, 351 ], [ 2, 36, 184, 352 ], [ 2, 36, 185, 339 ], [ 2, 36, 185, 352 ], [ 2, 37, 168, 338 ], [ 2, 37, 168, 340 ], [ 2, 37, 176, 345 ], [ 2, 37, 176, 346 ], [ 2, 37, 181, 338 ], [ 2, 37, 181, 349 ], [ 2, 37, 186, 349 ], [ 2, 37, 186, 353 ], [ 2, 37, 187, 345 ], [ 2, 37, 187, 354 ], [ 2, 37, 188, 353 ], [ 2, 37, 188, 354 ], [ 2, 37, 189, 340 ], [ 2, 37, 189, 346 ], [ 2, 38, 177, 347 ], [ 2, 38, 177, 348 ], [ 2, 38, 182, 349 ], [ 2, 38, 182, 350 ], [ 2, 38, 186, 349 ], [ 2, 38, 186, 353 ], [ 2, 38, 190, 350 ], [ 2, 38, 190, 355 ], [ 2, 38, 191, 347 ], [ 2, 38, 191, 353 ], [ 2, 38, 192, 348 ], [ 2, 38, 192, 355 ], [ 2, 39, 169, 341 ], [ 2, 39, 169, 342 ], [ 2, 39, 183, 350 ], [ 2, 39, 183, 351 ], [ 2, 39, 190, 350 ], [ 2, 39, 190, 355 ], [ 2, 39, 193, 341 ], [ 2, 39, 193, 351 ], [ 2, 39, 194, 342 ], [ 2, 39, 194, 355 ], [ 2, 40, 127, 310 ], [ 2, 40, 127, 311 ], [ 2, 40, 174, 310 ], [ 2, 40, 174, 344 ], [ 2, 40, 178, 311 ], [ 2, 40, 178, 345 ], [ 2, 40, 187, 345 ], [ 2, 40, 187, 354 ], [ 2, 40, 195, 344 ], [ 2, 40, 195, 354 ], [ 2, 41, 165, 335 ], [ 2, 41, 165, 337 ], [ 2, 41, 170, 335 ], [ 2, 41, 170, 341 ], [ 2, 41, 184, 351 ], [ 2, 41, 184, 352 ], [ 2, 41, 193, 341 ], [ 2, 41, 193, 351 ], [ 2, 41, 196, 337 ], [ 2, 41, 196, 352 ], [ 2, 42, 175, 343 ], [ 2, 42, 175, 344 ], [ 2, 42, 179, 343 ], [ 2, 42, 179, 347 ], [ 2, 42, 188, 353 ], [ 2, 42, 188, 354 ], [ 2, 42, 191, 347 ], [ 2, 42, 191, 353 ], [ 2, 42, 195, 344 ], [ 2, 42, 195, 354 ], [ 2, 43, 166, 336 ], [ 2, 43, 166, 337 ], [ 2, 43, 171, 336 ], [ 2, 43, 171, 339 ], [ 2, 43, 185, 339 ], [ 2, 43, 185, 352 ], [ 2, 43, 196, 337 ], [ 2, 43, 196, 352 ], [ 2, 44, 172, 340 ], [ 2, 44, 172, 342 ], [ 2, 44, 180, 346 ], [ 2, 44, 180, 348 ], [ 2, 44, 189, 340 ], [ 2, 44, 189, 346 ], [ 2, 44, 192, 348 ], [ 2, 44, 192, 355 ], [ 2, 44, 194, 342 ], [ 2, 44, 194, 355 ], [ 3, 18, 128, 312 ], [ 3, 18, 128, 313 ], [ 3, 18, 129, 312 ], [ 3, 18, 129, 314 ], [ 3, 18, 130, 313 ], [ 3, 18, 130, 314 ], [ 3, 32, 164, 335 ], [ 3, 32, 164, 336 ], [ 3, 32, 165, 335 ], [ 3, 32, 165, 337 ], [ 3, 32, 166, 336 ], [ 3, 32, 166, 337 ], [ 3, 45, 164, 335 ], [ 3, 45, 164, 336 ], [ 3, 45, 197, 356 ], [ 3, 45, 197, 357 ], [ 3, 45, 198, 335 ], [ 3, 45, 198, 356 ], [ 3, 45, 199, 336 ], [ 3, 45, 199, 357 ], [ 3, 46, 200, 358 ], [ 3, 46, 200, 359 ], [ 3, 46, 201, 358 ], [ 3, 46, 201, 360 ], [ 3, 46, 202, 360 ], [ 3, 46, 202, 361 ], [ 3, 46, 203, 361 ], [ 3, 46, 203, 362 ], [ 3, 46, 204, 359 ], [ 3, 46, 204, 362 ], [ 3, 47, 200, 358 ], [ 3, 47, 200, 359 ], [ 3, 47, 205, 358 ], [ 3, 47, 205, 363 ], [ 3, 47, 206, 364 ], [ 3, 47, 206, 365 ], [ 3, 47, 207, 359 ], [ 3, 47, 207, 364 ], [ 3, 47, 208, 363 ], [ 3, 47, 208, 365 ], [ 3, 48, 128, 312 ], [ 3, 48, 128, 313 ], [ 3, 48, 201, 358 ], [ 3, 48, 201, 360 ], [ 3, 48, 205, 358 ], [ 3, 48, 205, 363 ], [ 3, 48, 209, 312 ], [ 3, 48, 209, 360 ], [ 3, 48, 210, 313 ], [ 3, 48, 210, 366 ], [ 3, 48, 211, 366 ], [ 3, 48, 211, 367 ], [ 3, 48, 212, 363 ], [ 3, 48, 212, 367 ], [ 3, 49, 129, 312 ], [ 3, 49, 129, 314 ], [ 3, 49, 202, 360 ], [ 3, 49, 202, 361 ], [ 3, 49, 209, 312 ], [ 3, 49, 209, 360 ], [ 3, 49, 213, 314 ], [ 3, 49, 213, 361 ], [ 3, 50, 206, 364 ], [ 3, 50, 206, 365 ], [ 3, 50, 214, 368 ], [ 3, 50, 214, 369 ], [ 3, 50, 215, 368 ], [ 3, 50, 215, 370 ], [ 3, 50, 216, 364 ], [ 3, 50, 216, 371 ], [ 3, 50, 217, 370 ], [ 3, 50, 217, 371 ], [ 3, 50, 218, 365 ], [ 3, 50, 218, 369 ], [ 3, 51, 130, 313 ], [ 3, 51, 130, 314 ], [ 3, 51, 203, 361 ], [ 3, 51, 203, 362 ], [ 3, 51, 210, 313 ], [ 3, 51, 210, 366 ], [ 3, 51, 213, 314 ], [ 3, 51, 213, 361 ], [ 3, 51, 219, 362 ], [ 3, 51, 219, 366 ], [ 3, 52, 197, 356 ], [ 3, 52, 197, 357 ], [ 3, 52, 214, 368 ], [ 3, 52, 214, 369 ], [ 3, 52, 220, 356 ], [ 3, 52, 220, 368 ], [ 3, 52, 221, 357 ], [ 3, 52, 221, 372 ], [ 3, 52, 222, 369 ], [ 3, 52, 222, 372 ], [ 3, 53, 165, 335 ], [ 3, 53, 165, 337 ], [ 3, 53, 198, 335 ], [ 3, 53, 198, 356 ], [ 3, 53, 215, 368 ], [ 3, 53, 215, 370 ], [ 3, 53, 220, 356 ], [ 3, 53, 220, 368 ], [ 3, 53, 223, 337 ], [ 3, 53, 223, 370 ], [ 3, 54, 204, 359 ], [ 3, 54, 204, 362 ], [ 3, 54, 207, 359 ], [ 3, 54, 207, 364 ], [ 3, 54, 211, 366 ], [ 3, 54, 211, 367 ], [ 3, 54, 216, 364 ], [ 3, 54, 216, 371 ], [ 3, 54, 219, 362 ], [ 3, 54, 219, 366 ], [ 3, 54, 224, 371 ], [ 3, 54, 224, 373 ], [ 3, 54, 225, 367 ], [ 3, 54, 225, 373 ], [ 3, 55, 166, 336 ], [ 3, 55, 166, 337 ], [ 3, 55, 199, 336 ], [ 3, 55, 199, 357 ], [ 3, 55, 217, 370 ], [ 3, 55, 217, 371 ], [ 3, 55, 221, 357 ], [ 3, 55, 221, 372 ], [ 3, 55, 223, 337 ], [ 3, 55, 223, 370 ], [ 3, 55, 224, 371 ], [ 3, 55, 224, 373 ], [ 3, 55, 226, 372 ], [ 3, 55, 226, 373 ], [ 3, 56, 208, 363 ], [ 3, 56, 208, 365 ], [ 3, 56, 212, 363 ], [ 3, 56, 212, 367 ], [ 3, 56, 218, 365 ], [ 3, 56, 218, 369 ], [ 3, 56, 222, 369 ], [ 3, 56, 222, 372 ], [ 3, 56, 225, 367 ], [ 3, 56, 225, 373 ], [ 3, 56, 226, 372 ], [ 3, 56, 226, 373 ], [ 4, 19, 131, 315 ], [ 4, 19, 131, 316 ], [ 4, 19, 132, 315 ], [ 4, 19, 132, 317 ], [ 4, 19, 133, 318 ], [ 4, 19, 133, 319 ], [ 4, 19, 134, 317 ], [ 4, 19, 134, 320 ], [ 4, 19, 135, 318 ], [ 4, 19, 135, 320 ], [ 4, 19, 136, 316 ], [ 4, 19, 136, 319 ], [ 4, 33, 164, 335 ], [ 4, 33, 164, 336 ], [ 4, 33, 167, 338 ], [ 4, 33, 167, 339 ], [ 4, 33, 168, 338 ], [ 4, 33, 168, 340 ], [ 4, 33, 169, 341 ], [ 4, 33, 169, 342 ], [ 4, 33, 170, 335 ], [ 4, 33, 170, 341 ], [ 4, 33, 171, 336 ], [ 4, 33, 171, 339 ], [ 4, 33, 172, 340 ], [ 4, 33, 172, 342 ], [ 4, 45, 164, 335 ], [ 4, 45, 164, 336 ], [ 4, 45, 197, 356 ], [ 4, 45, 197, 357 ], [ 4, 45, 198, 335 ], [ 4, 45, 198, 356 ], [ 4, 45, 199, 336 ], [ 4, 45, 199, 357 ], [ 4, 57, 131, 315 ], [ 4, 57, 131, 316 ], [ 4, 57, 227, 315 ], [ 4, 57, 227, 374 ], [ 4, 57, 228, 374 ], [ 4, 57, 228, 375 ], [ 4, 57, 229, 375 ], [ 4, 57, 229, 376 ], [ 4, 57, 230, 316 ], [ 4, 57, 230, 376 ], [ 4, 58, 132, 315 ], [ 4, 58, 132, 317 ], [ 4, 58, 227, 315 ], [ 4, 58, 227, 374 ], [ 4, 58, 231, 374 ], [ 4, 58, 231, 377 ], [ 4, 58, 232, 317 ], [ 4, 58, 232, 378 ], [ 4, 58, 233, 377 ], [ 4, 58, 233, 378 ], [ 4, 59, 167, 338 ], [ 4, 59, 167, 339 ], [ 4, 59, 228, 374 ], [ 4, 59, 228, 375 ], [ 4, 59, 231, 374 ], [ 4, 59, 231, 377 ], [ 4, 59, 234, 338 ], [ 4, 59, 234, 375 ], [ 4, 59, 235, 339 ], [ 4, 59, 235, 377 ], [ 4, 60, 168, 338 ], [ 4, 60, 168, 340 ], [ 4, 60, 229, 375 ], [ 4, 60, 229, 376 ], [ 4, 60, 234, 338 ], [ 4, 60, 234, 375 ], [ 4, 60, 236, 340 ], [ 4, 60, 236, 376 ], [ 4, 61, 133, 318 ], [ 4, 61, 133, 319 ], [ 4, 61, 169, 341 ], [ 4, 61, 169, 342 ], [ 4, 61, 237, 318 ], [ 4, 61, 237, 341 ], [ 4, 61, 238, 319 ], [ 4, 61, 238, 342 ], [ 4, 62, 134, 317 ], [ 4, 62, 134, 320 ], [ 4, 62, 197, 356 ], [ 4, 62, 197, 357 ], [ 4, 62, 232, 317 ], [ 4, 62, 232, 378 ], [ 4, 62, 239, 320 ], [ 4, 62, 239, 356 ], [ 4, 62, 240, 357 ], [ 4, 62, 240, 378 ], [ 4, 63, 135, 318 ], [ 4, 63, 135, 320 ], [ 4, 63, 170, 335 ], [ 4, 63, 170, 341 ], [ 4, 63, 198, 335 ], [ 4, 63, 198, 356 ], [ 4, 63, 237, 318 ], [ 4, 63, 237, 341 ], [ 4, 63, 239, 320 ], [ 4, 63, 239, 356 ], [ 4, 64, 171, 336 ], [ 4, 64, 171, 339 ], [ 4, 64, 199, 336 ], [ 4, 64, 199, 357 ], [ 4, 64, 233, 377 ], [ 4, 64, 233, 378 ], [ 4, 64, 235, 339 ], [ 4, 64, 235, 377 ], [ 4, 64, 240, 357 ], [ 4, 64, 240, 378 ], [ 4, 65, 136, 316 ], [ 4, 65, 136, 319 ], [ 4, 65, 172, 340 ], [ 4, 65, 172, 342 ], [ 4, 65, 230, 316 ], [ 4, 65, 230, 376 ], [ 4, 65, 236, 340 ], [ 4, 65, 236, 376 ], [ 4, 65, 238, 319 ], [ 4, 65, 238, 342 ], [ 5, 20, 125, 309 ], [ 5, 20, 125, 310 ], [ 5, 20, 131, 315 ], [ 5, 20, 131, 316 ], [ 5, 20, 137, 309 ], [ 5, 20, 137, 315 ], [ 5, 20, 138, 310 ], [ 5, 20, 138, 321 ], [ 5, 20, 139, 321 ], [ 5, 20, 139, 322 ], [ 5, 20, 140, 316 ], [ 5, 20, 140, 322 ], [ 5, 34, 125, 309 ], [ 5, 34, 125, 310 ], [ 5, 34, 173, 309 ], [ 5, 34, 173, 343 ], [ 5, 34, 174, 310 ], [ 5, 34, 174, 344 ], [ 5, 34, 175, 343 ], [ 5, 34, 175, 344 ], [ 5, 46, 200, 358 ], [ 5, 46, 200, 359 ], [ 5, 46, 201, 358 ], [ 5, 46, 201, 360 ], [ 5, 46, 202, 360 ], [ 5, 46, 202, 361 ], [ 5, 46, 203, 361 ], [ 5, 46, 203, 362 ], [ 5, 46, 204, 359 ], [ 5, 46, 204, 362 ], [ 5, 57, 131, 315 ], [ 5, 57, 131, 316 ], [ 5, 57, 227, 315 ], [ 5, 57, 227, 374 ], [ 5, 57, 228, 374 ], [ 5, 57, 228, 375 ], [ 5, 57, 229, 375 ], [ 5, 57, 229, 376 ], [ 5, 57, 230, 316 ], [ 5, 57, 230, 376 ], [ 5, 66, 137, 309 ], [ 5, 66, 137, 315 ], [ 5, 66, 173, 309 ], [ 5, 66, 173, 343 ], [ 5, 66, 200, 358 ], [ 5, 66, 200, 359 ], [ 5, 66, 227, 315 ], [ 5, 66, 227, 374 ], [ 5, 66, 241, 358 ], [ 5, 66, 241, 374 ], [ 5, 66, 242, 343 ], [ 5, 66, 242, 359 ], [ 5, 67, 201, 358 ], [ 5, 67, 201, 360 ], [ 5, 67, 228, 374 ], [ 5, 67, 228, 375 ], [ 5, 67, 241, 358 ], [ 5, 67, 241, 374 ], [ 5, 67, 243, 360 ], [ 5, 67, 243, 375 ], [ 5, 68, 202, 360 ], [ 5, 68, 202, 361 ], [ 5, 68, 229, 375 ], [ 5, 68, 229, 376 ], [ 5, 68, 243, 360 ], [ 5, 68, 243, 375 ], [ 5, 68, 244, 361 ], [ 5, 68, 244, 379 ], [ 5, 68, 245, 379 ], [ 5, 68, 245, 380 ], [ 5, 68, 246, 376 ], [ 5, 68, 246, 380 ], [ 5, 69, 203, 361 ], [ 5, 69, 203, 362 ], [ 5, 69, 244, 361 ], [ 5, 69, 244, 379 ], [ 5, 69, 247, 381 ], [ 5, 69, 247, 382 ], [ 5, 69, 248, 379 ], [ 5, 69, 248, 381 ], [ 5, 69, 249, 362 ], [ 5, 69, 249, 382 ], [ 5, 70, 138, 310 ], [ 5, 70, 138, 321 ], [ 5, 70, 174, 310 ], [ 5, 70, 174, 344 ], [ 5, 70, 247, 381 ], [ 5, 70, 247, 382 ], [ 5, 70, 250, 321 ], [ 5, 70, 250, 381 ], [ 5, 70, 251, 344 ], [ 5, 70, 251, 382 ], [ 5, 71, 139, 321 ], [ 5, 71, 139, 322 ], [ 5, 71, 245, 379 ], [ 5, 71, 245, 380 ], [ 5, 71, 248, 379 ], [ 5, 71, 248, 381 ], [ 5, 71, 250, 321 ], [ 5, 71, 250, 381 ], [ 5, 71, 252, 322 ], [ 5, 71, 252, 380 ], [ 5, 72, 175, 343 ], [ 5, 72, 175, 344 ], [ 5, 72, 204, 359 ], [ 5, 72, 204, 362 ], [ 5, 72, 242, 343 ], [ 5, 72, 242, 359 ], [ 5, 72, 249, 362 ], [ 5, 72, 249, 382 ], [ 5, 72, 251, 344 ], [ 5, 72, 251, 382 ], [ 5, 73, 140, 316 ], [ 5, 73, 140, 322 ], [ 5, 73, 230, 316 ], [ 5, 73, 230, 376 ], [ 5, 73, 246, 376 ], [ 5, 73, 246, 380 ], [ 5, 73, 252, 322 ], [ 5, 73, 252, 380 ], [ 6, 21, 126, 309 ], [ 6, 21, 126, 311 ], [ 6, 21, 132, 315 ], [ 6, 21, 132, 317 ], [ 6, 21, 137, 309 ], [ 6, 21, 137, 315 ], [ 6, 21, 141, 311 ], [ 6, 21, 141, 317 ], [ 6, 35, 126, 309 ], [ 6, 35, 126, 311 ], [ 6, 35, 173, 309 ], [ 6, 35, 173, 343 ], [ 6, 35, 176, 345 ], [ 6, 35, 176, 346 ], [ 6, 35, 177, 347 ], [ 6, 35, 177, 348 ], [ 6, 35, 178, 311 ], [ 6, 35, 178, 345 ], [ 6, 35, 179, 343 ], [ 6, 35, 179, 347 ], [ 6, 35, 180, 346 ], [ 6, 35, 180, 348 ], [ 6, 47, 200, 358 ], [ 6, 47, 200, 359 ], [ 6, 47, 205, 358 ], [ 6, 47, 205, 363 ], [ 6, 47, 206, 364 ], [ 6, 47, 206, 365 ], [ 6, 47, 207, 359 ], [ 6, 47, 207, 364 ], [ 6, 47, 208, 363 ], [ 6, 47, 208, 365 ], [ 6, 58, 132, 315 ], [ 6, 58, 132, 317 ], [ 6, 58, 227, 315 ], [ 6, 58, 227, 374 ], [ 6, 58, 231, 374 ], [ 6, 58, 231, 377 ], [ 6, 58, 232, 317 ], [ 6, 58, 232, 378 ], [ 6, 58, 233, 377 ], [ 6, 58, 233, 378 ], [ 6, 66, 137, 309 ], [ 6, 66, 137, 315 ], [ 6, 66, 173, 309 ], [ 6, 66, 173, 343 ], [ 6, 66, 200, 358 ], [ 6, 66, 200, 359 ], [ 6, 66, 227, 315 ], [ 6, 66, 227, 374 ], [ 6, 66, 241, 358 ], [ 6, 66, 241, 374 ], [ 6, 66, 242, 343 ], [ 6, 66, 242, 359 ], [ 6, 74, 205, 358 ], [ 6, 74, 205, 363 ], [ 6, 74, 231, 374 ], [ 6, 74, 231, 377 ], [ 6, 74, 241, 358 ], [ 6, 74, 241, 374 ], [ 6, 74, 253, 383 ], [ 6, 74, 253, 384 ], [ 6, 74, 254, 377 ], [ 6, 74, 254, 383 ], [ 6, 74, 255, 363 ], [ 6, 74, 255, 384 ], [ 6, 75, 176, 345 ], [ 6, 75, 176, 346 ], [ 6, 75, 256, 345 ], [ 6, 75, 256, 385 ], [ 6, 75, 257, 386 ], [ 6, 75, 257, 387 ], [ 6, 75, 258, 385 ], [ 6, 75, 258, 386 ], [ 6, 75, 259, 346 ], [ 6, 75, 259, 387 ], [ 6, 76, 177, 347 ], [ 6, 76, 177, 348 ], [ 6, 76, 206, 364 ], [ 6, 76, 206, 365 ], [ 6, 76, 260, 347 ], [ 6, 76, 260, 364 ], [ 6, 76, 261, 348 ], [ 6, 76, 261, 365 ], [ 6, 77, 141, 311 ], [ 6, 77, 141, 317 ], [ 6, 77, 178, 311 ], [ 6, 77, 178, 345 ], [ 6, 77, 232, 317 ], [ 6, 77, 232, 378 ], [ 6, 77, 256, 345 ], [ 6, 77, 256, 385 ], [ 6, 77, 262, 378 ], [ 6, 77, 262, 385 ], [ 6, 78, 253, 383 ], [ 6, 78, 253, 384 ], [ 6, 78, 257, 386 ], [ 6, 78, 257, 387 ], [ 6, 78, 263, 383 ], [ 6, 78, 263, 386 ], [ 6, 78, 264, 384 ], [ 6, 78, 264, 387 ], [ 6, 79, 179, 343 ], [ 6, 79, 179, 347 ], [ 6, 79, 207, 359 ], [ 6, 79, 207, 364 ], [ 6, 79, 242, 343 ], [ 6, 79, 242, 359 ], [ 6, 79, 260, 347 ], [ 6, 79, 260, 364 ], [ 6, 80, 233, 377 ], [ 6, 80, 233, 378 ], [ 6, 80, 254, 377 ], [ 6, 80, 254, 383 ], [ 6, 80, 258, 385 ], [ 6, 80, 258, 386 ], [ 6, 80, 262, 378 ], [ 6, 80, 262, 385 ], [ 6, 80, 263, 383 ], [ 6, 80, 263, 386 ], [ 6, 81, 180, 346 ], [ 6, 81, 180, 348 ], [ 6, 81, 208, 363 ], [ 6, 81, 208, 365 ], [ 6, 81, 255, 363 ], [ 6, 81, 255, 384 ], [ 6, 81, 259, 346 ], [ 6, 81, 259, 387 ], [ 6, 81, 261, 348 ], [ 6, 81, 261, 365 ], [ 6, 81, 264, 384 ], [ 6, 81, 264, 387 ], [ 7, 22, 128, 312 ], [ 7, 22, 128, 313 ], [ 7, 22, 142, 312 ], [ 7, 22, 142, 323 ], [ 7, 22, 143, 323 ], [ 7, 22, 143, 324 ], [ 7, 22, 144, 313 ], [ 7, 22, 144, 324 ], [ 7, 36, 167, 338 ], [ 7, 36, 167, 339 ], [ 7, 36, 181, 338 ], [ 7, 36, 181, 349 ], [ 7, 36, 182, 349 ], [ 7, 36, 182, 350 ], [ 7, 36, 183, 350 ], [ 7, 36, 183, 351 ], [ 7, 36, 184, 351 ], [ 7, 36, 184, 352 ], [ 7, 36, 185, 339 ], [ 7, 36, 185, 352 ], [ 7, 48, 128, 312 ], [ 7, 48, 128, 313 ], [ 7, 48, 201, 358 ], [ 7, 48, 201, 360 ], [ 7, 48, 205, 358 ], [ 7, 48, 205, 363 ], [ 7, 48, 209, 312 ], [ 7, 48, 209, 360 ], [ 7, 48, 210, 313 ], [ 7, 48, 210, 366 ], [ 7, 48, 211, 366 ], [ 7, 48, 211, 367 ], [ 7, 48, 212, 363 ], [ 7, 48, 212, 367 ], [ 7, 59, 167, 338 ], [ 7, 59, 167, 339 ], [ 7, 59, 228, 374 ], [ 7, 59, 228, 375 ], [ 7, 59, 231, 374 ], [ 7, 59, 231, 377 ], [ 7, 59, 234, 338 ], [ 7, 59, 234, 375 ], [ 7, 59, 235, 339 ], [ 7, 59, 235, 377 ], [ 7, 67, 201, 358 ], [ 7, 67, 201, 360 ], [ 7, 67, 228, 374 ], [ 7, 67, 228, 375 ], [ 7, 67, 241, 358 ], [ 7, 67, 241, 374 ], [ 7, 67, 243, 360 ], [ 7, 67, 243, 375 ], [ 7, 74, 205, 358 ], [ 7, 74, 205, 363 ], [ 7, 74, 231, 374 ], [ 7, 74, 231, 377 ], [ 7, 74, 241, 358 ], [ 7, 74, 241, 374 ], [ 7, 74, 253, 383 ], [ 7, 74, 253, 384 ], [ 7, 74, 254, 377 ], [ 7, 74, 254, 383 ], [ 7, 74, 255, 363 ], [ 7, 74, 255, 384 ], [ 7, 82, 142, 312 ], [ 7, 82, 142, 323 ], [ 7, 82, 181, 338 ], [ 7, 82, 181, 349 ], [ 7, 82, 209, 312 ], [ 7, 82, 209, 360 ], [ 7, 82, 234, 338 ], [ 7, 82, 234, 375 ], [ 7, 82, 243, 360 ], [ 7, 82, 243, 375 ], [ 7, 82, 265, 323 ], [ 7, 82, 265, 349 ], [ 7, 83, 143, 323 ], [ 7, 83, 143, 324 ], [ 7, 83, 182, 349 ], [ 7, 83, 182, 350 ], [ 7, 83, 265, 323 ], [ 7, 83, 265, 349 ], [ 7, 83, 266, 350 ], [ 7, 83, 266, 388 ], [ 7, 83, 267, 324 ], [ 7, 83, 267, 389 ], [ 7, 83, 268, 388 ], [ 7, 83, 268, 389 ], [ 7, 84, 183, 350 ], [ 7, 84, 183, 351 ], [ 7, 84, 266, 350 ], [ 7, 84, 266, 388 ], [ 7, 84, 269, 388 ], [ 7, 84, 269, 390 ], [ 7, 84, 270, 351 ], [ 7, 84, 270, 391 ], [ 7, 84, 271, 390 ], [ 7, 84, 271, 391 ], [ 7, 85, 144, 313 ], [ 7, 85, 144, 324 ], [ 7, 85, 210, 313 ], [ 7, 85, 210, 366 ], [ 7, 85, 267, 324 ], [ 7, 85, 267, 389 ], [ 7, 85, 272, 389 ], [ 7, 85, 272, 392 ], [ 7, 85, 273, 366 ], [ 7, 85, 273, 392 ], [ 7, 86, 268, 388 ], [ 7, 86, 268, 389 ], [ 7, 86, 269, 388 ], [ 7, 86, 269, 390 ], [ 7, 86, 272, 389 ], [ 7, 86, 272, 392 ], [ 7, 86, 274, 390 ], [ 7, 86, 274, 392 ], [ 7, 87, 184, 351 ], [ 7, 87, 184, 352 ], [ 7, 87, 253, 383 ], [ 7, 87, 253, 384 ], [ 7, 87, 270, 351 ], [ 7, 87, 270, 391 ], [ 7, 87, 275, 391 ], [ 7, 87, 275, 393 ], [ 7, 87, 276, 352 ], [ 7, 87, 276, 383 ], [ 7, 87, 277, 384 ], [ 7, 87, 277, 393 ], [ 7, 88, 211, 366 ], [ 7, 88, 211, 367 ], [ 7, 88, 271, 390 ], [ 7, 88, 271, 391 ], [ 7, 88, 273, 366 ], [ 7, 88, 273, 392 ], [ 7, 88, 274, 390 ], [ 7, 88, 274, 392 ], [ 7, 88, 275, 391 ], [ 7, 88, 275, 393 ], [ 7, 88, 278, 367 ], [ 7, 88, 278, 393 ], [ 7, 89, 185, 339 ], [ 7, 89, 185, 352 ], [ 7, 89, 235, 339 ], [ 7, 89, 235, 377 ], [ 7, 89, 254, 377 ], [ 7, 89, 254, 383 ], [ 7, 89, 276, 352 ], [ 7, 89, 276, 383 ], [ 7, 90, 212, 363 ], [ 7, 90, 212, 367 ], [ 7, 90, 255, 363 ], [ 7, 90, 255, 384 ], [ 7, 90, 277, 384 ], [ 7, 90, 277, 393 ], [ 7, 90, 278, 367 ], [ 7, 90, 278, 393 ], [ 8, 23, 129, 312 ], [ 8, 23, 129, 314 ], [ 8, 23, 142, 312 ], [ 8, 23, 142, 323 ], [ 8, 23, 145, 323 ], [ 8, 23, 145, 325 ], [ 8, 23, 146, 326 ], [ 8, 23, 146, 327 ], [ 8, 23, 147, 314 ], [ 8, 23, 147, 328 ], [ 8, 23, 148, 325 ], [ 8, 23, 148, 326 ], [ 8, 23, 149, 327 ], [ 8, 23, 149, 328 ], [ 8, 37, 168, 338 ], [ 8, 37, 168, 340 ], [ 8, 37, 176, 345 ], [ 8, 37, 176, 346 ], [ 8, 37, 181, 338 ], [ 8, 37, 181, 349 ], [ 8, 37, 186, 349 ], [ 8, 37, 186, 353 ], [ 8, 37, 187, 345 ], [ 8, 37, 187, 354 ], [ 8, 37, 188, 353 ], [ 8, 37, 188, 354 ], [ 8, 37, 189, 340 ], [ 8, 37, 189, 346 ], [ 8, 49, 129, 312 ], [ 8, 49, 129, 314 ], [ 8, 49, 202, 360 ], [ 8, 49, 202, 361 ], [ 8, 49, 209, 312 ], [ 8, 49, 209, 360 ], [ 8, 49, 213, 314 ], [ 8, 49, 213, 361 ], [ 8, 60, 168, 338 ], [ 8, 60, 168, 340 ], [ 8, 60, 229, 375 ], [ 8, 60, 229, 376 ], [ 8, 60, 234, 338 ], [ 8, 60, 234, 375 ], [ 8, 60, 236, 340 ], [ 8, 60, 236, 376 ], [ 8, 68, 202, 360 ], [ 8, 68, 202, 361 ], [ 8, 68, 229, 375 ], [ 8, 68, 229, 376 ], [ 8, 68, 243, 360 ], [ 8, 68, 243, 375 ], [ 8, 68, 244, 361 ], [ 8, 68, 244, 379 ], [ 8, 68, 245, 379 ], [ 8, 68, 245, 380 ], [ 8, 68, 246, 376 ], [ 8, 68, 246, 380 ], [ 8, 75, 176, 345 ], [ 8, 75, 176, 346 ], [ 8, 75, 256, 345 ], [ 8, 75, 256, 385 ], [ 8, 75, 257, 386 ], [ 8, 75, 257, 387 ], [ 8, 75, 258, 385 ], [ 8, 75, 258, 386 ], [ 8, 75, 259, 346 ], [ 8, 75, 259, 387 ], [ 8, 82, 142, 312 ], [ 8, 82, 142, 323 ], [ 8, 82, 181, 338 ], [ 8, 82, 181, 349 ], [ 8, 82, 209, 312 ], [ 8, 82, 209, 360 ], [ 8, 82, 234, 338 ], [ 8, 82, 234, 375 ], [ 8, 82, 243, 360 ], [ 8, 82, 243, 375 ], [ 8, 82, 265, 323 ], [ 8, 82, 265, 349 ], [ 8, 91, 145, 323 ], [ 8, 91, 145, 325 ], [ 8, 91, 186, 349 ], [ 8, 91, 186, 353 ], [ 8, 91, 265, 323 ], [ 8, 91, 265, 349 ], [ 8, 91, 279, 325 ], [ 8, 91, 279, 353 ], [ 8, 92, 146, 326 ], [ 8, 92, 146, 327 ], [ 8, 92, 280, 394 ], [ 8, 92, 280, 395 ], [ 8, 92, 281, 326 ], [ 8, 92, 281, 394 ], [ 8, 92, 282, 327 ], [ 8, 92, 282, 395 ], [ 8, 93, 147, 314 ], [ 8, 93, 147, 328 ], [ 8, 93, 213, 314 ], [ 8, 93, 213, 361 ], [ 8, 93, 244, 361 ], [ 8, 93, 244, 379 ], [ 8, 93, 283, 379 ], [ 8, 93, 283, 396 ], [ 8, 93, 284, 328 ], [ 8, 93, 284, 396 ], [ 8, 94, 187, 345 ], [ 8, 94, 187, 354 ], [ 8, 94, 256, 345 ], [ 8, 94, 256, 385 ], [ 8, 94, 280, 394 ], [ 8, 94, 280, 395 ], [ 8, 94, 285, 354 ], [ 8, 94, 285, 394 ], [ 8, 94, 286, 385 ], [ 8, 94, 286, 395 ], [ 8, 95, 245, 379 ], [ 8, 95, 245, 380 ], [ 8, 95, 257, 386 ], [ 8, 95, 257, 387 ], [ 8, 95, 283, 379 ], [ 8, 95, 283, 396 ], [ 8, 95, 287, 386 ], [ 8, 95, 287, 396 ], [ 8, 95, 288, 380 ], [ 8, 95, 288, 387 ], [ 8, 96, 148, 325 ], [ 8, 96, 148, 326 ], [ 8, 96, 188, 353 ], [ 8, 96, 188, 354 ], [ 8, 96, 279, 325 ], [ 8, 96, 279, 353 ], [ 8, 96, 281, 326 ], [ 8, 96, 281, 394 ], [ 8, 96, 285, 354 ], [ 8, 96, 285, 394 ], [ 8, 97, 149, 327 ], [ 8, 97, 149, 328 ], [ 8, 97, 258, 385 ], [ 8, 97, 258, 386 ], [ 8, 97, 282, 327 ], [ 8, 97, 282, 395 ], [ 8, 97, 284, 328 ], [ 8, 97, 284, 396 ], [ 8, 97, 286, 385 ], [ 8, 97, 286, 395 ], [ 8, 97, 287, 386 ], [ 8, 97, 287, 396 ], [ 8, 98, 189, 340 ], [ 8, 98, 189, 346 ], [ 8, 98, 236, 340 ], [ 8, 98, 236, 376 ], [ 8, 98, 246, 376 ], [ 8, 98, 246, 380 ], [ 8, 98, 259, 346 ], [ 8, 98, 259, 387 ], [ 8, 98, 288, 380 ], [ 8, 98, 288, 387 ], [ 9, 24, 143, 323 ], [ 9, 24, 143, 324 ], [ 9, 24, 145, 323 ], [ 9, 24, 145, 325 ], [ 9, 24, 150, 324 ], [ 9, 24, 150, 329 ], [ 9, 24, 151, 325 ], [ 9, 24, 151, 330 ], [ 9, 24, 152, 329 ], [ 9, 24, 152, 330 ], [ 9, 38, 177, 347 ], [ 9, 38, 177, 348 ], [ 9, 38, 182, 349 ], [ 9, 38, 182, 350 ], [ 9, 38, 186, 349 ], [ 9, 38, 186, 353 ], [ 9, 38, 190, 350 ], [ 9, 38, 190, 355 ], [ 9, 38, 191, 347 ], [ 9, 38, 191, 353 ], [ 9, 38, 192, 348 ], [ 9, 38, 192, 355 ], [ 9, 50, 206, 364 ], [ 9, 50, 206, 365 ], [ 9, 50, 214, 368 ], [ 9, 50, 214, 369 ], [ 9, 50, 215, 368 ], [ 9, 50, 215, 370 ], [ 9, 50, 216, 364 ], [ 9, 50, 216, 371 ], [ 9, 50, 217, 370 ], [ 9, 50, 217, 371 ], [ 9, 50, 218, 365 ], [ 9, 50, 218, 369 ], [ 9, 76, 177, 347 ], [ 9, 76, 177, 348 ], [ 9, 76, 206, 364 ], [ 9, 76, 206, 365 ], [ 9, 76, 260, 347 ], [ 9, 76, 260, 364 ], [ 9, 76, 261, 348 ], [ 9, 76, 261, 365 ], [ 9, 83, 143, 323 ], [ 9, 83, 143, 324 ], [ 9, 83, 182, 349 ], [ 9, 83, 182, 350 ], [ 9, 83, 265, 323 ], [ 9, 83, 265, 349 ], [ 9, 83, 266, 350 ], [ 9, 83, 266, 388 ], [ 9, 83, 267, 324 ], [ 9, 83, 267, 389 ], [ 9, 83, 268, 388 ], [ 9, 83, 268, 389 ], [ 9, 91, 145, 323 ], [ 9, 91, 145, 325 ], [ 9, 91, 186, 349 ], [ 9, 91, 186, 353 ], [ 9, 91, 265, 323 ], [ 9, 91, 265, 349 ], [ 9, 91, 279, 325 ], [ 9, 91, 279, 353 ], [ 9, 99, 190, 350 ], [ 9, 99, 190, 355 ], [ 9, 99, 266, 350 ], [ 9, 99, 266, 388 ], [ 9, 99, 289, 388 ], [ 9, 99, 289, 397 ], [ 9, 99, 290, 355 ], [ 9, 99, 290, 397 ], [ 9, 100, 150, 324 ], [ 9, 100, 150, 329 ], [ 9, 100, 267, 324 ], [ 9, 100, 267, 389 ], [ 9, 100, 291, 389 ], [ 9, 100, 291, 398 ], [ 9, 100, 292, 398 ], [ 9, 100, 292, 399 ], [ 9, 100, 293, 329 ], [ 9, 100, 293, 399 ], [ 9, 101, 214, 368 ], [ 9, 101, 214, 369 ], [ 9, 101, 268, 388 ], [ 9, 101, 268, 389 ], [ 9, 101, 289, 388 ], [ 9, 101, 289, 397 ], [ 9, 101, 291, 389 ], [ 9, 101, 291, 398 ], [ 9, 101, 294, 368 ], [ 9, 101, 294, 398 ], [ 9, 101, 295, 369 ], [ 9, 101, 295, 397 ], [ 9, 102, 215, 368 ], [ 9, 102, 215, 370 ], [ 9, 102, 292, 398 ], [ 9, 102, 292, 399 ], [ 9, 102, 294, 368 ], [ 9, 102, 294, 398 ], [ 9, 102, 296, 370 ], [ 9, 102, 296, 399 ], [ 9, 103, 151, 325 ], [ 9, 103, 151, 330 ], [ 9, 103, 191, 347 ], [ 9, 103, 191, 353 ], [ 9, 103, 216, 364 ], [ 9, 103, 216, 371 ], [ 9, 103, 260, 347 ], [ 9, 103, 260, 364 ], [ 9, 103, 279, 325 ], [ 9, 103, 279, 353 ], [ 9, 103, 297, 330 ], [ 9, 103, 297, 371 ], [ 9, 104, 152, 329 ], [ 9, 104, 152, 330 ], [ 9, 104, 217, 370 ], [ 9, 104, 217, 371 ], [ 9, 104, 293, 329 ], [ 9, 104, 293, 399 ], [ 9, 104, 296, 370 ], [ 9, 104, 296, 399 ], [ 9, 104, 297, 330 ], [ 9, 104, 297, 371 ], [ 9, 105, 192, 348 ], [ 9, 105, 192, 355 ], [ 9, 105, 218, 365 ], [ 9, 105, 218, 369 ], [ 9, 105, 261, 348 ], [ 9, 105, 261, 365 ], [ 9, 105, 290, 355 ], [ 9, 105, 290, 397 ], [ 9, 105, 295, 369 ], [ 9, 105, 295, 397 ], [ 10, 25, 133, 318 ], [ 10, 25, 133, 319 ], [ 10, 25, 146, 326 ], [ 10, 25, 146, 327 ], [ 10, 25, 153, 318 ], [ 10, 25, 153, 331 ], [ 10, 25, 154, 326 ], [ 10, 25, 154, 331 ], [ 10, 25, 155, 327 ], [ 10, 25, 155, 332 ], [ 10, 25, 156, 319 ], [ 10, 25, 156, 332 ], [ 10, 39, 169, 341 ], [ 10, 39, 169, 342 ], [ 10, 39, 183, 350 ], [ 10, 39, 183, 351 ], [ 10, 39, 190, 350 ], [ 10, 39, 190, 355 ], [ 10, 39, 193, 341 ], [ 10, 39, 193, 351 ], [ 10, 39, 194, 342 ], [ 10, 39, 194, 355 ], [ 10, 61, 133, 318 ], [ 10, 61, 133, 319 ], [ 10, 61, 169, 341 ], [ 10, 61, 169, 342 ], [ 10, 61, 237, 318 ], [ 10, 61, 237, 341 ], [ 10, 61, 238, 319 ], [ 10, 61, 238, 342 ], [ 10, 84, 183, 350 ], [ 10, 84, 183, 351 ], [ 10, 84, 266, 350 ], [ 10, 84, 266, 388 ], [ 10, 84, 269, 388 ], [ 10, 84, 269, 390 ], [ 10, 84, 270, 351 ], [ 10, 84, 270, 391 ], [ 10, 84, 271, 390 ], [ 10, 84, 271, 391 ], [ 10, 92, 146, 326 ], [ 10, 92, 146, 327 ], [ 10, 92, 280, 394 ], [ 10, 92, 280, 395 ], [ 10, 92, 281, 326 ], [ 10, 92, 281, 394 ], [ 10, 92, 282, 327 ], [ 10, 92, 282, 395 ], [ 10, 99, 190, 350 ], [ 10, 99, 190, 355 ], [ 10, 99, 266, 350 ], [ 10, 99, 266, 388 ], [ 10, 99, 289, 388 ], [ 10, 99, 289, 397 ], [ 10, 99, 290, 355 ], [ 10, 99, 290, 397 ], [ 10, 106, 269, 388 ], [ 10, 106, 269, 390 ], [ 10, 106, 280, 394 ], [ 10, 106, 280, 395 ], [ 10, 106, 289, 388 ], [ 10, 106, 289, 397 ], [ 10, 106, 298, 390 ], [ 10, 106, 298, 394 ], [ 10, 106, 299, 395 ], [ 10, 106, 299, 400 ], [ 10, 106, 300, 397 ], [ 10, 106, 300, 400 ], [ 10, 107, 153, 318 ], [ 10, 107, 153, 331 ], [ 10, 107, 193, 341 ], [ 10, 107, 193, 351 ], [ 10, 107, 237, 318 ], [ 10, 107, 237, 341 ], [ 10, 107, 270, 351 ], [ 10, 107, 270, 391 ], [ 10, 107, 301, 331 ], [ 10, 107, 301, 391 ], [ 10, 108, 154, 326 ], [ 10, 108, 154, 331 ], [ 10, 108, 271, 390 ], [ 10, 108, 271, 391 ], [ 10, 108, 281, 326 ], [ 10, 108, 281, 394 ], [ 10, 108, 298, 390 ], [ 10, 108, 298, 394 ], [ 10, 108, 301, 331 ], [ 10, 108, 301, 391 ], [ 10, 109, 155, 327 ], [ 10, 109, 155, 332 ], [ 10, 109, 282, 327 ], [ 10, 109, 282, 395 ], [ 10, 109, 299, 395 ], [ 10, 109, 299, 400 ], [ 10, 109, 302, 332 ], [ 10, 109, 302, 400 ], [ 10, 110, 156, 319 ], [ 10, 110, 156, 332 ], [ 10, 110, 194, 342 ], [ 10, 110, 194, 355 ], [ 10, 110, 238, 319 ], [ 10, 110, 238, 342 ], [ 10, 110, 290, 355 ], [ 10, 110, 290, 397 ], [ 10, 110, 300, 397 ], [ 10, 110, 300, 400 ], [ 10, 110, 302, 332 ], [ 10, 110, 302, 400 ], [ 11, 26, 130, 313 ], [ 11, 26, 130, 314 ], [ 11, 26, 144, 313 ], [ 11, 26, 144, 324 ], [ 11, 26, 147, 314 ], [ 11, 26, 147, 328 ], [ 11, 26, 150, 324 ], [ 11, 26, 150, 329 ], [ 11, 26, 157, 328 ], [ 11, 26, 157, 329 ], [ 11, 51, 130, 313 ], [ 11, 51, 130, 314 ], [ 11, 51, 203, 361 ], [ 11, 51, 203, 362 ], [ 11, 51, 210, 313 ], [ 11, 51, 210, 366 ], [ 11, 51, 213, 314 ], [ 11, 51, 213, 361 ], [ 11, 51, 219, 362 ], [ 11, 51, 219, 366 ], [ 11, 69, 203, 361 ], [ 11, 69, 203, 362 ], [ 11, 69, 244, 361 ], [ 11, 69, 244, 379 ], [ 11, 69, 247, 381 ], [ 11, 69, 247, 382 ], [ 11, 69, 248, 379 ], [ 11, 69, 248, 381 ], [ 11, 69, 249, 362 ], [ 11, 69, 249, 382 ], [ 11, 85, 144, 313 ], [ 11, 85, 144, 324 ], [ 11, 85, 210, 313 ], [ 11, 85, 210, 366 ], [ 11, 85, 267, 324 ], [ 11, 85, 267, 389 ], [ 11, 85, 272, 389 ], [ 11, 85, 272, 392 ], [ 11, 85, 273, 366 ], [ 11, 85, 273, 392 ], [ 11, 93, 147, 314 ], [ 11, 93, 147, 328 ], [ 11, 93, 213, 314 ], [ 11, 93, 213, 361 ], [ 11, 93, 244, 361 ], [ 11, 93, 244, 379 ], [ 11, 93, 283, 379 ], [ 11, 93, 283, 396 ], [ 11, 93, 284, 328 ], [ 11, 93, 284, 396 ], [ 11, 100, 150, 324 ], [ 11, 100, 150, 329 ], [ 11, 100, 267, 324 ], [ 11, 100, 267, 389 ], [ 11, 100, 291, 389 ], [ 11, 100, 291, 398 ], [ 11, 100, 292, 398 ], [ 11, 100, 292, 399 ], [ 11, 100, 293, 329 ], [ 11, 100, 293, 399 ], [ 11, 111, 247, 381 ], [ 11, 111, 247, 382 ], [ 11, 111, 272, 389 ], [ 11, 111, 272, 392 ], [ 11, 111, 291, 389 ], [ 11, 111, 291, 398 ], [ 11, 111, 303, 381 ], [ 11, 111, 303, 398 ], [ 11, 111, 304, 382 ], [ 11, 111, 304, 392 ], [ 11, 112, 248, 379 ], [ 11, 112, 248, 381 ], [ 11, 112, 283, 379 ], [ 11, 112, 283, 396 ], [ 11, 112, 292, 398 ], [ 11, 112, 292, 399 ], [ 11, 112, 303, 381 ], [ 11, 112, 303, 398 ], [ 11, 112, 305, 396 ], [ 11, 112, 305, 399 ], [ 11, 113, 219, 362 ], [ 11, 113, 219, 366 ], [ 11, 113, 249, 362 ], [ 11, 113, 249, 382 ], [ 11, 113, 273, 366 ], [ 11, 113, 273, 392 ], [ 11, 113, 304, 382 ], [ 11, 113, 304, 392 ], [ 11, 114, 157, 328 ], [ 11, 114, 157, 329 ], [ 11, 114, 284, 328 ], [ 11, 114, 284, 396 ], [ 11, 114, 293, 329 ], [ 11, 114, 293, 399 ], [ 11, 114, 305, 396 ], [ 11, 114, 305, 399 ], [ 12, 27, 127, 310 ], [ 12, 27, 127, 311 ], [ 12, 27, 134, 317 ], [ 12, 27, 134, 320 ], [ 12, 27, 138, 310 ], [ 12, 27, 138, 321 ], [ 12, 27, 141, 311 ], [ 12, 27, 141, 317 ], [ 12, 27, 158, 320 ], [ 12, 27, 158, 321 ], [ 12, 40, 127, 310 ], [ 12, 40, 127, 311 ], [ 12, 40, 174, 310 ], [ 12, 40, 174, 344 ], [ 12, 40, 178, 311 ], [ 12, 40, 178, 345 ], [ 12, 40, 187, 345 ], [ 12, 40, 187, 354 ], [ 12, 40, 195, 344 ], [ 12, 40, 195, 354 ], [ 12, 52, 197, 356 ], [ 12, 52, 197, 357 ], [ 12, 52, 214, 368 ], [ 12, 52, 214, 369 ], [ 12, 52, 220, 356 ], [ 12, 52, 220, 368 ], [ 12, 52, 221, 357 ], [ 12, 52, 221, 372 ], [ 12, 52, 222, 369 ], [ 12, 52, 222, 372 ], [ 12, 62, 134, 317 ], [ 12, 62, 134, 320 ], [ 12, 62, 197, 356 ], [ 12, 62, 197, 357 ], [ 12, 62, 232, 317 ], [ 12, 62, 232, 378 ], [ 12, 62, 239, 320 ], [ 12, 62, 239, 356 ], [ 12, 62, 240, 357 ], [ 12, 62, 240, 378 ], [ 12, 70, 138, 310 ], [ 12, 70, 138, 321 ], [ 12, 70, 174, 310 ], [ 12, 70, 174, 344 ], [ 12, 70, 247, 381 ], [ 12, 70, 247, 382 ], [ 12, 70, 250, 321 ], [ 12, 70, 250, 381 ], [ 12, 70, 251, 344 ], [ 12, 70, 251, 382 ], [ 12, 77, 141, 311 ], [ 12, 77, 141, 317 ], [ 12, 77, 178, 311 ], [ 12, 77, 178, 345 ], [ 12, 77, 232, 317 ], [ 12, 77, 232, 378 ], [ 12, 77, 256, 345 ], [ 12, 77, 256, 385 ], [ 12, 77, 262, 378 ], [ 12, 77, 262, 385 ], [ 12, 86, 268, 388 ], [ 12, 86, 268, 389 ], [ 12, 86, 269, 388 ], [ 12, 86, 269, 390 ], [ 12, 86, 272, 389 ], [ 12, 86, 272, 392 ], [ 12, 86, 274, 390 ], [ 12, 86, 274, 392 ], [ 12, 94, 187, 345 ], [ 12, 94, 187, 354 ], [ 12, 94, 256, 345 ], [ 12, 94, 256, 385 ], [ 12, 94, 280, 394 ], [ 12, 94, 280, 395 ], [ 12, 94, 285, 354 ], [ 12, 94, 285, 394 ], [ 12, 94, 286, 385 ], [ 12, 94, 286, 395 ], [ 12, 101, 214, 368 ], [ 12, 101, 214, 369 ], [ 12, 101, 268, 388 ], [ 12, 101, 268, 389 ], [ 12, 101, 289, 388 ], [ 12, 101, 289, 397 ], [ 12, 101, 291, 389 ], [ 12, 101, 291, 398 ], [ 12, 101, 294, 368 ], [ 12, 101, 294, 398 ], [ 12, 101, 295, 369 ], [ 12, 101, 295, 397 ], [ 12, 106, 269, 388 ], [ 12, 106, 269, 390 ], [ 12, 106, 280, 394 ], [ 12, 106, 280, 395 ], [ 12, 106, 289, 388 ], [ 12, 106, 289, 397 ], [ 12, 106, 298, 390 ], [ 12, 106, 298, 394 ], [ 12, 106, 299, 395 ], [ 12, 106, 299, 400 ], [ 12, 106, 300, 397 ], [ 12, 106, 300, 400 ], [ 12, 111, 247, 381 ], [ 12, 111, 247, 382 ], [ 12, 111, 272, 389 ], [ 12, 111, 272, 392 ], [ 12, 111, 291, 389 ], [ 12, 111, 291, 398 ], [ 12, 111, 303, 381 ], [ 12, 111, 303, 398 ], [ 12, 111, 304, 382 ], [ 12, 111, 304, 392 ], [ 12, 115, 158, 320 ], [ 12, 115, 158, 321 ], [ 12, 115, 220, 356 ], [ 12, 115, 220, 368 ], [ 12, 115, 239, 320 ], [ 12, 115, 239, 356 ], [ 12, 115, 250, 321 ], [ 12, 115, 250, 381 ], [ 12, 115, 294, 368 ], [ 12, 115, 294, 398 ], [ 12, 115, 303, 381 ], [ 12, 115, 303, 398 ], [ 12, 116, 195, 344 ], [ 12, 116, 195, 354 ], [ 12, 116, 251, 344 ], [ 12, 116, 251, 382 ], [ 12, 116, 274, 390 ], [ 12, 116, 274, 392 ], [ 12, 116, 285, 354 ], [ 12, 116, 285, 394 ], [ 12, 116, 298, 390 ], [ 12, 116, 298, 394 ], [ 12, 116, 304, 382 ], [ 12, 116, 304, 392 ], [ 12, 117, 221, 357 ], [ 12, 117, 221, 372 ], [ 12, 117, 240, 357 ], [ 12, 117, 240, 378 ], [ 12, 117, 262, 378 ], [ 12, 117, 262, 385 ], [ 12, 117, 286, 385 ], [ 12, 117, 286, 395 ], [ 12, 117, 299, 395 ], [ 12, 117, 299, 400 ], [ 12, 117, 306, 372 ], [ 12, 117, 306, 400 ], [ 12, 118, 222, 369 ], [ 12, 118, 222, 372 ], [ 12, 118, 295, 369 ], [ 12, 118, 295, 397 ], [ 12, 118, 300, 397 ], [ 12, 118, 300, 400 ], [ 12, 118, 306, 372 ], [ 12, 118, 306, 400 ], [ 13, 28, 135, 318 ], [ 13, 28, 135, 320 ], [ 13, 28, 139, 321 ], [ 13, 28, 139, 322 ], [ 13, 28, 153, 318 ], [ 13, 28, 153, 331 ], [ 13, 28, 158, 320 ], [ 13, 28, 158, 321 ], [ 13, 28, 159, 331 ], [ 13, 28, 159, 333 ], [ 13, 28, 160, 322 ], [ 13, 28, 160, 333 ], [ 13, 41, 165, 335 ], [ 13, 41, 165, 337 ], [ 13, 41, 170, 335 ], [ 13, 41, 170, 341 ], [ 13, 41, 184, 351 ], [ 13, 41, 184, 352 ], [ 13, 41, 193, 341 ], [ 13, 41, 193, 351 ], [ 13, 41, 196, 337 ], [ 13, 41, 196, 352 ], [ 13, 53, 165, 335 ], [ 13, 53, 165, 337 ], [ 13, 53, 198, 335 ], [ 13, 53, 198, 356 ], [ 13, 53, 215, 368 ], [ 13, 53, 215, 370 ], [ 13, 53, 220, 356 ], [ 13, 53, 220, 368 ], [ 13, 53, 223, 337 ], [ 13, 53, 223, 370 ], [ 13, 63, 135, 318 ], [ 13, 63, 135, 320 ], [ 13, 63, 170, 335 ], [ 13, 63, 170, 341 ], [ 13, 63, 198, 335 ], [ 13, 63, 198, 356 ], [ 13, 63, 237, 318 ], [ 13, 63, 237, 341 ], [ 13, 63, 239, 320 ], [ 13, 63, 239, 356 ], [ 13, 71, 139, 321 ], [ 13, 71, 139, 322 ], [ 13, 71, 245, 379 ], [ 13, 71, 245, 380 ], [ 13, 71, 248, 379 ], [ 13, 71, 248, 381 ], [ 13, 71, 250, 321 ], [ 13, 71, 250, 381 ], [ 13, 71, 252, 322 ], [ 13, 71, 252, 380 ], [ 13, 78, 253, 383 ], [ 13, 78, 253, 384 ], [ 13, 78, 257, 386 ], [ 13, 78, 257, 387 ], [ 13, 78, 263, 383 ], [ 13, 78, 263, 386 ], [ 13, 78, 264, 384 ], [ 13, 78, 264, 387 ], [ 13, 87, 184, 351 ], [ 13, 87, 184, 352 ], [ 13, 87, 253, 383 ], [ 13, 87, 253, 384 ], [ 13, 87, 270, 351 ], [ 13, 87, 270, 391 ], [ 13, 87, 275, 391 ], [ 13, 87, 275, 393 ], [ 13, 87, 276, 352 ], [ 13, 87, 276, 383 ], [ 13, 87, 277, 384 ], [ 13, 87, 277, 393 ], [ 13, 95, 245, 379 ], [ 13, 95, 245, 380 ], [ 13, 95, 257, 386 ], [ 13, 95, 257, 387 ], [ 13, 95, 283, 379 ], [ 13, 95, 283, 396 ], [ 13, 95, 287, 386 ], [ 13, 95, 287, 396 ], [ 13, 95, 288, 380 ], [ 13, 95, 288, 387 ], [ 13, 102, 215, 368 ], [ 13, 102, 215, 370 ], [ 13, 102, 292, 398 ], [ 13, 102, 292, 399 ], [ 13, 102, 294, 368 ], [ 13, 102, 294, 398 ], [ 13, 102, 296, 370 ], [ 13, 102, 296, 399 ], [ 13, 107, 153, 318 ], [ 13, 107, 153, 331 ], [ 13, 107, 193, 341 ], [ 13, 107, 193, 351 ], [ 13, 107, 237, 318 ], [ 13, 107, 237, 341 ], [ 13, 107, 270, 351 ], [ 13, 107, 270, 391 ], [ 13, 107, 301, 331 ], [ 13, 107, 301, 391 ], [ 13, 112, 248, 379 ], [ 13, 112, 248, 381 ], [ 13, 112, 283, 379 ], [ 13, 112, 283, 396 ], [ 13, 112, 292, 398 ], [ 13, 112, 292, 399 ], [ 13, 112, 303, 381 ], [ 13, 112, 303, 398 ], [ 13, 112, 305, 396 ], [ 13, 112, 305, 399 ], [ 13, 115, 158, 320 ], [ 13, 115, 158, 321 ], [ 13, 115, 220, 356 ], [ 13, 115, 220, 368 ], [ 13, 115, 239, 320 ], [ 13, 115, 239, 356 ], [ 13, 115, 250, 321 ], [ 13, 115, 250, 381 ], [ 13, 115, 294, 368 ], [ 13, 115, 294, 398 ], [ 13, 115, 303, 381 ], [ 13, 115, 303, 398 ], [ 13, 119, 159, 331 ], [ 13, 119, 159, 333 ], [ 13, 119, 275, 391 ], [ 13, 119, 275, 393 ], [ 13, 119, 301, 331 ], [ 13, 119, 301, 391 ], [ 13, 119, 307, 333 ], [ 13, 119, 307, 393 ], [ 13, 120, 196, 337 ], [ 13, 120, 196, 352 ], [ 13, 120, 223, 337 ], [ 13, 120, 223, 370 ], [ 13, 120, 263, 383 ], [ 13, 120, 263, 386 ], [ 13, 120, 276, 352 ], [ 13, 120, 276, 383 ], [ 13, 120, 287, 386 ], [ 13, 120, 287, 396 ], [ 13, 120, 296, 370 ], [ 13, 120, 296, 399 ], [ 13, 120, 305, 396 ], [ 13, 120, 305, 399 ], [ 13, 121, 160, 322 ], [ 13, 121, 160, 333 ], [ 13, 121, 252, 322 ], [ 13, 121, 252, 380 ], [ 13, 121, 264, 384 ], [ 13, 121, 264, 387 ], [ 13, 121, 277, 384 ], [ 13, 121, 277, 393 ], [ 13, 121, 288, 380 ], [ 13, 121, 288, 387 ], [ 13, 121, 307, 333 ], [ 13, 121, 307, 393 ], [ 14, 29, 148, 325 ], [ 14, 29, 148, 326 ], [ 14, 29, 151, 325 ], [ 14, 29, 151, 330 ], [ 14, 29, 154, 326 ], [ 14, 29, 154, 331 ], [ 14, 29, 159, 331 ], [ 14, 29, 159, 333 ], [ 14, 29, 161, 330 ], [ 14, 29, 161, 334 ], [ 14, 29, 162, 333 ], [ 14, 29, 162, 334 ], [ 14, 42, 175, 343 ], [ 14, 42, 175, 344 ], [ 14, 42, 179, 343 ], [ 14, 42, 179, 347 ], [ 14, 42, 188, 353 ], [ 14, 42, 188, 354 ], [ 14, 42, 191, 347 ], [ 14, 42, 191, 353 ], [ 14, 42, 195, 344 ], [ 14, 42, 195, 354 ], [ 14, 54, 204, 359 ], [ 14, 54, 204, 362 ], [ 14, 54, 207, 359 ], [ 14, 54, 207, 364 ], [ 14, 54, 211, 366 ], [ 14, 54, 211, 367 ], [ 14, 54, 216, 364 ], [ 14, 54, 216, 371 ], [ 14, 54, 219, 362 ], [ 14, 54, 219, 366 ], [ 14, 54, 224, 371 ], [ 14, 54, 224, 373 ], [ 14, 54, 225, 367 ], [ 14, 54, 225, 373 ], [ 14, 72, 175, 343 ], [ 14, 72, 175, 344 ], [ 14, 72, 204, 359 ], [ 14, 72, 204, 362 ], [ 14, 72, 242, 343 ], [ 14, 72, 242, 359 ], [ 14, 72, 249, 362 ], [ 14, 72, 249, 382 ], [ 14, 72, 251, 344 ], [ 14, 72, 251, 382 ], [ 14, 79, 179, 343 ], [ 14, 79, 179, 347 ], [ 14, 79, 207, 359 ], [ 14, 79, 207, 364 ], [ 14, 79, 242, 343 ], [ 14, 79, 242, 359 ], [ 14, 79, 260, 347 ], [ 14, 79, 260, 364 ], [ 14, 88, 211, 366 ], [ 14, 88, 211, 367 ], [ 14, 88, 271, 390 ], [ 14, 88, 271, 391 ], [ 14, 88, 273, 366 ], [ 14, 88, 273, 392 ], [ 14, 88, 274, 390 ], [ 14, 88, 274, 392 ], [ 14, 88, 275, 391 ], [ 14, 88, 275, 393 ], [ 14, 88, 278, 367 ], [ 14, 88, 278, 393 ], [ 14, 96, 148, 325 ], [ 14, 96, 148, 326 ], [ 14, 96, 188, 353 ], [ 14, 96, 188, 354 ], [ 14, 96, 279, 325 ], [ 14, 96, 279, 353 ], [ 14, 96, 281, 326 ], [ 14, 96, 281, 394 ], [ 14, 96, 285, 354 ], [ 14, 96, 285, 394 ], [ 14, 103, 151, 325 ], [ 14, 103, 151, 330 ], [ 14, 103, 191, 347 ], [ 14, 103, 191, 353 ], [ 14, 103, 216, 364 ], [ 14, 103, 216, 371 ], [ 14, 103, 260, 347 ], [ 14, 103, 260, 364 ], [ 14, 103, 279, 325 ], [ 14, 103, 279, 353 ], [ 14, 103, 297, 330 ], [ 14, 103, 297, 371 ], [ 14, 108, 154, 326 ], [ 14, 108, 154, 331 ], [ 14, 108, 271, 390 ], [ 14, 108, 271, 391 ], [ 14, 108, 281, 326 ], [ 14, 108, 281, 394 ], [ 14, 108, 298, 390 ], [ 14, 108, 298, 394 ], [ 14, 108, 301, 331 ], [ 14, 108, 301, 391 ], [ 14, 113, 219, 362 ], [ 14, 113, 219, 366 ], [ 14, 113, 249, 362 ], [ 14, 113, 249, 382 ], [ 14, 113, 273, 366 ], [ 14, 113, 273, 392 ], [ 14, 113, 304, 382 ], [ 14, 113, 304, 392 ], [ 14, 116, 195, 344 ], [ 14, 116, 195, 354 ], [ 14, 116, 251, 344 ], [ 14, 116, 251, 382 ], [ 14, 116, 274, 390 ], [ 14, 116, 274, 392 ], [ 14, 116, 285, 354 ], [ 14, 116, 285, 394 ], [ 14, 116, 298, 390 ], [ 14, 116, 298, 394 ], [ 14, 116, 304, 382 ], [ 14, 116, 304, 392 ], [ 14, 119, 159, 331 ], [ 14, 119, 159, 333 ], [ 14, 119, 275, 391 ], [ 14, 119, 275, 393 ], [ 14, 119, 301, 331 ], [ 14, 119, 301, 391 ], [ 14, 119, 307, 333 ], [ 14, 119, 307, 393 ], [ 14, 122, 161, 330 ], [ 14, 122, 161, 334 ], [ 14, 122, 224, 371 ], [ 14, 122, 224, 373 ], [ 14, 122, 297, 330 ], [ 14, 122, 297, 371 ], [ 14, 122, 308, 334 ], [ 14, 122, 308, 373 ], [ 14, 123, 162, 333 ], [ 14, 123, 162, 334 ], [ 14, 123, 225, 367 ], [ 14, 123, 225, 373 ], [ 14, 123, 278, 367 ], [ 14, 123, 278, 393 ], [ 14, 123, 307, 333 ], [ 14, 123, 307, 393 ], [ 14, 123, 308, 334 ], [ 14, 123, 308, 373 ], [ 15, 30, 149, 327 ], [ 15, 30, 149, 328 ], [ 15, 30, 152, 329 ], [ 15, 30, 152, 330 ], [ 15, 30, 155, 327 ], [ 15, 30, 155, 332 ], [ 15, 30, 157, 328 ], [ 15, 30, 157, 329 ], [ 15, 30, 161, 330 ], [ 15, 30, 161, 334 ], [ 15, 30, 163, 332 ], [ 15, 30, 163, 334 ], [ 15, 43, 166, 336 ], [ 15, 43, 166, 337 ], [ 15, 43, 171, 336 ], [ 15, 43, 171, 339 ], [ 15, 43, 185, 339 ], [ 15, 43, 185, 352 ], [ 15, 43, 196, 337 ], [ 15, 43, 196, 352 ], [ 15, 55, 166, 336 ], [ 15, 55, 166, 337 ], [ 15, 55, 199, 336 ], [ 15, 55, 199, 357 ], [ 15, 55, 217, 370 ], [ 15, 55, 217, 371 ], [ 15, 55, 221, 357 ], [ 15, 55, 221, 372 ], [ 15, 55, 223, 337 ], [ 15, 55, 223, 370 ], [ 15, 55, 224, 371 ], [ 15, 55, 224, 373 ], [ 15, 55, 226, 372 ], [ 15, 55, 226, 373 ], [ 15, 64, 171, 336 ], [ 15, 64, 171, 339 ], [ 15, 64, 199, 336 ], [ 15, 64, 199, 357 ], [ 15, 64, 233, 377 ], [ 15, 64, 233, 378 ], [ 15, 64, 235, 339 ], [ 15, 64, 235, 377 ], [ 15, 64, 240, 357 ], [ 15, 64, 240, 378 ], [ 15, 80, 233, 377 ], [ 15, 80, 233, 378 ], [ 15, 80, 254, 377 ], [ 15, 80, 254, 383 ], [ 15, 80, 258, 385 ], [ 15, 80, 258, 386 ], [ 15, 80, 262, 378 ], [ 15, 80, 262, 385 ], [ 15, 80, 263, 383 ], [ 15, 80, 263, 386 ], [ 15, 89, 185, 339 ], [ 15, 89, 185, 352 ], [ 15, 89, 235, 339 ], [ 15, 89, 235, 377 ], [ 15, 89, 254, 377 ], [ 15, 89, 254, 383 ], [ 15, 89, 276, 352 ], [ 15, 89, 276, 383 ], [ 15, 97, 149, 327 ], [ 15, 97, 149, 328 ], [ 15, 97, 258, 385 ], [ 15, 97, 258, 386 ], [ 15, 97, 282, 327 ], [ 15, 97, 282, 395 ], [ 15, 97, 284, 328 ], [ 15, 97, 284, 396 ], [ 15, 97, 286, 385 ], [ 15, 97, 286, 395 ], [ 15, 97, 287, 386 ], [ 15, 97, 287, 396 ], [ 15, 104, 152, 329 ], [ 15, 104, 152, 330 ], [ 15, 104, 217, 370 ], [ 15, 104, 217, 371 ], [ 15, 104, 293, 329 ], [ 15, 104, 293, 399 ], [ 15, 104, 296, 370 ], [ 15, 104, 296, 399 ], [ 15, 104, 297, 330 ], [ 15, 104, 297, 371 ], [ 15, 109, 155, 327 ], [ 15, 109, 155, 332 ], [ 15, 109, 282, 327 ], [ 15, 109, 282, 395 ], [ 15, 109, 299, 395 ], [ 15, 109, 299, 400 ], [ 15, 109, 302, 332 ], [ 15, 109, 302, 400 ], [ 15, 114, 157, 328 ], [ 15, 114, 157, 329 ], [ 15, 114, 284, 328 ], [ 15, 114, 284, 396 ], [ 15, 114, 293, 329 ], [ 15, 114, 293, 399 ], [ 15, 114, 305, 396 ], [ 15, 114, 305, 399 ], [ 15, 117, 221, 357 ], [ 15, 117, 221, 372 ], [ 15, 117, 240, 357 ], [ 15, 117, 240, 378 ], [ 15, 117, 262, 378 ], [ 15, 117, 262, 385 ], [ 15, 117, 286, 385 ], [ 15, 117, 286, 395 ], [ 15, 117, 299, 395 ], [ 15, 117, 299, 400 ], [ 15, 117, 306, 372 ], [ 15, 117, 306, 400 ], [ 15, 120, 196, 337 ], [ 15, 120, 196, 352 ], [ 15, 120, 223, 337 ], [ 15, 120, 223, 370 ], [ 15, 120, 263, 383 ], [ 15, 120, 263, 386 ], [ 15, 120, 276, 352 ], [ 15, 120, 276, 383 ], [ 15, 120, 287, 386 ], [ 15, 120, 287, 396 ], [ 15, 120, 296, 370 ], [ 15, 120, 296, 399 ], [ 15, 120, 305, 396 ], [ 15, 120, 305, 399 ], [ 15, 122, 161, 330 ], [ 15, 122, 161, 334 ], [ 15, 122, 224, 371 ], [ 15, 122, 224, 373 ], [ 15, 122, 297, 330 ], [ 15, 122, 297, 371 ], [ 15, 122, 308, 334 ], [ 15, 122, 308, 373 ], [ 15, 124, 163, 332 ], [ 15, 124, 163, 334 ], [ 15, 124, 226, 372 ], [ 15, 124, 226, 373 ], [ 15, 124, 302, 332 ], [ 15, 124, 302, 400 ], [ 15, 124, 306, 372 ], [ 15, 124, 306, 400 ], [ 15, 124, 308, 334 ], [ 15, 124, 308, 373 ], [ 16, 31, 136, 316 ], [ 16, 31, 136, 319 ], [ 16, 31, 140, 316 ], [ 16, 31, 140, 322 ], [ 16, 31, 156, 319 ], [ 16, 31, 156, 332 ], [ 16, 31, 160, 322 ], [ 16, 31, 160, 333 ], [ 16, 31, 162, 333 ], [ 16, 31, 162, 334 ], [ 16, 31, 163, 332 ], [ 16, 31, 163, 334 ], [ 16, 44, 172, 340 ], [ 16, 44, 172, 342 ], [ 16, 44, 180, 346 ], [ 16, 44, 180, 348 ], [ 16, 44, 189, 340 ], [ 16, 44, 189, 346 ], [ 16, 44, 192, 348 ], [ 16, 44, 192, 355 ], [ 16, 44, 194, 342 ], [ 16, 44, 194, 355 ], [ 16, 56, 208, 363 ], [ 16, 56, 208, 365 ], [ 16, 56, 212, 363 ], [ 16, 56, 212, 367 ], [ 16, 56, 218, 365 ], [ 16, 56, 218, 369 ], [ 16, 56, 222, 369 ], [ 16, 56, 222, 372 ], [ 16, 56, 225, 367 ], [ 16, 56, 225, 373 ], [ 16, 56, 226, 372 ], [ 16, 56, 226, 373 ], [ 16, 65, 136, 316 ], [ 16, 65, 136, 319 ], [ 16, 65, 172, 340 ], [ 16, 65, 172, 342 ], [ 16, 65, 230, 316 ], [ 16, 65, 230, 376 ], [ 16, 65, 236, 340 ], [ 16, 65, 236, 376 ], [ 16, 65, 238, 319 ], [ 16, 65, 238, 342 ], [ 16, 73, 140, 316 ], [ 16, 73, 140, 322 ], [ 16, 73, 230, 316 ], [ 16, 73, 230, 376 ], [ 16, 73, 246, 376 ], [ 16, 73, 246, 380 ], [ 16, 73, 252, 322 ], [ 16, 73, 252, 380 ], [ 16, 81, 180, 346 ], [ 16, 81, 180, 348 ], [ 16, 81, 208, 363 ], [ 16, 81, 208, 365 ], [ 16, 81, 255, 363 ], [ 16, 81, 255, 384 ], [ 16, 81, 259, 346 ], [ 16, 81, 259, 387 ], [ 16, 81, 261, 348 ], [ 16, 81, 261, 365 ], [ 16, 81, 264, 384 ], [ 16, 81, 264, 387 ], [ 16, 90, 212, 363 ], [ 16, 90, 212, 367 ], [ 16, 90, 255, 363 ], [ 16, 90, 255, 384 ], [ 16, 90, 277, 384 ], [ 16, 90, 277, 393 ], [ 16, 90, 278, 367 ], [ 16, 90, 278, 393 ], [ 16, 98, 189, 340 ], [ 16, 98, 189, 346 ], [ 16, 98, 236, 340 ], [ 16, 98, 236, 376 ], [ 16, 98, 246, 376 ], [ 16, 98, 246, 380 ], [ 16, 98, 259, 346 ], [ 16, 98, 259, 387 ], [ 16, 98, 288, 380 ], [ 16, 98, 288, 387 ], [ 16, 105, 192, 348 ], [ 16, 105, 192, 355 ], [ 16, 105, 218, 365 ], [ 16, 105, 218, 369 ], [ 16, 105, 261, 348 ], [ 16, 105, 261, 365 ], [ 16, 105, 290, 355 ], [ 16, 105, 290, 397 ], [ 16, 105, 295, 369 ], [ 16, 105, 295, 397 ], [ 16, 110, 156, 319 ], [ 16, 110, 156, 332 ], [ 16, 110, 194, 342 ], [ 16, 110, 194, 355 ], [ 16, 110, 238, 319 ], [ 16, 110, 238, 342 ], [ 16, 110, 290, 355 ], [ 16, 110, 290, 397 ], [ 16, 110, 300, 397 ], [ 16, 110, 300, 400 ], [ 16, 110, 302, 332 ], [ 16, 110, 302, 400 ], [ 16, 118, 222, 369 ], [ 16, 118, 222, 372 ], [ 16, 118, 295, 369 ], [ 16, 118, 295, 397 ], [ 16, 118, 300, 397 ], [ 16, 118, 300, 400 ], [ 16, 118, 306, 372 ], [ 16, 118, 306, 400 ], [ 16, 121, 160, 322 ], [ 16, 121, 160, 333 ], [ 16, 121, 252, 322 ], [ 16, 121, 252, 380 ], [ 16, 121, 264, 384 ], [ 16, 121, 264, 387 ], [ 16, 121, 277, 384 ], [ 16, 121, 277, 393 ], [ 16, 121, 288, 380 ], [ 16, 121, 288, 387 ], [ 16, 121, 307, 333 ], [ 16, 121, 307, 393 ], [ 16, 123, 162, 333 ], [ 16, 123, 162, 334 ], [ 16, 123, 225, 367 ], [ 16, 123, 225, 373 ], [ 16, 123, 278, 367 ], [ 16, 123, 278, 393 ], [ 16, 123, 307, 333 ], [ 16, 123, 307, 393 ], [ 16, 123, 308, 334 ], [ 16, 123, 308, 373 ], [ 16, 124, 163, 332 ], [ 16, 124, 163, 334 ], [ 16, 124, 226, 372 ], [ 16, 124, 226, 373 ], [ 16, 124, 302, 332 ], [ 16, 124, 302, 400 ], [ 16, 124, 306, 372 ], [ 16, 124, 306, 400 ], [ 16, 124, 308, 334 ], [ 16, 124, 308, 373 ] ];