#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### 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: ### ### ### ### triple_trefoil_bsd (= S_3_18_125_bsd) ### ### ### ### ### ### description: ### ### ### ### barycentric subdivision of the triple trefoil sphere ### ### ### ### ### ### properties: ### ### ### ### f=(536,3536,6000,3000), ### ### H_*=(Z,0,0,Z), ### ### non-constructible, non-shellable, ### ### perfect discrete Morse vector: (1,0,0,1) ### ### ### ### ### ### references: ### ### ### ### M. Hachimori and K. Shimokawa. ### ### Tangle sum and constructible spheres. ### ### J. Knot Theory Ramifications 13, 373-383 (2004). ### ### ### ### 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, 19, 162, 412 ], [ 1, 19, 162, 413 ], [ 1, 19, 163, 412 ], [ 1, 19, 163, 414 ], [ 1, 19, 164, 413 ], [ 1, 19, 164, 414 ], [ 1, 20, 165, 415 ], [ 1, 20, 165, 416 ], [ 1, 20, 166, 415 ], [ 1, 20, 166, 417 ], [ 1, 20, 167, 416 ], [ 1, 20, 167, 417 ], [ 1, 21, 162, 412 ], [ 1, 21, 162, 413 ], [ 1, 21, 168, 418 ], [ 1, 21, 168, 419 ], [ 1, 21, 169, 412 ], [ 1, 21, 169, 420 ], [ 1, 21, 170, 418 ], [ 1, 21, 170, 420 ], [ 1, 21, 171, 413 ], [ 1, 21, 171, 421 ], [ 1, 21, 172, 419 ], [ 1, 21, 172, 421 ], [ 1, 22, 168, 418 ], [ 1, 22, 168, 419 ], [ 1, 22, 173, 422 ], [ 1, 22, 173, 423 ], [ 1, 22, 174, 422 ], [ 1, 22, 174, 424 ], [ 1, 22, 175, 425 ], [ 1, 22, 175, 426 ], [ 1, 22, 176, 418 ], [ 1, 22, 176, 423 ], [ 1, 22, 177, 419 ], [ 1, 22, 177, 425 ], [ 1, 22, 178, 424 ], [ 1, 22, 178, 426 ], [ 1, 23, 173, 422 ], [ 1, 23, 173, 423 ], [ 1, 23, 179, 422 ], [ 1, 23, 179, 427 ], [ 1, 23, 180, 427 ], [ 1, 23, 180, 428 ], [ 1, 23, 181, 423 ], [ 1, 23, 181, 429 ], [ 1, 23, 182, 428 ], [ 1, 23, 182, 429 ], [ 1, 24, 165, 415 ], [ 1, 24, 165, 416 ], [ 1, 24, 183, 415 ], [ 1, 24, 183, 430 ], [ 1, 24, 184, 416 ], [ 1, 24, 184, 431 ], [ 1, 24, 185, 430 ], [ 1, 24, 185, 432 ], [ 1, 24, 186, 431 ], [ 1, 24, 186, 433 ], [ 1, 24, 187, 432 ], [ 1, 24, 187, 433 ], [ 1, 25, 163, 412 ], [ 1, 25, 163, 414 ], [ 1, 25, 169, 412 ], [ 1, 25, 169, 420 ], [ 1, 25, 188, 420 ], [ 1, 25, 188, 434 ], [ 1, 25, 189, 414 ], [ 1, 25, 189, 434 ], [ 1, 26, 166, 415 ], [ 1, 26, 166, 417 ], [ 1, 26, 183, 415 ], [ 1, 26, 183, 430 ], [ 1, 26, 190, 417 ], [ 1, 26, 190, 435 ], [ 1, 26, 191, 430 ], [ 1, 26, 191, 435 ], [ 1, 27, 174, 422 ], [ 1, 27, 174, 424 ], [ 1, 27, 179, 422 ], [ 1, 27, 179, 427 ], [ 1, 27, 192, 427 ], [ 1, 27, 192, 436 ], [ 1, 27, 193, 424 ], [ 1, 27, 193, 437 ], [ 1, 27, 194, 436 ], [ 1, 27, 194, 437 ], [ 1, 28, 167, 416 ], [ 1, 28, 167, 417 ], [ 1, 28, 175, 425 ], [ 1, 28, 175, 426 ], [ 1, 28, 180, 427 ], [ 1, 28, 180, 428 ], [ 1, 28, 184, 416 ], [ 1, 28, 184, 431 ], [ 1, 28, 190, 417 ], [ 1, 28, 190, 435 ], [ 1, 28, 192, 427 ], [ 1, 28, 192, 436 ], [ 1, 28, 195, 435 ], [ 1, 28, 195, 438 ], [ 1, 28, 196, 425 ], [ 1, 28, 196, 428 ], [ 1, 28, 197, 426 ], [ 1, 28, 197, 431 ], [ 1, 28, 198, 436 ], [ 1, 28, 198, 438 ], [ 1, 29, 185, 430 ], [ 1, 29, 185, 432 ], [ 1, 29, 191, 430 ], [ 1, 29, 191, 435 ], [ 1, 29, 195, 435 ], [ 1, 29, 195, 438 ], [ 1, 29, 199, 432 ], [ 1, 29, 199, 438 ], [ 1, 30, 170, 418 ], [ 1, 30, 170, 420 ], [ 1, 30, 176, 418 ], [ 1, 30, 176, 423 ], [ 1, 30, 181, 423 ], [ 1, 30, 181, 429 ], [ 1, 30, 188, 420 ], [ 1, 30, 188, 434 ], [ 1, 30, 200, 434 ], [ 1, 30, 200, 439 ], [ 1, 30, 201, 429 ], [ 1, 30, 201, 439 ], [ 1, 31, 164, 413 ], [ 1, 31, 164, 414 ], [ 1, 31, 171, 413 ], [ 1, 31, 171, 421 ], [ 1, 31, 189, 414 ], [ 1, 31, 189, 434 ], [ 1, 31, 200, 434 ], [ 1, 31, 200, 439 ], [ 1, 31, 202, 421 ], [ 1, 31, 202, 439 ], [ 1, 32, 172, 419 ], [ 1, 32, 172, 421 ], [ 1, 32, 177, 419 ], [ 1, 32, 177, 425 ], [ 1, 32, 182, 428 ], [ 1, 32, 182, 429 ], [ 1, 32, 196, 425 ], [ 1, 32, 196, 428 ], [ 1, 32, 201, 429 ], [ 1, 32, 201, 439 ], [ 1, 32, 202, 421 ], [ 1, 32, 202, 439 ], [ 1, 33, 178, 424 ], [ 1, 33, 178, 426 ], [ 1, 33, 186, 431 ], [ 1, 33, 186, 433 ], [ 1, 33, 193, 424 ], [ 1, 33, 193, 437 ], [ 1, 33, 197, 426 ], [ 1, 33, 197, 431 ], [ 1, 33, 203, 433 ], [ 1, 33, 203, 437 ], [ 1, 34, 187, 432 ], [ 1, 34, 187, 433 ], [ 1, 34, 194, 436 ], [ 1, 34, 194, 437 ], [ 1, 34, 198, 436 ], [ 1, 34, 198, 438 ], [ 1, 34, 199, 432 ], [ 1, 34, 199, 438 ], [ 1, 34, 203, 433 ], [ 1, 34, 203, 437 ], [ 2, 19, 162, 412 ], [ 2, 19, 162, 413 ], [ 2, 19, 163, 412 ], [ 2, 19, 163, 414 ], [ 2, 19, 164, 413 ], [ 2, 19, 164, 414 ], [ 2, 35, 204, 440 ], [ 2, 35, 204, 441 ], [ 2, 35, 205, 440 ], [ 2, 35, 205, 442 ], [ 2, 35, 206, 441 ], [ 2, 35, 206, 442 ], [ 2, 36, 162, 412 ], [ 2, 36, 162, 413 ], [ 2, 36, 207, 443 ], [ 2, 36, 207, 444 ], [ 2, 36, 208, 412 ], [ 2, 36, 208, 445 ], [ 2, 36, 209, 413 ], [ 2, 36, 209, 443 ], [ 2, 36, 210, 444 ], [ 2, 36, 210, 445 ], [ 2, 37, 204, 440 ], [ 2, 37, 204, 441 ], [ 2, 37, 211, 446 ], [ 2, 37, 211, 447 ], [ 2, 37, 212, 440 ], [ 2, 37, 212, 448 ], [ 2, 37, 213, 441 ], [ 2, 37, 213, 446 ], [ 2, 37, 214, 447 ], [ 2, 37, 214, 448 ], [ 2, 38, 207, 443 ], [ 2, 38, 207, 444 ], [ 2, 38, 215, 449 ], [ 2, 38, 215, 450 ], [ 2, 38, 216, 449 ], [ 2, 38, 216, 451 ], [ 2, 38, 217, 443 ], [ 2, 38, 217, 451 ], [ 2, 38, 218, 450 ], [ 2, 38, 218, 452 ], [ 2, 38, 219, 444 ], [ 2, 38, 219, 452 ], [ 2, 39, 220, 453 ], [ 2, 39, 220, 454 ], [ 2, 39, 221, 453 ], [ 2, 39, 221, 455 ], [ 2, 39, 222, 454 ], [ 2, 39, 222, 456 ], [ 2, 39, 223, 456 ], [ 2, 39, 223, 457 ], [ 2, 39, 224, 457 ], [ 2, 39, 224, 458 ], [ 2, 39, 225, 455 ], [ 2, 39, 225, 458 ], [ 2, 40, 220, 453 ], [ 2, 40, 220, 454 ], [ 2, 40, 226, 453 ], [ 2, 40, 226, 459 ], [ 2, 40, 227, 454 ], [ 2, 40, 227, 460 ], [ 2, 40, 228, 459 ], [ 2, 40, 228, 461 ], [ 2, 40, 229, 460 ], [ 2, 40, 229, 462 ], [ 2, 40, 230, 461 ], [ 2, 40, 230, 462 ], [ 2, 41, 163, 412 ], [ 2, 41, 163, 414 ], [ 2, 41, 208, 412 ], [ 2, 41, 208, 445 ], [ 2, 41, 231, 463 ], [ 2, 41, 231, 464 ], [ 2, 41, 232, 414 ], [ 2, 41, 232, 463 ], [ 2, 41, 233, 464 ], [ 2, 41, 233, 465 ], [ 2, 41, 234, 445 ], [ 2, 41, 234, 465 ], [ 2, 42, 211, 446 ], [ 2, 42, 211, 447 ], [ 2, 42, 221, 453 ], [ 2, 42, 221, 455 ], [ 2, 42, 226, 453 ], [ 2, 42, 226, 459 ], [ 2, 42, 235, 459 ], [ 2, 42, 235, 466 ], [ 2, 42, 236, 446 ], [ 2, 42, 236, 466 ], [ 2, 42, 237, 447 ], [ 2, 42, 237, 455 ], [ 2, 43, 215, 449 ], [ 2, 43, 215, 450 ], [ 2, 43, 222, 454 ], [ 2, 43, 222, 456 ], [ 2, 43, 227, 454 ], [ 2, 43, 227, 460 ], [ 2, 43, 238, 449 ], [ 2, 43, 238, 456 ], [ 2, 43, 239, 450 ], [ 2, 43, 239, 460 ], [ 2, 44, 216, 449 ], [ 2, 44, 216, 451 ], [ 2, 44, 223, 456 ], [ 2, 44, 223, 457 ], [ 2, 44, 231, 463 ], [ 2, 44, 231, 464 ], [ 2, 44, 238, 449 ], [ 2, 44, 238, 456 ], [ 2, 44, 240, 451 ], [ 2, 44, 240, 463 ], [ 2, 44, 241, 457 ], [ 2, 44, 241, 464 ], [ 2, 45, 205, 440 ], [ 2, 45, 205, 442 ], [ 2, 45, 212, 440 ], [ 2, 45, 212, 448 ], [ 2, 45, 228, 459 ], [ 2, 45, 228, 461 ], [ 2, 45, 235, 459 ], [ 2, 45, 235, 466 ], [ 2, 45, 242, 442 ], [ 2, 45, 242, 466 ], [ 2, 45, 243, 448 ], [ 2, 45, 243, 461 ], [ 2, 46, 206, 441 ], [ 2, 46, 206, 442 ], [ 2, 46, 213, 441 ], [ 2, 46, 213, 446 ], [ 2, 46, 236, 446 ], [ 2, 46, 236, 466 ], [ 2, 46, 242, 442 ], [ 2, 46, 242, 466 ], [ 2, 47, 164, 413 ], [ 2, 47, 164, 414 ], [ 2, 47, 209, 413 ], [ 2, 47, 209, 443 ], [ 2, 47, 217, 443 ], [ 2, 47, 217, 451 ], [ 2, 47, 232, 414 ], [ 2, 47, 232, 463 ], [ 2, 47, 240, 451 ], [ 2, 47, 240, 463 ], [ 2, 48, 218, 450 ], [ 2, 48, 218, 452 ], [ 2, 48, 224, 457 ], [ 2, 48, 224, 458 ], [ 2, 48, 229, 460 ], [ 2, 48, 229, 462 ], [ 2, 48, 233, 464 ], [ 2, 48, 233, 465 ], [ 2, 48, 239, 450 ], [ 2, 48, 239, 460 ], [ 2, 48, 241, 457 ], [ 2, 48, 241, 464 ], [ 2, 48, 244, 452 ], [ 2, 48, 244, 465 ], [ 2, 48, 245, 458 ], [ 2, 48, 245, 462 ], [ 2, 49, 210, 444 ], [ 2, 49, 210, 445 ], [ 2, 49, 219, 444 ], [ 2, 49, 219, 452 ], [ 2, 49, 234, 445 ], [ 2, 49, 234, 465 ], [ 2, 49, 244, 452 ], [ 2, 49, 244, 465 ], [ 2, 50, 214, 447 ], [ 2, 50, 214, 448 ], [ 2, 50, 225, 455 ], [ 2, 50, 225, 458 ], [ 2, 50, 230, 461 ], [ 2, 50, 230, 462 ], [ 2, 50, 237, 447 ], [ 2, 50, 237, 455 ], [ 2, 50, 243, 448 ], [ 2, 50, 243, 461 ], [ 2, 50, 245, 458 ], [ 2, 50, 245, 462 ], [ 3, 20, 165, 415 ], [ 3, 20, 165, 416 ], [ 3, 20, 166, 415 ], [ 3, 20, 166, 417 ], [ 3, 20, 167, 416 ], [ 3, 20, 167, 417 ], [ 3, 35, 204, 440 ], [ 3, 35, 204, 441 ], [ 3, 35, 205, 440 ], [ 3, 35, 205, 442 ], [ 3, 35, 206, 441 ], [ 3, 35, 206, 442 ], [ 3, 51, 246, 467 ], [ 3, 51, 246, 468 ], [ 3, 51, 247, 469 ], [ 3, 51, 247, 470 ], [ 3, 51, 248, 467 ], [ 3, 51, 248, 469 ], [ 3, 51, 249, 468 ], [ 3, 51, 249, 471 ], [ 3, 51, 250, 470 ], [ 3, 51, 250, 471 ], [ 3, 52, 204, 440 ], [ 3, 52, 204, 441 ], [ 3, 52, 251, 472 ], [ 3, 52, 251, 473 ], [ 3, 52, 252, 440 ], [ 3, 52, 252, 472 ], [ 3, 52, 253, 441 ], [ 3, 52, 253, 473 ], [ 3, 53, 254, 474 ], [ 3, 53, 254, 475 ], [ 3, 53, 255, 476 ], [ 3, 53, 255, 477 ], [ 3, 53, 256, 474 ], [ 3, 53, 256, 478 ], [ 3, 53, 257, 476 ], [ 3, 53, 257, 479 ], [ 3, 53, 258, 478 ], [ 3, 53, 258, 479 ], [ 3, 53, 259, 475 ], [ 3, 53, 259, 477 ], [ 3, 54, 251, 472 ], [ 3, 54, 251, 473 ], [ 3, 54, 260, 480 ], [ 3, 54, 260, 481 ], [ 3, 54, 261, 472 ], [ 3, 54, 261, 480 ], [ 3, 54, 262, 473 ], [ 3, 54, 262, 482 ], [ 3, 54, 263, 481 ], [ 3, 54, 263, 482 ], [ 3, 55, 165, 415 ], [ 3, 55, 165, 416 ], [ 3, 55, 246, 467 ], [ 3, 55, 246, 468 ], [ 3, 55, 264, 415 ], [ 3, 55, 264, 483 ], [ 3, 55, 265, 416 ], [ 3, 55, 265, 467 ], [ 3, 55, 266, 468 ], [ 3, 55, 266, 483 ], [ 3, 56, 254, 474 ], [ 3, 56, 254, 475 ], [ 3, 56, 260, 480 ], [ 3, 56, 260, 481 ], [ 3, 56, 267, 480 ], [ 3, 56, 267, 484 ], [ 3, 56, 268, 474 ], [ 3, 56, 268, 484 ], [ 3, 56, 269, 475 ], [ 3, 56, 269, 481 ], [ 3, 57, 166, 415 ], [ 3, 57, 166, 417 ], [ 3, 57, 247, 469 ], [ 3, 57, 247, 470 ], [ 3, 57, 264, 415 ], [ 3, 57, 264, 483 ], [ 3, 57, 270, 417 ], [ 3, 57, 270, 469 ], [ 3, 57, 271, 483 ], [ 3, 57, 271, 485 ], [ 3, 57, 272, 470 ], [ 3, 57, 272, 486 ], [ 3, 57, 273, 485 ], [ 3, 57, 273, 486 ], [ 3, 58, 255, 476 ], [ 3, 58, 255, 477 ], [ 3, 58, 274, 487 ], [ 3, 58, 274, 488 ], [ 3, 58, 275, 476 ], [ 3, 58, 275, 487 ], [ 3, 58, 276, 488 ], [ 3, 58, 276, 489 ], [ 3, 58, 277, 477 ], [ 3, 58, 277, 489 ], [ 3, 59, 167, 416 ], [ 3, 59, 167, 417 ], [ 3, 59, 248, 467 ], [ 3, 59, 248, 469 ], [ 3, 59, 265, 416 ], [ 3, 59, 265, 467 ], [ 3, 59, 270, 417 ], [ 3, 59, 270, 469 ], [ 3, 60, 205, 440 ], [ 3, 60, 205, 442 ], [ 3, 60, 252, 440 ], [ 3, 60, 252, 472 ], [ 3, 60, 261, 472 ], [ 3, 60, 261, 480 ], [ 3, 60, 267, 480 ], [ 3, 60, 267, 484 ], [ 3, 60, 278, 442 ], [ 3, 60, 278, 484 ], [ 3, 61, 206, 441 ], [ 3, 61, 206, 442 ], [ 3, 61, 253, 441 ], [ 3, 61, 253, 473 ], [ 3, 61, 256, 474 ], [ 3, 61, 256, 478 ], [ 3, 61, 262, 473 ], [ 3, 61, 262, 482 ], [ 3, 61, 268, 474 ], [ 3, 61, 268, 484 ], [ 3, 61, 278, 442 ], [ 3, 61, 278, 484 ], [ 3, 61, 279, 478 ], [ 3, 61, 279, 490 ], [ 3, 61, 280, 482 ], [ 3, 61, 280, 490 ], [ 3, 62, 249, 468 ], [ 3, 62, 249, 471 ], [ 3, 62, 266, 468 ], [ 3, 62, 266, 483 ], [ 3, 62, 271, 483 ], [ 3, 62, 271, 485 ], [ 3, 62, 274, 487 ], [ 3, 62, 274, 488 ], [ 3, 62, 281, 471 ], [ 3, 62, 281, 487 ], [ 3, 62, 282, 485 ], [ 3, 62, 282, 488 ], [ 3, 63, 250, 470 ], [ 3, 63, 250, 471 ], [ 3, 63, 257, 476 ], [ 3, 63, 257, 479 ], [ 3, 63, 272, 470 ], [ 3, 63, 272, 486 ], [ 3, 63, 275, 476 ], [ 3, 63, 275, 487 ], [ 3, 63, 281, 471 ], [ 3, 63, 281, 487 ], [ 3, 63, 283, 479 ], [ 3, 63, 283, 486 ], [ 3, 64, 258, 478 ], [ 3, 64, 258, 479 ], [ 3, 64, 273, 485 ], [ 3, 64, 273, 486 ], [ 3, 64, 276, 488 ], [ 3, 64, 276, 489 ], [ 3, 64, 279, 478 ], [ 3, 64, 279, 490 ], [ 3, 64, 282, 485 ], [ 3, 64, 282, 488 ], [ 3, 64, 283, 479 ], [ 3, 64, 283, 486 ], [ 3, 64, 284, 489 ], [ 3, 64, 284, 490 ], [ 3, 65, 259, 475 ], [ 3, 65, 259, 477 ], [ 3, 65, 263, 481 ], [ 3, 65, 263, 482 ], [ 3, 65, 269, 475 ], [ 3, 65, 269, 481 ], [ 3, 65, 277, 477 ], [ 3, 65, 277, 489 ], [ 3, 65, 280, 482 ], [ 3, 65, 280, 490 ], [ 3, 65, 284, 489 ], [ 3, 65, 284, 490 ], [ 4, 21, 162, 412 ], [ 4, 21, 162, 413 ], [ 4, 21, 168, 418 ], [ 4, 21, 168, 419 ], [ 4, 21, 169, 412 ], [ 4, 21, 169, 420 ], [ 4, 21, 170, 418 ], [ 4, 21, 170, 420 ], [ 4, 21, 171, 413 ], [ 4, 21, 171, 421 ], [ 4, 21, 172, 419 ], [ 4, 21, 172, 421 ], [ 4, 36, 162, 412 ], [ 4, 36, 162, 413 ], [ 4, 36, 207, 443 ], [ 4, 36, 207, 444 ], [ 4, 36, 208, 412 ], [ 4, 36, 208, 445 ], [ 4, 36, 209, 413 ], [ 4, 36, 209, 443 ], [ 4, 36, 210, 444 ], [ 4, 36, 210, 445 ], [ 4, 51, 246, 467 ], [ 4, 51, 246, 468 ], [ 4, 51, 247, 469 ], [ 4, 51, 247, 470 ], [ 4, 51, 248, 467 ], [ 4, 51, 248, 469 ], [ 4, 51, 249, 468 ], [ 4, 51, 249, 471 ], [ 4, 51, 250, 470 ], [ 4, 51, 250, 471 ], [ 4, 66, 168, 418 ], [ 4, 66, 168, 419 ], [ 4, 66, 285, 491 ], [ 4, 66, 285, 492 ], [ 4, 66, 286, 418 ], [ 4, 66, 286, 491 ], [ 4, 66, 287, 419 ], [ 4, 66, 287, 492 ], [ 4, 67, 207, 443 ], [ 4, 67, 207, 444 ], [ 4, 67, 288, 493 ], [ 4, 67, 288, 494 ], [ 4, 67, 289, 443 ], [ 4, 67, 289, 493 ], [ 4, 67, 290, 444 ], [ 4, 67, 290, 494 ], [ 4, 68, 246, 467 ], [ 4, 68, 246, 468 ], [ 4, 68, 288, 493 ], [ 4, 68, 288, 494 ], [ 4, 68, 291, 467 ], [ 4, 68, 291, 495 ], [ 4, 68, 292, 468 ], [ 4, 68, 292, 493 ], [ 4, 68, 293, 494 ], [ 4, 68, 293, 495 ], [ 4, 69, 169, 412 ], [ 4, 69, 169, 420 ], [ 4, 69, 208, 412 ], [ 4, 69, 208, 445 ], [ 4, 69, 294, 496 ], [ 4, 69, 294, 497 ], [ 4, 69, 295, 420 ], [ 4, 69, 295, 496 ], [ 4, 69, 296, 445 ], [ 4, 69, 296, 497 ], [ 4, 70, 247, 469 ], [ 4, 70, 247, 470 ], [ 4, 70, 285, 491 ], [ 4, 70, 285, 492 ], [ 4, 70, 297, 469 ], [ 4, 70, 297, 498 ], [ 4, 70, 298, 498 ], [ 4, 70, 298, 499 ], [ 4, 70, 299, 491 ], [ 4, 70, 299, 499 ], [ 4, 70, 300, 470 ], [ 4, 70, 300, 492 ], [ 4, 71, 248, 467 ], [ 4, 71, 248, 469 ], [ 4, 71, 291, 467 ], [ 4, 71, 291, 495 ], [ 4, 71, 297, 469 ], [ 4, 71, 297, 498 ], [ 4, 71, 301, 498 ], [ 4, 71, 301, 500 ], [ 4, 71, 302, 495 ], [ 4, 71, 302, 500 ], [ 4, 72, 294, 496 ], [ 4, 72, 294, 497 ], [ 4, 72, 298, 498 ], [ 4, 72, 298, 499 ], [ 4, 72, 301, 498 ], [ 4, 72, 301, 500 ], [ 4, 72, 303, 496 ], [ 4, 72, 303, 499 ], [ 4, 72, 304, 497 ], [ 4, 72, 304, 500 ], [ 4, 73, 170, 418 ], [ 4, 73, 170, 420 ], [ 4, 73, 286, 418 ], [ 4, 73, 286, 491 ], [ 4, 73, 295, 420 ], [ 4, 73, 295, 496 ], [ 4, 73, 299, 491 ], [ 4, 73, 299, 499 ], [ 4, 73, 303, 496 ], [ 4, 73, 303, 499 ], [ 4, 74, 171, 413 ], [ 4, 74, 171, 421 ], [ 4, 74, 209, 413 ], [ 4, 74, 209, 443 ], [ 4, 74, 249, 468 ], [ 4, 74, 249, 471 ], [ 4, 74, 289, 443 ], [ 4, 74, 289, 493 ], [ 4, 74, 292, 468 ], [ 4, 74, 292, 493 ], [ 4, 74, 305, 421 ], [ 4, 74, 305, 471 ], [ 4, 75, 172, 419 ], [ 4, 75, 172, 421 ], [ 4, 75, 250, 470 ], [ 4, 75, 250, 471 ], [ 4, 75, 287, 419 ], [ 4, 75, 287, 492 ], [ 4, 75, 300, 470 ], [ 4, 75, 300, 492 ], [ 4, 75, 305, 421 ], [ 4, 75, 305, 471 ], [ 4, 76, 210, 444 ], [ 4, 76, 210, 445 ], [ 4, 76, 290, 444 ], [ 4, 76, 290, 494 ], [ 4, 76, 293, 494 ], [ 4, 76, 293, 495 ], [ 4, 76, 296, 445 ], [ 4, 76, 296, 497 ], [ 4, 76, 302, 495 ], [ 4, 76, 302, 500 ], [ 4, 76, 304, 497 ], [ 4, 76, 304, 500 ], [ 5, 22, 168, 418 ], [ 5, 22, 168, 419 ], [ 5, 22, 173, 422 ], [ 5, 22, 173, 423 ], [ 5, 22, 174, 422 ], [ 5, 22, 174, 424 ], [ 5, 22, 175, 425 ], [ 5, 22, 175, 426 ], [ 5, 22, 176, 418 ], [ 5, 22, 176, 423 ], [ 5, 22, 177, 419 ], [ 5, 22, 177, 425 ], [ 5, 22, 178, 424 ], [ 5, 22, 178, 426 ], [ 5, 37, 204, 440 ], [ 5, 37, 204, 441 ], [ 5, 37, 211, 446 ], [ 5, 37, 211, 447 ], [ 5, 37, 212, 440 ], [ 5, 37, 212, 448 ], [ 5, 37, 213, 441 ], [ 5, 37, 213, 446 ], [ 5, 37, 214, 447 ], [ 5, 37, 214, 448 ], [ 5, 52, 204, 440 ], [ 5, 52, 204, 441 ], [ 5, 52, 251, 472 ], [ 5, 52, 251, 473 ], [ 5, 52, 252, 440 ], [ 5, 52, 252, 472 ], [ 5, 52, 253, 441 ], [ 5, 52, 253, 473 ], [ 5, 66, 168, 418 ], [ 5, 66, 168, 419 ], [ 5, 66, 285, 491 ], [ 5, 66, 285, 492 ], [ 5, 66, 286, 418 ], [ 5, 66, 286, 491 ], [ 5, 66, 287, 419 ], [ 5, 66, 287, 492 ], [ 5, 77, 306, 501 ], [ 5, 77, 306, 502 ], [ 5, 77, 307, 501 ], [ 5, 77, 307, 503 ], [ 5, 77, 308, 503 ], [ 5, 77, 308, 504 ], [ 5, 77, 309, 502 ], [ 5, 77, 309, 505 ], [ 5, 77, 310, 504 ], [ 5, 77, 310, 505 ], [ 5, 78, 173, 422 ], [ 5, 78, 173, 423 ], [ 5, 78, 251, 472 ], [ 5, 78, 251, 473 ], [ 5, 78, 306, 501 ], [ 5, 78, 306, 502 ], [ 5, 78, 311, 501 ], [ 5, 78, 311, 506 ], [ 5, 78, 312, 422 ], [ 5, 78, 312, 506 ], [ 5, 78, 313, 472 ], [ 5, 78, 313, 502 ], [ 5, 78, 314, 423 ], [ 5, 78, 314, 473 ], [ 5, 79, 307, 501 ], [ 5, 79, 307, 503 ], [ 5, 79, 311, 501 ], [ 5, 79, 311, 506 ], [ 5, 79, 315, 503 ], [ 5, 79, 315, 507 ], [ 5, 79, 316, 506 ], [ 5, 79, 316, 507 ], [ 5, 80, 308, 503 ], [ 5, 80, 308, 504 ], [ 5, 80, 315, 503 ], [ 5, 80, 315, 507 ], [ 5, 80, 317, 508 ], [ 5, 80, 317, 509 ], [ 5, 80, 318, 507 ], [ 5, 80, 318, 510 ], [ 5, 80, 319, 511 ], [ 5, 80, 319, 512 ], [ 5, 80, 320, 510 ], [ 5, 80, 320, 511 ], [ 5, 80, 321, 508 ], [ 5, 80, 321, 512 ], [ 5, 80, 322, 504 ], [ 5, 80, 322, 509 ], [ 5, 81, 211, 446 ], [ 5, 81, 211, 447 ], [ 5, 81, 285, 491 ], [ 5, 81, 285, 492 ], [ 5, 81, 317, 508 ], [ 5, 81, 317, 509 ], [ 5, 81, 323, 446 ], [ 5, 81, 323, 491 ], [ 5, 81, 324, 492 ], [ 5, 81, 324, 508 ], [ 5, 81, 325, 447 ], [ 5, 81, 325, 509 ], [ 5, 82, 174, 422 ], [ 5, 82, 174, 424 ], [ 5, 82, 312, 422 ], [ 5, 82, 312, 506 ], [ 5, 82, 316, 506 ], [ 5, 82, 316, 507 ], [ 5, 82, 318, 507 ], [ 5, 82, 318, 510 ], [ 5, 82, 326, 510 ], [ 5, 82, 326, 513 ], [ 5, 82, 327, 424 ], [ 5, 82, 327, 513 ], [ 5, 83, 175, 425 ], [ 5, 83, 175, 426 ], [ 5, 83, 319, 511 ], [ 5, 83, 319, 512 ], [ 5, 83, 328, 511 ], [ 5, 83, 328, 514 ], [ 5, 83, 329, 425 ], [ 5, 83, 329, 512 ], [ 5, 83, 330, 426 ], [ 5, 83, 330, 514 ], [ 5, 84, 212, 440 ], [ 5, 84, 212, 448 ], [ 5, 84, 252, 440 ], [ 5, 84, 252, 472 ], [ 5, 84, 309, 502 ], [ 5, 84, 309, 505 ], [ 5, 84, 313, 472 ], [ 5, 84, 313, 502 ], [ 5, 84, 331, 448 ], [ 5, 84, 331, 505 ], [ 5, 85, 176, 418 ], [ 5, 85, 176, 423 ], [ 5, 85, 213, 441 ], [ 5, 85, 213, 446 ], [ 5, 85, 253, 441 ], [ 5, 85, 253, 473 ], [ 5, 85, 286, 418 ], [ 5, 85, 286, 491 ], [ 5, 85, 314, 423 ], [ 5, 85, 314, 473 ], [ 5, 85, 323, 446 ], [ 5, 85, 323, 491 ], [ 5, 86, 320, 510 ], [ 5, 86, 320, 511 ], [ 5, 86, 326, 510 ], [ 5, 86, 326, 513 ], [ 5, 86, 328, 511 ], [ 5, 86, 328, 514 ], [ 5, 86, 332, 513 ], [ 5, 86, 332, 514 ], [ 5, 87, 177, 419 ], [ 5, 87, 177, 425 ], [ 5, 87, 287, 419 ], [ 5, 87, 287, 492 ], [ 5, 87, 321, 508 ], [ 5, 87, 321, 512 ], [ 5, 87, 324, 492 ], [ 5, 87, 324, 508 ], [ 5, 87, 329, 425 ], [ 5, 87, 329, 512 ], [ 5, 88, 178, 424 ], [ 5, 88, 178, 426 ], [ 5, 88, 327, 424 ], [ 5, 88, 327, 513 ], [ 5, 88, 330, 426 ], [ 5, 88, 330, 514 ], [ 5, 88, 332, 513 ], [ 5, 88, 332, 514 ], [ 5, 89, 214, 447 ], [ 5, 89, 214, 448 ], [ 5, 89, 310, 504 ], [ 5, 89, 310, 505 ], [ 5, 89, 322, 504 ], [ 5, 89, 322, 509 ], [ 5, 89, 325, 447 ], [ 5, 89, 325, 509 ], [ 5, 89, 331, 448 ], [ 5, 89, 331, 505 ], [ 6, 38, 207, 443 ], [ 6, 38, 207, 444 ], [ 6, 38, 215, 449 ], [ 6, 38, 215, 450 ], [ 6, 38, 216, 449 ], [ 6, 38, 216, 451 ], [ 6, 38, 217, 443 ], [ 6, 38, 217, 451 ], [ 6, 38, 218, 450 ], [ 6, 38, 218, 452 ], [ 6, 38, 219, 444 ], [ 6, 38, 219, 452 ], [ 6, 53, 254, 474 ], [ 6, 53, 254, 475 ], [ 6, 53, 255, 476 ], [ 6, 53, 255, 477 ], [ 6, 53, 256, 474 ], [ 6, 53, 256, 478 ], [ 6, 53, 257, 476 ], [ 6, 53, 257, 479 ], [ 6, 53, 258, 478 ], [ 6, 53, 258, 479 ], [ 6, 53, 259, 475 ], [ 6, 53, 259, 477 ], [ 6, 67, 207, 443 ], [ 6, 67, 207, 444 ], [ 6, 67, 288, 493 ], [ 6, 67, 288, 494 ], [ 6, 67, 289, 443 ], [ 6, 67, 289, 493 ], [ 6, 67, 290, 444 ], [ 6, 67, 290, 494 ], [ 6, 77, 306, 501 ], [ 6, 77, 306, 502 ], [ 6, 77, 307, 501 ], [ 6, 77, 307, 503 ], [ 6, 77, 308, 503 ], [ 6, 77, 308, 504 ], [ 6, 77, 309, 502 ], [ 6, 77, 309, 505 ], [ 6, 77, 310, 504 ], [ 6, 77, 310, 505 ], [ 6, 90, 306, 501 ], [ 6, 90, 306, 502 ], [ 6, 90, 333, 501 ], [ 6, 90, 333, 515 ], [ 6, 90, 334, 502 ], [ 6, 90, 334, 516 ], [ 6, 90, 335, 515 ], [ 6, 90, 335, 516 ], [ 6, 91, 288, 493 ], [ 6, 91, 288, 494 ], [ 6, 91, 307, 501 ], [ 6, 91, 307, 503 ], [ 6, 91, 333, 501 ], [ 6, 91, 333, 515 ], [ 6, 91, 336, 503 ], [ 6, 91, 336, 517 ], [ 6, 91, 337, 517 ], [ 6, 91, 337, 518 ], [ 6, 91, 338, 493 ], [ 6, 91, 338, 515 ], [ 6, 91, 339, 494 ], [ 6, 91, 339, 518 ], [ 6, 92, 254, 474 ], [ 6, 92, 254, 475 ], [ 6, 92, 308, 503 ], [ 6, 92, 308, 504 ], [ 6, 92, 336, 503 ], [ 6, 92, 336, 517 ], [ 6, 92, 340, 474 ], [ 6, 92, 340, 517 ], [ 6, 92, 341, 475 ], [ 6, 92, 341, 504 ], [ 6, 93, 215, 449 ], [ 6, 93, 215, 450 ], [ 6, 93, 255, 476 ], [ 6, 93, 255, 477 ], [ 6, 93, 342, 449 ], [ 6, 93, 342, 519 ], [ 6, 93, 343, 450 ], [ 6, 93, 343, 476 ], [ 6, 93, 344, 477 ], [ 6, 93, 344, 519 ], [ 6, 94, 216, 449 ], [ 6, 94, 216, 451 ], [ 6, 94, 342, 449 ], [ 6, 94, 342, 519 ], [ 6, 94, 345, 520 ], [ 6, 94, 345, 521 ], [ 6, 94, 346, 451 ], [ 6, 94, 346, 520 ], [ 6, 94, 347, 519 ], [ 6, 94, 347, 521 ], [ 6, 95, 309, 502 ], [ 6, 95, 309, 505 ], [ 6, 95, 334, 502 ], [ 6, 95, 334, 516 ], [ 6, 95, 345, 520 ], [ 6, 95, 345, 521 ], [ 6, 95, 348, 516 ], [ 6, 95, 348, 520 ], [ 6, 95, 349, 505 ], [ 6, 95, 349, 521 ], [ 6, 96, 256, 474 ], [ 6, 96, 256, 478 ], [ 6, 96, 337, 517 ], [ 6, 96, 337, 518 ], [ 6, 96, 340, 474 ], [ 6, 96, 340, 517 ], [ 6, 96, 350, 478 ], [ 6, 96, 350, 518 ], [ 6, 97, 217, 443 ], [ 6, 97, 217, 451 ], [ 6, 97, 289, 443 ], [ 6, 97, 289, 493 ], [ 6, 97, 335, 515 ], [ 6, 97, 335, 516 ], [ 6, 97, 338, 493 ], [ 6, 97, 338, 515 ], [ 6, 97, 346, 451 ], [ 6, 97, 346, 520 ], [ 6, 97, 348, 516 ], [ 6, 97, 348, 520 ], [ 6, 98, 218, 450 ], [ 6, 98, 218, 452 ], [ 6, 98, 257, 476 ], [ 6, 98, 257, 479 ], [ 6, 98, 343, 450 ], [ 6, 98, 343, 476 ], [ 6, 98, 351, 452 ], [ 6, 98, 351, 479 ], [ 6, 99, 219, 444 ], [ 6, 99, 219, 452 ], [ 6, 99, 258, 478 ], [ 6, 99, 258, 479 ], [ 6, 99, 290, 444 ], [ 6, 99, 290, 494 ], [ 6, 99, 339, 494 ], [ 6, 99, 339, 518 ], [ 6, 99, 350, 478 ], [ 6, 99, 350, 518 ], [ 6, 99, 351, 452 ], [ 6, 99, 351, 479 ], [ 6, 100, 259, 475 ], [ 6, 100, 259, 477 ], [ 6, 100, 310, 504 ], [ 6, 100, 310, 505 ], [ 6, 100, 341, 475 ], [ 6, 100, 341, 504 ], [ 6, 100, 344, 477 ], [ 6, 100, 344, 519 ], [ 6, 100, 347, 519 ], [ 6, 100, 347, 521 ], [ 6, 100, 349, 505 ], [ 6, 100, 349, 521 ], [ 7, 23, 173, 422 ], [ 7, 23, 173, 423 ], [ 7, 23, 179, 422 ], [ 7, 23, 179, 427 ], [ 7, 23, 180, 427 ], [ 7, 23, 180, 428 ], [ 7, 23, 181, 423 ], [ 7, 23, 181, 429 ], [ 7, 23, 182, 428 ], [ 7, 23, 182, 429 ], [ 7, 39, 220, 453 ], [ 7, 39, 220, 454 ], [ 7, 39, 221, 453 ], [ 7, 39, 221, 455 ], [ 7, 39, 222, 454 ], [ 7, 39, 222, 456 ], [ 7, 39, 223, 456 ], [ 7, 39, 223, 457 ], [ 7, 39, 224, 457 ], [ 7, 39, 224, 458 ], [ 7, 39, 225, 455 ], [ 7, 39, 225, 458 ], [ 7, 54, 251, 472 ], [ 7, 54, 251, 473 ], [ 7, 54, 260, 480 ], [ 7, 54, 260, 481 ], [ 7, 54, 261, 472 ], [ 7, 54, 261, 480 ], [ 7, 54, 262, 473 ], [ 7, 54, 262, 482 ], [ 7, 54, 263, 481 ], [ 7, 54, 263, 482 ], [ 7, 78, 173, 422 ], [ 7, 78, 173, 423 ], [ 7, 78, 251, 472 ], [ 7, 78, 251, 473 ], [ 7, 78, 306, 501 ], [ 7, 78, 306, 502 ], [ 7, 78, 311, 501 ], [ 7, 78, 311, 506 ], [ 7, 78, 312, 422 ], [ 7, 78, 312, 506 ], [ 7, 78, 313, 472 ], [ 7, 78, 313, 502 ], [ 7, 78, 314, 423 ], [ 7, 78, 314, 473 ], [ 7, 90, 306, 501 ], [ 7, 90, 306, 502 ], [ 7, 90, 333, 501 ], [ 7, 90, 333, 515 ], [ 7, 90, 334, 502 ], [ 7, 90, 334, 516 ], [ 7, 90, 335, 515 ], [ 7, 90, 335, 516 ], [ 7, 101, 220, 453 ], [ 7, 101, 220, 454 ], [ 7, 101, 311, 501 ], [ 7, 101, 311, 506 ], [ 7, 101, 333, 501 ], [ 7, 101, 333, 515 ], [ 7, 101, 352, 453 ], [ 7, 101, 352, 522 ], [ 7, 101, 353, 454 ], [ 7, 101, 353, 506 ], [ 7, 101, 354, 515 ], [ 7, 101, 354, 522 ], [ 7, 102, 260, 480 ], [ 7, 102, 260, 481 ], [ 7, 102, 355, 523 ], [ 7, 102, 355, 524 ], [ 7, 102, 356, 480 ], [ 7, 102, 356, 525 ], [ 7, 102, 357, 523 ], [ 7, 102, 357, 525 ], [ 7, 102, 358, 481 ], [ 7, 102, 358, 524 ], [ 7, 103, 221, 453 ], [ 7, 103, 221, 455 ], [ 7, 103, 352, 453 ], [ 7, 103, 352, 522 ], [ 7, 103, 355, 523 ], [ 7, 103, 355, 524 ], [ 7, 103, 359, 522 ], [ 7, 103, 359, 526 ], [ 7, 103, 360, 523 ], [ 7, 103, 360, 526 ], [ 7, 103, 361, 455 ], [ 7, 103, 361, 524 ], [ 7, 104, 179, 422 ], [ 7, 104, 179, 427 ], [ 7, 104, 222, 454 ], [ 7, 104, 222, 456 ], [ 7, 104, 312, 422 ], [ 7, 104, 312, 506 ], [ 7, 104, 353, 454 ], [ 7, 104, 353, 506 ], [ 7, 104, 362, 427 ], [ 7, 104, 362, 456 ], [ 7, 105, 180, 427 ], [ 7, 105, 180, 428 ], [ 7, 105, 223, 456 ], [ 7, 105, 223, 457 ], [ 7, 105, 362, 427 ], [ 7, 105, 362, 456 ], [ 7, 105, 363, 428 ], [ 7, 105, 363, 457 ], [ 7, 106, 261, 472 ], [ 7, 106, 261, 480 ], [ 7, 106, 313, 472 ], [ 7, 106, 313, 502 ], [ 7, 106, 334, 502 ], [ 7, 106, 334, 516 ], [ 7, 106, 356, 480 ], [ 7, 106, 356, 525 ], [ 7, 106, 364, 516 ], [ 7, 106, 364, 527 ], [ 7, 106, 365, 525 ], [ 7, 106, 365, 527 ], [ 7, 107, 181, 423 ], [ 7, 107, 181, 429 ], [ 7, 107, 262, 473 ], [ 7, 107, 262, 482 ], [ 7, 107, 314, 423 ], [ 7, 107, 314, 473 ], [ 7, 107, 366, 429 ], [ 7, 107, 366, 528 ], [ 7, 107, 367, 482 ], [ 7, 107, 367, 528 ], [ 7, 108, 335, 515 ], [ 7, 108, 335, 516 ], [ 7, 108, 354, 515 ], [ 7, 108, 354, 522 ], [ 7, 108, 359, 522 ], [ 7, 108, 359, 526 ], [ 7, 108, 364, 516 ], [ 7, 108, 364, 527 ], [ 7, 108, 368, 526 ], [ 7, 108, 368, 527 ], [ 7, 109, 182, 428 ], [ 7, 109, 182, 429 ], [ 7, 109, 224, 457 ], [ 7, 109, 224, 458 ], [ 7, 109, 363, 428 ], [ 7, 109, 363, 457 ], [ 7, 109, 366, 429 ], [ 7, 109, 366, 528 ], [ 7, 109, 369, 458 ], [ 7, 109, 369, 528 ], [ 7, 110, 357, 523 ], [ 7, 110, 357, 525 ], [ 7, 110, 360, 523 ], [ 7, 110, 360, 526 ], [ 7, 110, 365, 525 ], [ 7, 110, 365, 527 ], [ 7, 110, 368, 526 ], [ 7, 110, 368, 527 ], [ 7, 111, 225, 455 ], [ 7, 111, 225, 458 ], [ 7, 111, 263, 481 ], [ 7, 111, 263, 482 ], [ 7, 111, 358, 481 ], [ 7, 111, 358, 524 ], [ 7, 111, 361, 455 ], [ 7, 111, 361, 524 ], [ 7, 111, 367, 482 ], [ 7, 111, 367, 528 ], [ 7, 111, 369, 458 ], [ 7, 111, 369, 528 ], [ 8, 24, 165, 415 ], [ 8, 24, 165, 416 ], [ 8, 24, 183, 415 ], [ 8, 24, 183, 430 ], [ 8, 24, 184, 416 ], [ 8, 24, 184, 431 ], [ 8, 24, 185, 430 ], [ 8, 24, 185, 432 ], [ 8, 24, 186, 431 ], [ 8, 24, 186, 433 ], [ 8, 24, 187, 432 ], [ 8, 24, 187, 433 ], [ 8, 40, 220, 453 ], [ 8, 40, 220, 454 ], [ 8, 40, 226, 453 ], [ 8, 40, 226, 459 ], [ 8, 40, 227, 454 ], [ 8, 40, 227, 460 ], [ 8, 40, 228, 459 ], [ 8, 40, 228, 461 ], [ 8, 40, 229, 460 ], [ 8, 40, 229, 462 ], [ 8, 40, 230, 461 ], [ 8, 40, 230, 462 ], [ 8, 55, 165, 415 ], [ 8, 55, 165, 416 ], [ 8, 55, 246, 467 ], [ 8, 55, 246, 468 ], [ 8, 55, 264, 415 ], [ 8, 55, 264, 483 ], [ 8, 55, 265, 416 ], [ 8, 55, 265, 467 ], [ 8, 55, 266, 468 ], [ 8, 55, 266, 483 ], [ 8, 68, 246, 467 ], [ 8, 68, 246, 468 ], [ 8, 68, 288, 493 ], [ 8, 68, 288, 494 ], [ 8, 68, 291, 467 ], [ 8, 68, 291, 495 ], [ 8, 68, 292, 468 ], [ 8, 68, 292, 493 ], [ 8, 68, 293, 494 ], [ 8, 68, 293, 495 ], [ 8, 79, 307, 501 ], [ 8, 79, 307, 503 ], [ 8, 79, 311, 501 ], [ 8, 79, 311, 506 ], [ 8, 79, 315, 503 ], [ 8, 79, 315, 507 ], [ 8, 79, 316, 506 ], [ 8, 79, 316, 507 ], [ 8, 91, 288, 493 ], [ 8, 91, 288, 494 ], [ 8, 91, 307, 501 ], [ 8, 91, 307, 503 ], [ 8, 91, 333, 501 ], [ 8, 91, 333, 515 ], [ 8, 91, 336, 503 ], [ 8, 91, 336, 517 ], [ 8, 91, 337, 517 ], [ 8, 91, 337, 518 ], [ 8, 91, 338, 493 ], [ 8, 91, 338, 515 ], [ 8, 91, 339, 494 ], [ 8, 91, 339, 518 ], [ 8, 101, 220, 453 ], [ 8, 101, 220, 454 ], [ 8, 101, 311, 501 ], [ 8, 101, 311, 506 ], [ 8, 101, 333, 501 ], [ 8, 101, 333, 515 ], [ 8, 101, 352, 453 ], [ 8, 101, 352, 522 ], [ 8, 101, 353, 454 ], [ 8, 101, 353, 506 ], [ 8, 101, 354, 515 ], [ 8, 101, 354, 522 ], [ 8, 112, 315, 503 ], [ 8, 112, 315, 507 ], [ 8, 112, 336, 503 ], [ 8, 112, 336, 517 ], [ 8, 112, 370, 507 ], [ 8, 112, 370, 529 ], [ 8, 112, 371, 517 ], [ 8, 112, 371, 529 ], [ 8, 113, 183, 415 ], [ 8, 113, 183, 430 ], [ 8, 113, 226, 453 ], [ 8, 113, 226, 459 ], [ 8, 113, 264, 415 ], [ 8, 113, 264, 483 ], [ 8, 113, 352, 453 ], [ 8, 113, 352, 522 ], [ 8, 113, 372, 430 ], [ 8, 113, 372, 459 ], [ 8, 113, 373, 483 ], [ 8, 113, 373, 522 ], [ 8, 114, 227, 454 ], [ 8, 114, 227, 460 ], [ 8, 114, 316, 506 ], [ 8, 114, 316, 507 ], [ 8, 114, 353, 454 ], [ 8, 114, 353, 506 ], [ 8, 114, 370, 507 ], [ 8, 114, 370, 529 ], [ 8, 114, 374, 529 ], [ 8, 114, 374, 530 ], [ 8, 114, 375, 460 ], [ 8, 114, 375, 530 ], [ 8, 115, 184, 416 ], [ 8, 115, 184, 431 ], [ 8, 115, 265, 416 ], [ 8, 115, 265, 467 ], [ 8, 115, 291, 467 ], [ 8, 115, 291, 495 ], [ 8, 115, 376, 431 ], [ 8, 115, 376, 495 ], [ 8, 116, 185, 430 ], [ 8, 116, 185, 432 ], [ 8, 116, 228, 459 ], [ 8, 116, 228, 461 ], [ 8, 116, 372, 430 ], [ 8, 116, 372, 459 ], [ 8, 116, 377, 432 ], [ 8, 116, 377, 461 ], [ 8, 117, 337, 517 ], [ 8, 117, 337, 518 ], [ 8, 117, 371, 517 ], [ 8, 117, 371, 529 ], [ 8, 117, 374, 529 ], [ 8, 117, 374, 530 ], [ 8, 117, 378, 530 ], [ 8, 117, 378, 531 ], [ 8, 117, 379, 518 ], [ 8, 117, 379, 532 ], [ 8, 117, 380, 531 ], [ 8, 117, 380, 532 ], [ 8, 118, 266, 468 ], [ 8, 118, 266, 483 ], [ 8, 118, 292, 468 ], [ 8, 118, 292, 493 ], [ 8, 118, 338, 493 ], [ 8, 118, 338, 515 ], [ 8, 118, 354, 515 ], [ 8, 118, 354, 522 ], [ 8, 118, 373, 483 ], [ 8, 118, 373, 522 ], [ 8, 119, 229, 460 ], [ 8, 119, 229, 462 ], [ 8, 119, 375, 460 ], [ 8, 119, 375, 530 ], [ 8, 119, 378, 530 ], [ 8, 119, 378, 531 ], [ 8, 119, 381, 462 ], [ 8, 119, 381, 531 ], [ 8, 120, 186, 431 ], [ 8, 120, 186, 433 ], [ 8, 120, 293, 494 ], [ 8, 120, 293, 495 ], [ 8, 120, 339, 494 ], [ 8, 120, 339, 518 ], [ 8, 120, 376, 431 ], [ 8, 120, 376, 495 ], [ 8, 120, 379, 518 ], [ 8, 120, 379, 532 ], [ 8, 120, 382, 433 ], [ 8, 120, 382, 532 ], [ 8, 121, 187, 432 ], [ 8, 121, 187, 433 ], [ 8, 121, 230, 461 ], [ 8, 121, 230, 462 ], [ 8, 121, 377, 432 ], [ 8, 121, 377, 461 ], [ 8, 121, 380, 531 ], [ 8, 121, 380, 532 ], [ 8, 121, 381, 462 ], [ 8, 121, 381, 531 ], [ 8, 121, 382, 433 ], [ 8, 121, 382, 532 ], [ 9, 25, 163, 412 ], [ 9, 25, 163, 414 ], [ 9, 25, 169, 412 ], [ 9, 25, 169, 420 ], [ 9, 25, 188, 420 ], [ 9, 25, 188, 434 ], [ 9, 25, 189, 414 ], [ 9, 25, 189, 434 ], [ 9, 41, 163, 412 ], [ 9, 41, 163, 414 ], [ 9, 41, 208, 412 ], [ 9, 41, 208, 445 ], [ 9, 41, 231, 463 ], [ 9, 41, 231, 464 ], [ 9, 41, 232, 414 ], [ 9, 41, 232, 463 ], [ 9, 41, 233, 464 ], [ 9, 41, 233, 465 ], [ 9, 41, 234, 445 ], [ 9, 41, 234, 465 ], [ 9, 56, 254, 474 ], [ 9, 56, 254, 475 ], [ 9, 56, 260, 480 ], [ 9, 56, 260, 481 ], [ 9, 56, 267, 480 ], [ 9, 56, 267, 484 ], [ 9, 56, 268, 474 ], [ 9, 56, 268, 484 ], [ 9, 56, 269, 475 ], [ 9, 56, 269, 481 ], [ 9, 69, 169, 412 ], [ 9, 69, 169, 420 ], [ 9, 69, 208, 412 ], [ 9, 69, 208, 445 ], [ 9, 69, 294, 496 ], [ 9, 69, 294, 497 ], [ 9, 69, 295, 420 ], [ 9, 69, 295, 496 ], [ 9, 69, 296, 445 ], [ 9, 69, 296, 497 ], [ 9, 80, 308, 503 ], [ 9, 80, 308, 504 ], [ 9, 80, 315, 503 ], [ 9, 80, 315, 507 ], [ 9, 80, 317, 508 ], [ 9, 80, 317, 509 ], [ 9, 80, 318, 507 ], [ 9, 80, 318, 510 ], [ 9, 80, 319, 511 ], [ 9, 80, 319, 512 ], [ 9, 80, 320, 510 ], [ 9, 80, 320, 511 ], [ 9, 80, 321, 508 ], [ 9, 80, 321, 512 ], [ 9, 80, 322, 504 ], [ 9, 80, 322, 509 ], [ 9, 92, 254, 474 ], [ 9, 92, 254, 475 ], [ 9, 92, 308, 503 ], [ 9, 92, 308, 504 ], [ 9, 92, 336, 503 ], [ 9, 92, 336, 517 ], [ 9, 92, 340, 474 ], [ 9, 92, 340, 517 ], [ 9, 92, 341, 475 ], [ 9, 92, 341, 504 ], [ 9, 102, 260, 480 ], [ 9, 102, 260, 481 ], [ 9, 102, 355, 523 ], [ 9, 102, 355, 524 ], [ 9, 102, 356, 480 ], [ 9, 102, 356, 525 ], [ 9, 102, 357, 523 ], [ 9, 102, 357, 525 ], [ 9, 102, 358, 481 ], [ 9, 102, 358, 524 ], [ 9, 112, 315, 503 ], [ 9, 112, 315, 507 ], [ 9, 112, 336, 503 ], [ 9, 112, 336, 517 ], [ 9, 112, 370, 507 ], [ 9, 112, 370, 529 ], [ 9, 112, 371, 517 ], [ 9, 112, 371, 529 ], [ 9, 122, 317, 508 ], [ 9, 122, 317, 509 ], [ 9, 122, 355, 523 ], [ 9, 122, 355, 524 ], [ 9, 122, 383, 508 ], [ 9, 122, 383, 533 ], [ 9, 122, 384, 523 ], [ 9, 122, 384, 533 ], [ 9, 122, 385, 509 ], [ 9, 122, 385, 524 ], [ 9, 123, 318, 507 ], [ 9, 123, 318, 510 ], [ 9, 123, 370, 507 ], [ 9, 123, 370, 529 ], [ 9, 123, 386, 529 ], [ 9, 123, 386, 534 ], [ 9, 123, 387, 510 ], [ 9, 123, 387, 534 ], [ 9, 124, 231, 463 ], [ 9, 124, 231, 464 ], [ 9, 124, 319, 511 ], [ 9, 124, 319, 512 ], [ 9, 124, 388, 463 ], [ 9, 124, 388, 511 ], [ 9, 124, 389, 464 ], [ 9, 124, 389, 512 ], [ 9, 125, 267, 480 ], [ 9, 125, 267, 484 ], [ 9, 125, 294, 496 ], [ 9, 125, 294, 497 ], [ 9, 125, 356, 480 ], [ 9, 125, 356, 525 ], [ 9, 125, 390, 484 ], [ 9, 125, 390, 496 ], [ 9, 125, 391, 497 ], [ 9, 125, 391, 525 ], [ 9, 126, 188, 420 ], [ 9, 126, 188, 434 ], [ 9, 126, 268, 474 ], [ 9, 126, 268, 484 ], [ 9, 126, 295, 420 ], [ 9, 126, 295, 496 ], [ 9, 126, 340, 474 ], [ 9, 126, 340, 517 ], [ 9, 126, 371, 517 ], [ 9, 126, 371, 529 ], [ 9, 126, 386, 529 ], [ 9, 126, 386, 534 ], [ 9, 126, 390, 484 ], [ 9, 126, 390, 496 ], [ 9, 126, 392, 434 ], [ 9, 126, 392, 534 ], [ 9, 127, 189, 414 ], [ 9, 127, 189, 434 ], [ 9, 127, 232, 414 ], [ 9, 127, 232, 463 ], [ 9, 127, 320, 510 ], [ 9, 127, 320, 511 ], [ 9, 127, 387, 510 ], [ 9, 127, 387, 534 ], [ 9, 127, 388, 463 ], [ 9, 127, 388, 511 ], [ 9, 127, 392, 434 ], [ 9, 127, 392, 534 ], [ 9, 128, 233, 464 ], [ 9, 128, 233, 465 ], [ 9, 128, 321, 508 ], [ 9, 128, 321, 512 ], [ 9, 128, 383, 508 ], [ 9, 128, 383, 533 ], [ 9, 128, 389, 464 ], [ 9, 128, 389, 512 ], [ 9, 128, 393, 465 ], [ 9, 128, 393, 533 ], [ 9, 129, 234, 445 ], [ 9, 129, 234, 465 ], [ 9, 129, 296, 445 ], [ 9, 129, 296, 497 ], [ 9, 129, 357, 523 ], [ 9, 129, 357, 525 ], [ 9, 129, 384, 523 ], [ 9, 129, 384, 533 ], [ 9, 129, 391, 497 ], [ 9, 129, 391, 525 ], [ 9, 129, 393, 465 ], [ 9, 129, 393, 533 ], [ 9, 130, 269, 475 ], [ 9, 130, 269, 481 ], [ 9, 130, 322, 504 ], [ 9, 130, 322, 509 ], [ 9, 130, 341, 475 ], [ 9, 130, 341, 504 ], [ 9, 130, 358, 481 ], [ 9, 130, 358, 524 ], [ 9, 130, 385, 509 ], [ 9, 130, 385, 524 ], [ 10, 26, 166, 415 ], [ 10, 26, 166, 417 ], [ 10, 26, 183, 415 ], [ 10, 26, 183, 430 ], [ 10, 26, 190, 417 ], [ 10, 26, 190, 435 ], [ 10, 26, 191, 430 ], [ 10, 26, 191, 435 ], [ 10, 42, 211, 446 ], [ 10, 42, 211, 447 ], [ 10, 42, 221, 453 ], [ 10, 42, 221, 455 ], [ 10, 42, 226, 453 ], [ 10, 42, 226, 459 ], [ 10, 42, 235, 459 ], [ 10, 42, 235, 466 ], [ 10, 42, 236, 446 ], [ 10, 42, 236, 466 ], [ 10, 42, 237, 447 ], [ 10, 42, 237, 455 ], [ 10, 57, 166, 415 ], [ 10, 57, 166, 417 ], [ 10, 57, 247, 469 ], [ 10, 57, 247, 470 ], [ 10, 57, 264, 415 ], [ 10, 57, 264, 483 ], [ 10, 57, 270, 417 ], [ 10, 57, 270, 469 ], [ 10, 57, 271, 483 ], [ 10, 57, 271, 485 ], [ 10, 57, 272, 470 ], [ 10, 57, 272, 486 ], [ 10, 57, 273, 485 ], [ 10, 57, 273, 486 ], [ 10, 70, 247, 469 ], [ 10, 70, 247, 470 ], [ 10, 70, 285, 491 ], [ 10, 70, 285, 492 ], [ 10, 70, 297, 469 ], [ 10, 70, 297, 498 ], [ 10, 70, 298, 498 ], [ 10, 70, 298, 499 ], [ 10, 70, 299, 491 ], [ 10, 70, 299, 499 ], [ 10, 70, 300, 470 ], [ 10, 70, 300, 492 ], [ 10, 81, 211, 446 ], [ 10, 81, 211, 447 ], [ 10, 81, 285, 491 ], [ 10, 81, 285, 492 ], [ 10, 81, 317, 508 ], [ 10, 81, 317, 509 ], [ 10, 81, 323, 446 ], [ 10, 81, 323, 491 ], [ 10, 81, 324, 492 ], [ 10, 81, 324, 508 ], [ 10, 81, 325, 447 ], [ 10, 81, 325, 509 ], [ 10, 103, 221, 453 ], [ 10, 103, 221, 455 ], [ 10, 103, 352, 453 ], [ 10, 103, 352, 522 ], [ 10, 103, 355, 523 ], [ 10, 103, 355, 524 ], [ 10, 103, 359, 522 ], [ 10, 103, 359, 526 ], [ 10, 103, 360, 523 ], [ 10, 103, 360, 526 ], [ 10, 103, 361, 455 ], [ 10, 103, 361, 524 ], [ 10, 113, 183, 415 ], [ 10, 113, 183, 430 ], [ 10, 113, 226, 453 ], [ 10, 113, 226, 459 ], [ 10, 113, 264, 415 ], [ 10, 113, 264, 483 ], [ 10, 113, 352, 453 ], [ 10, 113, 352, 522 ], [ 10, 113, 372, 430 ], [ 10, 113, 372, 459 ], [ 10, 113, 373, 483 ], [ 10, 113, 373, 522 ], [ 10, 122, 317, 508 ], [ 10, 122, 317, 509 ], [ 10, 122, 355, 523 ], [ 10, 122, 355, 524 ], [ 10, 122, 383, 508 ], [ 10, 122, 383, 533 ], [ 10, 122, 384, 523 ], [ 10, 122, 384, 533 ], [ 10, 122, 385, 509 ], [ 10, 122, 385, 524 ], [ 10, 131, 190, 417 ], [ 10, 131, 190, 435 ], [ 10, 131, 270, 417 ], [ 10, 131, 270, 469 ], [ 10, 131, 297, 469 ], [ 10, 131, 297, 498 ], [ 10, 131, 394, 435 ], [ 10, 131, 394, 498 ], [ 10, 132, 191, 430 ], [ 10, 132, 191, 435 ], [ 10, 132, 235, 459 ], [ 10, 132, 235, 466 ], [ 10, 132, 298, 498 ], [ 10, 132, 298, 499 ], [ 10, 132, 372, 430 ], [ 10, 132, 372, 459 ], [ 10, 132, 394, 435 ], [ 10, 132, 394, 498 ], [ 10, 132, 395, 466 ], [ 10, 132, 395, 499 ], [ 10, 133, 236, 446 ], [ 10, 133, 236, 466 ], [ 10, 133, 299, 491 ], [ 10, 133, 299, 499 ], [ 10, 133, 323, 446 ], [ 10, 133, 323, 491 ], [ 10, 133, 395, 466 ], [ 10, 133, 395, 499 ], [ 10, 134, 271, 483 ], [ 10, 134, 271, 485 ], [ 10, 134, 359, 522 ], [ 10, 134, 359, 526 ], [ 10, 134, 373, 483 ], [ 10, 134, 373, 522 ], [ 10, 134, 396, 485 ], [ 10, 134, 396, 526 ], [ 10, 135, 272, 470 ], [ 10, 135, 272, 486 ], [ 10, 135, 300, 470 ], [ 10, 135, 300, 492 ], [ 10, 135, 324, 492 ], [ 10, 135, 324, 508 ], [ 10, 135, 383, 508 ], [ 10, 135, 383, 533 ], [ 10, 135, 397, 486 ], [ 10, 135, 397, 533 ], [ 10, 136, 273, 485 ], [ 10, 136, 273, 486 ], [ 10, 136, 360, 523 ], [ 10, 136, 360, 526 ], [ 10, 136, 384, 523 ], [ 10, 136, 384, 533 ], [ 10, 136, 396, 485 ], [ 10, 136, 396, 526 ], [ 10, 136, 397, 486 ], [ 10, 136, 397, 533 ], [ 10, 137, 237, 447 ], [ 10, 137, 237, 455 ], [ 10, 137, 325, 447 ], [ 10, 137, 325, 509 ], [ 10, 137, 361, 455 ], [ 10, 137, 361, 524 ], [ 10, 137, 385, 509 ], [ 10, 137, 385, 524 ], [ 11, 27, 174, 422 ], [ 11, 27, 174, 424 ], [ 11, 27, 179, 422 ], [ 11, 27, 179, 427 ], [ 11, 27, 192, 427 ], [ 11, 27, 192, 436 ], [ 11, 27, 193, 424 ], [ 11, 27, 193, 437 ], [ 11, 27, 194, 436 ], [ 11, 27, 194, 437 ], [ 11, 43, 215, 449 ], [ 11, 43, 215, 450 ], [ 11, 43, 222, 454 ], [ 11, 43, 222, 456 ], [ 11, 43, 227, 454 ], [ 11, 43, 227, 460 ], [ 11, 43, 238, 449 ], [ 11, 43, 238, 456 ], [ 11, 43, 239, 450 ], [ 11, 43, 239, 460 ], [ 11, 58, 255, 476 ], [ 11, 58, 255, 477 ], [ 11, 58, 274, 487 ], [ 11, 58, 274, 488 ], [ 11, 58, 275, 476 ], [ 11, 58, 275, 487 ], [ 11, 58, 276, 488 ], [ 11, 58, 276, 489 ], [ 11, 58, 277, 477 ], [ 11, 58, 277, 489 ], [ 11, 82, 174, 422 ], [ 11, 82, 174, 424 ], [ 11, 82, 312, 422 ], [ 11, 82, 312, 506 ], [ 11, 82, 316, 506 ], [ 11, 82, 316, 507 ], [ 11, 82, 318, 507 ], [ 11, 82, 318, 510 ], [ 11, 82, 326, 510 ], [ 11, 82, 326, 513 ], [ 11, 82, 327, 424 ], [ 11, 82, 327, 513 ], [ 11, 93, 215, 449 ], [ 11, 93, 215, 450 ], [ 11, 93, 255, 476 ], [ 11, 93, 255, 477 ], [ 11, 93, 342, 449 ], [ 11, 93, 342, 519 ], [ 11, 93, 343, 450 ], [ 11, 93, 343, 476 ], [ 11, 93, 344, 477 ], [ 11, 93, 344, 519 ], [ 11, 104, 179, 422 ], [ 11, 104, 179, 427 ], [ 11, 104, 222, 454 ], [ 11, 104, 222, 456 ], [ 11, 104, 312, 422 ], [ 11, 104, 312, 506 ], [ 11, 104, 353, 454 ], [ 11, 104, 353, 506 ], [ 11, 104, 362, 427 ], [ 11, 104, 362, 456 ], [ 11, 114, 227, 454 ], [ 11, 114, 227, 460 ], [ 11, 114, 316, 506 ], [ 11, 114, 316, 507 ], [ 11, 114, 353, 454 ], [ 11, 114, 353, 506 ], [ 11, 114, 370, 507 ], [ 11, 114, 370, 529 ], [ 11, 114, 374, 529 ], [ 11, 114, 374, 530 ], [ 11, 114, 375, 460 ], [ 11, 114, 375, 530 ], [ 11, 123, 318, 507 ], [ 11, 123, 318, 510 ], [ 11, 123, 370, 507 ], [ 11, 123, 370, 529 ], [ 11, 123, 386, 529 ], [ 11, 123, 386, 534 ], [ 11, 123, 387, 510 ], [ 11, 123, 387, 534 ], [ 11, 138, 192, 427 ], [ 11, 138, 192, 436 ], [ 11, 138, 238, 449 ], [ 11, 138, 238, 456 ], [ 11, 138, 342, 449 ], [ 11, 138, 342, 519 ], [ 11, 138, 362, 427 ], [ 11, 138, 362, 456 ], [ 11, 138, 398, 436 ], [ 11, 138, 398, 519 ], [ 11, 139, 374, 529 ], [ 11, 139, 374, 530 ], [ 11, 139, 386, 529 ], [ 11, 139, 386, 534 ], [ 11, 139, 399, 534 ], [ 11, 139, 399, 535 ], [ 11, 139, 400, 530 ], [ 11, 139, 400, 535 ], [ 11, 140, 274, 487 ], [ 11, 140, 274, 488 ], [ 11, 140, 326, 510 ], [ 11, 140, 326, 513 ], [ 11, 140, 387, 510 ], [ 11, 140, 387, 534 ], [ 11, 140, 399, 534 ], [ 11, 140, 399, 535 ], [ 11, 140, 401, 487 ], [ 11, 140, 401, 535 ], [ 11, 140, 402, 488 ], [ 11, 140, 402, 513 ], [ 11, 141, 239, 450 ], [ 11, 141, 239, 460 ], [ 11, 141, 275, 476 ], [ 11, 141, 275, 487 ], [ 11, 141, 343, 450 ], [ 11, 141, 343, 476 ], [ 11, 141, 375, 460 ], [ 11, 141, 375, 530 ], [ 11, 141, 400, 530 ], [ 11, 141, 400, 535 ], [ 11, 141, 401, 487 ], [ 11, 141, 401, 535 ], [ 11, 142, 193, 424 ], [ 11, 142, 193, 437 ], [ 11, 142, 276, 488 ], [ 11, 142, 276, 489 ], [ 11, 142, 327, 424 ], [ 11, 142, 327, 513 ], [ 11, 142, 402, 488 ], [ 11, 142, 402, 513 ], [ 11, 142, 403, 437 ], [ 11, 142, 403, 489 ], [ 11, 143, 194, 436 ], [ 11, 143, 194, 437 ], [ 11, 143, 277, 477 ], [ 11, 143, 277, 489 ], [ 11, 143, 344, 477 ], [ 11, 143, 344, 519 ], [ 11, 143, 398, 436 ], [ 11, 143, 398, 519 ], [ 11, 143, 403, 437 ], [ 11, 143, 403, 489 ], [ 12, 28, 167, 416 ], [ 12, 28, 167, 417 ], [ 12, 28, 175, 425 ], [ 12, 28, 175, 426 ], [ 12, 28, 180, 427 ], [ 12, 28, 180, 428 ], [ 12, 28, 184, 416 ], [ 12, 28, 184, 431 ], [ 12, 28, 190, 417 ], [ 12, 28, 190, 435 ], [ 12, 28, 192, 427 ], [ 12, 28, 192, 436 ], [ 12, 28, 195, 435 ], [ 12, 28, 195, 438 ], [ 12, 28, 196, 425 ], [ 12, 28, 196, 428 ], [ 12, 28, 197, 426 ], [ 12, 28, 197, 431 ], [ 12, 28, 198, 436 ], [ 12, 28, 198, 438 ], [ 12, 44, 216, 449 ], [ 12, 44, 216, 451 ], [ 12, 44, 223, 456 ], [ 12, 44, 223, 457 ], [ 12, 44, 231, 463 ], [ 12, 44, 231, 464 ], [ 12, 44, 238, 449 ], [ 12, 44, 238, 456 ], [ 12, 44, 240, 451 ], [ 12, 44, 240, 463 ], [ 12, 44, 241, 457 ], [ 12, 44, 241, 464 ], [ 12, 59, 167, 416 ], [ 12, 59, 167, 417 ], [ 12, 59, 248, 467 ], [ 12, 59, 248, 469 ], [ 12, 59, 265, 416 ], [ 12, 59, 265, 467 ], [ 12, 59, 270, 417 ], [ 12, 59, 270, 469 ], [ 12, 71, 248, 467 ], [ 12, 71, 248, 469 ], [ 12, 71, 291, 467 ], [ 12, 71, 291, 495 ], [ 12, 71, 297, 469 ], [ 12, 71, 297, 498 ], [ 12, 71, 301, 498 ], [ 12, 71, 301, 500 ], [ 12, 71, 302, 495 ], [ 12, 71, 302, 500 ], [ 12, 83, 175, 425 ], [ 12, 83, 175, 426 ], [ 12, 83, 319, 511 ], [ 12, 83, 319, 512 ], [ 12, 83, 328, 511 ], [ 12, 83, 328, 514 ], [ 12, 83, 329, 425 ], [ 12, 83, 329, 512 ], [ 12, 83, 330, 426 ], [ 12, 83, 330, 514 ], [ 12, 94, 216, 449 ], [ 12, 94, 216, 451 ], [ 12, 94, 342, 449 ], [ 12, 94, 342, 519 ], [ 12, 94, 345, 520 ], [ 12, 94, 345, 521 ], [ 12, 94, 346, 451 ], [ 12, 94, 346, 520 ], [ 12, 94, 347, 519 ], [ 12, 94, 347, 521 ], [ 12, 105, 180, 427 ], [ 12, 105, 180, 428 ], [ 12, 105, 223, 456 ], [ 12, 105, 223, 457 ], [ 12, 105, 362, 427 ], [ 12, 105, 362, 456 ], [ 12, 105, 363, 428 ], [ 12, 105, 363, 457 ], [ 12, 115, 184, 416 ], [ 12, 115, 184, 431 ], [ 12, 115, 265, 416 ], [ 12, 115, 265, 467 ], [ 12, 115, 291, 467 ], [ 12, 115, 291, 495 ], [ 12, 115, 376, 431 ], [ 12, 115, 376, 495 ], [ 12, 124, 231, 463 ], [ 12, 124, 231, 464 ], [ 12, 124, 319, 511 ], [ 12, 124, 319, 512 ], [ 12, 124, 388, 463 ], [ 12, 124, 388, 511 ], [ 12, 124, 389, 464 ], [ 12, 124, 389, 512 ], [ 12, 131, 190, 417 ], [ 12, 131, 190, 435 ], [ 12, 131, 270, 417 ], [ 12, 131, 270, 469 ], [ 12, 131, 297, 469 ], [ 12, 131, 297, 498 ], [ 12, 131, 394, 435 ], [ 12, 131, 394, 498 ], [ 12, 138, 192, 427 ], [ 12, 138, 192, 436 ], [ 12, 138, 238, 449 ], [ 12, 138, 238, 456 ], [ 12, 138, 342, 449 ], [ 12, 138, 342, 519 ], [ 12, 138, 362, 427 ], [ 12, 138, 362, 456 ], [ 12, 138, 398, 436 ], [ 12, 138, 398, 519 ], [ 12, 144, 195, 435 ], [ 12, 144, 195, 438 ], [ 12, 144, 301, 498 ], [ 12, 144, 301, 500 ], [ 12, 144, 345, 520 ], [ 12, 144, 345, 521 ], [ 12, 144, 394, 435 ], [ 12, 144, 394, 498 ], [ 12, 144, 404, 520 ], [ 12, 144, 404, 536 ], [ 12, 144, 405, 500 ], [ 12, 144, 405, 536 ], [ 12, 144, 406, 438 ], [ 12, 144, 406, 521 ], [ 12, 145, 240, 451 ], [ 12, 145, 240, 463 ], [ 12, 145, 328, 511 ], [ 12, 145, 328, 514 ], [ 12, 145, 346, 451 ], [ 12, 145, 346, 520 ], [ 12, 145, 388, 463 ], [ 12, 145, 388, 511 ], [ 12, 145, 404, 520 ], [ 12, 145, 404, 536 ], [ 12, 145, 407, 514 ], [ 12, 145, 407, 536 ], [ 12, 146, 196, 425 ], [ 12, 146, 196, 428 ], [ 12, 146, 241, 457 ], [ 12, 146, 241, 464 ], [ 12, 146, 329, 425 ], [ 12, 146, 329, 512 ], [ 12, 146, 363, 428 ], [ 12, 146, 363, 457 ], [ 12, 146, 389, 464 ], [ 12, 146, 389, 512 ], [ 12, 147, 197, 426 ], [ 12, 147, 197, 431 ], [ 12, 147, 302, 495 ], [ 12, 147, 302, 500 ], [ 12, 147, 330, 426 ], [ 12, 147, 330, 514 ], [ 12, 147, 376, 431 ], [ 12, 147, 376, 495 ], [ 12, 147, 405, 500 ], [ 12, 147, 405, 536 ], [ 12, 147, 407, 514 ], [ 12, 147, 407, 536 ], [ 12, 148, 198, 436 ], [ 12, 148, 198, 438 ], [ 12, 148, 347, 519 ], [ 12, 148, 347, 521 ], [ 12, 148, 398, 436 ], [ 12, 148, 398, 519 ], [ 12, 148, 406, 438 ], [ 12, 148, 406, 521 ], [ 13, 29, 185, 430 ], [ 13, 29, 185, 432 ], [ 13, 29, 191, 430 ], [ 13, 29, 191, 435 ], [ 13, 29, 195, 435 ], [ 13, 29, 195, 438 ], [ 13, 29, 199, 432 ], [ 13, 29, 199, 438 ], [ 13, 45, 205, 440 ], [ 13, 45, 205, 442 ], [ 13, 45, 212, 440 ], [ 13, 45, 212, 448 ], [ 13, 45, 228, 459 ], [ 13, 45, 228, 461 ], [ 13, 45, 235, 459 ], [ 13, 45, 235, 466 ], [ 13, 45, 242, 442 ], [ 13, 45, 242, 466 ], [ 13, 45, 243, 448 ], [ 13, 45, 243, 461 ], [ 13, 60, 205, 440 ], [ 13, 60, 205, 442 ], [ 13, 60, 252, 440 ], [ 13, 60, 252, 472 ], [ 13, 60, 261, 472 ], [ 13, 60, 261, 480 ], [ 13, 60, 267, 480 ], [ 13, 60, 267, 484 ], [ 13, 60, 278, 442 ], [ 13, 60, 278, 484 ], [ 13, 72, 294, 496 ], [ 13, 72, 294, 497 ], [ 13, 72, 298, 498 ], [ 13, 72, 298, 499 ], [ 13, 72, 301, 498 ], [ 13, 72, 301, 500 ], [ 13, 72, 303, 496 ], [ 13, 72, 303, 499 ], [ 13, 72, 304, 497 ], [ 13, 72, 304, 500 ], [ 13, 84, 212, 440 ], [ 13, 84, 212, 448 ], [ 13, 84, 252, 440 ], [ 13, 84, 252, 472 ], [ 13, 84, 309, 502 ], [ 13, 84, 309, 505 ], [ 13, 84, 313, 472 ], [ 13, 84, 313, 502 ], [ 13, 84, 331, 448 ], [ 13, 84, 331, 505 ], [ 13, 95, 309, 502 ], [ 13, 95, 309, 505 ], [ 13, 95, 334, 502 ], [ 13, 95, 334, 516 ], [ 13, 95, 345, 520 ], [ 13, 95, 345, 521 ], [ 13, 95, 348, 516 ], [ 13, 95, 348, 520 ], [ 13, 95, 349, 505 ], [ 13, 95, 349, 521 ], [ 13, 106, 261, 472 ], [ 13, 106, 261, 480 ], [ 13, 106, 313, 472 ], [ 13, 106, 313, 502 ], [ 13, 106, 334, 502 ], [ 13, 106, 334, 516 ], [ 13, 106, 356, 480 ], [ 13, 106, 356, 525 ], [ 13, 106, 364, 516 ], [ 13, 106, 364, 527 ], [ 13, 106, 365, 525 ], [ 13, 106, 365, 527 ], [ 13, 116, 185, 430 ], [ 13, 116, 185, 432 ], [ 13, 116, 228, 459 ], [ 13, 116, 228, 461 ], [ 13, 116, 372, 430 ], [ 13, 116, 372, 459 ], [ 13, 116, 377, 432 ], [ 13, 116, 377, 461 ], [ 13, 125, 267, 480 ], [ 13, 125, 267, 484 ], [ 13, 125, 294, 496 ], [ 13, 125, 294, 497 ], [ 13, 125, 356, 480 ], [ 13, 125, 356, 525 ], [ 13, 125, 390, 484 ], [ 13, 125, 390, 496 ], [ 13, 125, 391, 497 ], [ 13, 125, 391, 525 ], [ 13, 132, 191, 430 ], [ 13, 132, 191, 435 ], [ 13, 132, 235, 459 ], [ 13, 132, 235, 466 ], [ 13, 132, 298, 498 ], [ 13, 132, 298, 499 ], [ 13, 132, 372, 430 ], [ 13, 132, 372, 459 ], [ 13, 132, 394, 435 ], [ 13, 132, 394, 498 ], [ 13, 132, 395, 466 ], [ 13, 132, 395, 499 ], [ 13, 144, 195, 435 ], [ 13, 144, 195, 438 ], [ 13, 144, 301, 498 ], [ 13, 144, 301, 500 ], [ 13, 144, 345, 520 ], [ 13, 144, 345, 521 ], [ 13, 144, 394, 435 ], [ 13, 144, 394, 498 ], [ 13, 144, 404, 520 ], [ 13, 144, 404, 536 ], [ 13, 144, 405, 500 ], [ 13, 144, 405, 536 ], [ 13, 144, 406, 438 ], [ 13, 144, 406, 521 ], [ 13, 149, 242, 442 ], [ 13, 149, 242, 466 ], [ 13, 149, 278, 442 ], [ 13, 149, 278, 484 ], [ 13, 149, 303, 496 ], [ 13, 149, 303, 499 ], [ 13, 149, 390, 484 ], [ 13, 149, 390, 496 ], [ 13, 149, 395, 466 ], [ 13, 149, 395, 499 ], [ 13, 150, 348, 516 ], [ 13, 150, 348, 520 ], [ 13, 150, 364, 516 ], [ 13, 150, 364, 527 ], [ 13, 150, 404, 520 ], [ 13, 150, 404, 536 ], [ 13, 150, 408, 527 ], [ 13, 150, 408, 536 ], [ 13, 151, 304, 497 ], [ 13, 151, 304, 500 ], [ 13, 151, 365, 525 ], [ 13, 151, 365, 527 ], [ 13, 151, 391, 497 ], [ 13, 151, 391, 525 ], [ 13, 151, 405, 500 ], [ 13, 151, 405, 536 ], [ 13, 151, 408, 527 ], [ 13, 151, 408, 536 ], [ 13, 152, 199, 432 ], [ 13, 152, 199, 438 ], [ 13, 152, 243, 448 ], [ 13, 152, 243, 461 ], [ 13, 152, 331, 448 ], [ 13, 152, 331, 505 ], [ 13, 152, 349, 505 ], [ 13, 152, 349, 521 ], [ 13, 152, 377, 432 ], [ 13, 152, 377, 461 ], [ 13, 152, 406, 438 ], [ 13, 152, 406, 521 ], [ 14, 30, 170, 418 ], [ 14, 30, 170, 420 ], [ 14, 30, 176, 418 ], [ 14, 30, 176, 423 ], [ 14, 30, 181, 423 ], [ 14, 30, 181, 429 ], [ 14, 30, 188, 420 ], [ 14, 30, 188, 434 ], [ 14, 30, 200, 434 ], [ 14, 30, 200, 439 ], [ 14, 30, 201, 429 ], [ 14, 30, 201, 439 ], [ 14, 46, 206, 441 ], [ 14, 46, 206, 442 ], [ 14, 46, 213, 441 ], [ 14, 46, 213, 446 ], [ 14, 46, 236, 446 ], [ 14, 46, 236, 466 ], [ 14, 46, 242, 442 ], [ 14, 46, 242, 466 ], [ 14, 61, 206, 441 ], [ 14, 61, 206, 442 ], [ 14, 61, 253, 441 ], [ 14, 61, 253, 473 ], [ 14, 61, 256, 474 ], [ 14, 61, 256, 478 ], [ 14, 61, 262, 473 ], [ 14, 61, 262, 482 ], [ 14, 61, 268, 474 ], [ 14, 61, 268, 484 ], [ 14, 61, 278, 442 ], [ 14, 61, 278, 484 ], [ 14, 61, 279, 478 ], [ 14, 61, 279, 490 ], [ 14, 61, 280, 482 ], [ 14, 61, 280, 490 ], [ 14, 73, 170, 418 ], [ 14, 73, 170, 420 ], [ 14, 73, 286, 418 ], [ 14, 73, 286, 491 ], [ 14, 73, 295, 420 ], [ 14, 73, 295, 496 ], [ 14, 73, 299, 491 ], [ 14, 73, 299, 499 ], [ 14, 73, 303, 496 ], [ 14, 73, 303, 499 ], [ 14, 85, 176, 418 ], [ 14, 85, 176, 423 ], [ 14, 85, 213, 441 ], [ 14, 85, 213, 446 ], [ 14, 85, 253, 441 ], [ 14, 85, 253, 473 ], [ 14, 85, 286, 418 ], [ 14, 85, 286, 491 ], [ 14, 85, 314, 423 ], [ 14, 85, 314, 473 ], [ 14, 85, 323, 446 ], [ 14, 85, 323, 491 ], [ 14, 96, 256, 474 ], [ 14, 96, 256, 478 ], [ 14, 96, 337, 517 ], [ 14, 96, 337, 518 ], [ 14, 96, 340, 474 ], [ 14, 96, 340, 517 ], [ 14, 96, 350, 478 ], [ 14, 96, 350, 518 ], [ 14, 107, 181, 423 ], [ 14, 107, 181, 429 ], [ 14, 107, 262, 473 ], [ 14, 107, 262, 482 ], [ 14, 107, 314, 423 ], [ 14, 107, 314, 473 ], [ 14, 107, 366, 429 ], [ 14, 107, 366, 528 ], [ 14, 107, 367, 482 ], [ 14, 107, 367, 528 ], [ 14, 117, 337, 517 ], [ 14, 117, 337, 518 ], [ 14, 117, 371, 517 ], [ 14, 117, 371, 529 ], [ 14, 117, 374, 529 ], [ 14, 117, 374, 530 ], [ 14, 117, 378, 530 ], [ 14, 117, 378, 531 ], [ 14, 117, 379, 518 ], [ 14, 117, 379, 532 ], [ 14, 117, 380, 531 ], [ 14, 117, 380, 532 ], [ 14, 126, 188, 420 ], [ 14, 126, 188, 434 ], [ 14, 126, 268, 474 ], [ 14, 126, 268, 484 ], [ 14, 126, 295, 420 ], [ 14, 126, 295, 496 ], [ 14, 126, 340, 474 ], [ 14, 126, 340, 517 ], [ 14, 126, 371, 517 ], [ 14, 126, 371, 529 ], [ 14, 126, 386, 529 ], [ 14, 126, 386, 534 ], [ 14, 126, 390, 484 ], [ 14, 126, 390, 496 ], [ 14, 126, 392, 434 ], [ 14, 126, 392, 534 ], [ 14, 133, 236, 446 ], [ 14, 133, 236, 466 ], [ 14, 133, 299, 491 ], [ 14, 133, 299, 499 ], [ 14, 133, 323, 446 ], [ 14, 133, 323, 491 ], [ 14, 133, 395, 466 ], [ 14, 133, 395, 499 ], [ 14, 139, 374, 529 ], [ 14, 139, 374, 530 ], [ 14, 139, 386, 529 ], [ 14, 139, 386, 534 ], [ 14, 139, 399, 534 ], [ 14, 139, 399, 535 ], [ 14, 139, 400, 530 ], [ 14, 139, 400, 535 ], [ 14, 149, 242, 442 ], [ 14, 149, 242, 466 ], [ 14, 149, 278, 442 ], [ 14, 149, 278, 484 ], [ 14, 149, 303, 496 ], [ 14, 149, 303, 499 ], [ 14, 149, 390, 484 ], [ 14, 149, 390, 496 ], [ 14, 149, 395, 466 ], [ 14, 149, 395, 499 ], [ 14, 153, 200, 434 ], [ 14, 153, 200, 439 ], [ 14, 153, 392, 434 ], [ 14, 153, 392, 534 ], [ 14, 153, 399, 534 ], [ 14, 153, 399, 535 ], [ 14, 153, 409, 439 ], [ 14, 153, 409, 535 ], [ 14, 154, 201, 429 ], [ 14, 154, 201, 439 ], [ 14, 154, 366, 429 ], [ 14, 154, 366, 528 ], [ 14, 154, 378, 530 ], [ 14, 154, 378, 531 ], [ 14, 154, 400, 530 ], [ 14, 154, 400, 535 ], [ 14, 154, 409, 439 ], [ 14, 154, 409, 535 ], [ 14, 154, 410, 528 ], [ 14, 154, 410, 531 ], [ 14, 155, 279, 478 ], [ 14, 155, 279, 490 ], [ 14, 155, 350, 478 ], [ 14, 155, 350, 518 ], [ 14, 155, 379, 518 ], [ 14, 155, 379, 532 ], [ 14, 155, 411, 490 ], [ 14, 155, 411, 532 ], [ 14, 156, 280, 482 ], [ 14, 156, 280, 490 ], [ 14, 156, 367, 482 ], [ 14, 156, 367, 528 ], [ 14, 156, 380, 531 ], [ 14, 156, 380, 532 ], [ 14, 156, 410, 528 ], [ 14, 156, 410, 531 ], [ 14, 156, 411, 490 ], [ 14, 156, 411, 532 ], [ 15, 31, 164, 413 ], [ 15, 31, 164, 414 ], [ 15, 31, 171, 413 ], [ 15, 31, 171, 421 ], [ 15, 31, 189, 414 ], [ 15, 31, 189, 434 ], [ 15, 31, 200, 434 ], [ 15, 31, 200, 439 ], [ 15, 31, 202, 421 ], [ 15, 31, 202, 439 ], [ 15, 47, 164, 413 ], [ 15, 47, 164, 414 ], [ 15, 47, 209, 413 ], [ 15, 47, 209, 443 ], [ 15, 47, 217, 443 ], [ 15, 47, 217, 451 ], [ 15, 47, 232, 414 ], [ 15, 47, 232, 463 ], [ 15, 47, 240, 451 ], [ 15, 47, 240, 463 ], [ 15, 62, 249, 468 ], [ 15, 62, 249, 471 ], [ 15, 62, 266, 468 ], [ 15, 62, 266, 483 ], [ 15, 62, 271, 483 ], [ 15, 62, 271, 485 ], [ 15, 62, 274, 487 ], [ 15, 62, 274, 488 ], [ 15, 62, 281, 471 ], [ 15, 62, 281, 487 ], [ 15, 62, 282, 485 ], [ 15, 62, 282, 488 ], [ 15, 74, 171, 413 ], [ 15, 74, 171, 421 ], [ 15, 74, 209, 413 ], [ 15, 74, 209, 443 ], [ 15, 74, 249, 468 ], [ 15, 74, 249, 471 ], [ 15, 74, 289, 443 ], [ 15, 74, 289, 493 ], [ 15, 74, 292, 468 ], [ 15, 74, 292, 493 ], [ 15, 74, 305, 421 ], [ 15, 74, 305, 471 ], [ 15, 86, 320, 510 ], [ 15, 86, 320, 511 ], [ 15, 86, 326, 510 ], [ 15, 86, 326, 513 ], [ 15, 86, 328, 511 ], [ 15, 86, 328, 514 ], [ 15, 86, 332, 513 ], [ 15, 86, 332, 514 ], [ 15, 97, 217, 443 ], [ 15, 97, 217, 451 ], [ 15, 97, 289, 443 ], [ 15, 97, 289, 493 ], [ 15, 97, 335, 515 ], [ 15, 97, 335, 516 ], [ 15, 97, 338, 493 ], [ 15, 97, 338, 515 ], [ 15, 97, 346, 451 ], [ 15, 97, 346, 520 ], [ 15, 97, 348, 516 ], [ 15, 97, 348, 520 ], [ 15, 108, 335, 515 ], [ 15, 108, 335, 516 ], [ 15, 108, 354, 515 ], [ 15, 108, 354, 522 ], [ 15, 108, 359, 522 ], [ 15, 108, 359, 526 ], [ 15, 108, 364, 516 ], [ 15, 108, 364, 527 ], [ 15, 108, 368, 526 ], [ 15, 108, 368, 527 ], [ 15, 118, 266, 468 ], [ 15, 118, 266, 483 ], [ 15, 118, 292, 468 ], [ 15, 118, 292, 493 ], [ 15, 118, 338, 493 ], [ 15, 118, 338, 515 ], [ 15, 118, 354, 515 ], [ 15, 118, 354, 522 ], [ 15, 118, 373, 483 ], [ 15, 118, 373, 522 ], [ 15, 127, 189, 414 ], [ 15, 127, 189, 434 ], [ 15, 127, 232, 414 ], [ 15, 127, 232, 463 ], [ 15, 127, 320, 510 ], [ 15, 127, 320, 511 ], [ 15, 127, 387, 510 ], [ 15, 127, 387, 534 ], [ 15, 127, 388, 463 ], [ 15, 127, 388, 511 ], [ 15, 127, 392, 434 ], [ 15, 127, 392, 534 ], [ 15, 134, 271, 483 ], [ 15, 134, 271, 485 ], [ 15, 134, 359, 522 ], [ 15, 134, 359, 526 ], [ 15, 134, 373, 483 ], [ 15, 134, 373, 522 ], [ 15, 134, 396, 485 ], [ 15, 134, 396, 526 ], [ 15, 140, 274, 487 ], [ 15, 140, 274, 488 ], [ 15, 140, 326, 510 ], [ 15, 140, 326, 513 ], [ 15, 140, 387, 510 ], [ 15, 140, 387, 534 ], [ 15, 140, 399, 534 ], [ 15, 140, 399, 535 ], [ 15, 140, 401, 487 ], [ 15, 140, 401, 535 ], [ 15, 140, 402, 488 ], [ 15, 140, 402, 513 ], [ 15, 145, 240, 451 ], [ 15, 145, 240, 463 ], [ 15, 145, 328, 511 ], [ 15, 145, 328, 514 ], [ 15, 145, 346, 451 ], [ 15, 145, 346, 520 ], [ 15, 145, 388, 463 ], [ 15, 145, 388, 511 ], [ 15, 145, 404, 520 ], [ 15, 145, 404, 536 ], [ 15, 145, 407, 514 ], [ 15, 145, 407, 536 ], [ 15, 150, 348, 516 ], [ 15, 150, 348, 520 ], [ 15, 150, 364, 516 ], [ 15, 150, 364, 527 ], [ 15, 150, 404, 520 ], [ 15, 150, 404, 536 ], [ 15, 150, 408, 527 ], [ 15, 150, 408, 536 ], [ 15, 153, 200, 434 ], [ 15, 153, 200, 439 ], [ 15, 153, 392, 434 ], [ 15, 153, 392, 534 ], [ 15, 153, 399, 534 ], [ 15, 153, 399, 535 ], [ 15, 153, 409, 439 ], [ 15, 153, 409, 535 ], [ 15, 157, 202, 421 ], [ 15, 157, 202, 439 ], [ 15, 157, 281, 471 ], [ 15, 157, 281, 487 ], [ 15, 157, 305, 421 ], [ 15, 157, 305, 471 ], [ 15, 157, 401, 487 ], [ 15, 157, 401, 535 ], [ 15, 157, 409, 439 ], [ 15, 157, 409, 535 ], [ 15, 158, 282, 485 ], [ 15, 158, 282, 488 ], [ 15, 158, 332, 513 ], [ 15, 158, 332, 514 ], [ 15, 158, 368, 526 ], [ 15, 158, 368, 527 ], [ 15, 158, 396, 485 ], [ 15, 158, 396, 526 ], [ 15, 158, 402, 488 ], [ 15, 158, 402, 513 ], [ 15, 158, 407, 514 ], [ 15, 158, 407, 536 ], [ 15, 158, 408, 527 ], [ 15, 158, 408, 536 ], [ 16, 32, 172, 419 ], [ 16, 32, 172, 421 ], [ 16, 32, 177, 419 ], [ 16, 32, 177, 425 ], [ 16, 32, 182, 428 ], [ 16, 32, 182, 429 ], [ 16, 32, 196, 425 ], [ 16, 32, 196, 428 ], [ 16, 32, 201, 429 ], [ 16, 32, 201, 439 ], [ 16, 32, 202, 421 ], [ 16, 32, 202, 439 ], [ 16, 48, 218, 450 ], [ 16, 48, 218, 452 ], [ 16, 48, 224, 457 ], [ 16, 48, 224, 458 ], [ 16, 48, 229, 460 ], [ 16, 48, 229, 462 ], [ 16, 48, 233, 464 ], [ 16, 48, 233, 465 ], [ 16, 48, 239, 450 ], [ 16, 48, 239, 460 ], [ 16, 48, 241, 457 ], [ 16, 48, 241, 464 ], [ 16, 48, 244, 452 ], [ 16, 48, 244, 465 ], [ 16, 48, 245, 458 ], [ 16, 48, 245, 462 ], [ 16, 63, 250, 470 ], [ 16, 63, 250, 471 ], [ 16, 63, 257, 476 ], [ 16, 63, 257, 479 ], [ 16, 63, 272, 470 ], [ 16, 63, 272, 486 ], [ 16, 63, 275, 476 ], [ 16, 63, 275, 487 ], [ 16, 63, 281, 471 ], [ 16, 63, 281, 487 ], [ 16, 63, 283, 479 ], [ 16, 63, 283, 486 ], [ 16, 75, 172, 419 ], [ 16, 75, 172, 421 ], [ 16, 75, 250, 470 ], [ 16, 75, 250, 471 ], [ 16, 75, 287, 419 ], [ 16, 75, 287, 492 ], [ 16, 75, 300, 470 ], [ 16, 75, 300, 492 ], [ 16, 75, 305, 421 ], [ 16, 75, 305, 471 ], [ 16, 87, 177, 419 ], [ 16, 87, 177, 425 ], [ 16, 87, 287, 419 ], [ 16, 87, 287, 492 ], [ 16, 87, 321, 508 ], [ 16, 87, 321, 512 ], [ 16, 87, 324, 492 ], [ 16, 87, 324, 508 ], [ 16, 87, 329, 425 ], [ 16, 87, 329, 512 ], [ 16, 98, 218, 450 ], [ 16, 98, 218, 452 ], [ 16, 98, 257, 476 ], [ 16, 98, 257, 479 ], [ 16, 98, 343, 450 ], [ 16, 98, 343, 476 ], [ 16, 98, 351, 452 ], [ 16, 98, 351, 479 ], [ 16, 109, 182, 428 ], [ 16, 109, 182, 429 ], [ 16, 109, 224, 457 ], [ 16, 109, 224, 458 ], [ 16, 109, 363, 428 ], [ 16, 109, 363, 457 ], [ 16, 109, 366, 429 ], [ 16, 109, 366, 528 ], [ 16, 109, 369, 458 ], [ 16, 109, 369, 528 ], [ 16, 119, 229, 460 ], [ 16, 119, 229, 462 ], [ 16, 119, 375, 460 ], [ 16, 119, 375, 530 ], [ 16, 119, 378, 530 ], [ 16, 119, 378, 531 ], [ 16, 119, 381, 462 ], [ 16, 119, 381, 531 ], [ 16, 128, 233, 464 ], [ 16, 128, 233, 465 ], [ 16, 128, 321, 508 ], [ 16, 128, 321, 512 ], [ 16, 128, 383, 508 ], [ 16, 128, 383, 533 ], [ 16, 128, 389, 464 ], [ 16, 128, 389, 512 ], [ 16, 128, 393, 465 ], [ 16, 128, 393, 533 ], [ 16, 135, 272, 470 ], [ 16, 135, 272, 486 ], [ 16, 135, 300, 470 ], [ 16, 135, 300, 492 ], [ 16, 135, 324, 492 ], [ 16, 135, 324, 508 ], [ 16, 135, 383, 508 ], [ 16, 135, 383, 533 ], [ 16, 135, 397, 486 ], [ 16, 135, 397, 533 ], [ 16, 141, 239, 450 ], [ 16, 141, 239, 460 ], [ 16, 141, 275, 476 ], [ 16, 141, 275, 487 ], [ 16, 141, 343, 450 ], [ 16, 141, 343, 476 ], [ 16, 141, 375, 460 ], [ 16, 141, 375, 530 ], [ 16, 141, 400, 530 ], [ 16, 141, 400, 535 ], [ 16, 141, 401, 487 ], [ 16, 141, 401, 535 ], [ 16, 146, 196, 425 ], [ 16, 146, 196, 428 ], [ 16, 146, 241, 457 ], [ 16, 146, 241, 464 ], [ 16, 146, 329, 425 ], [ 16, 146, 329, 512 ], [ 16, 146, 363, 428 ], [ 16, 146, 363, 457 ], [ 16, 146, 389, 464 ], [ 16, 146, 389, 512 ], [ 16, 154, 201, 429 ], [ 16, 154, 201, 439 ], [ 16, 154, 366, 429 ], [ 16, 154, 366, 528 ], [ 16, 154, 378, 530 ], [ 16, 154, 378, 531 ], [ 16, 154, 400, 530 ], [ 16, 154, 400, 535 ], [ 16, 154, 409, 439 ], [ 16, 154, 409, 535 ], [ 16, 154, 410, 528 ], [ 16, 154, 410, 531 ], [ 16, 157, 202, 421 ], [ 16, 157, 202, 439 ], [ 16, 157, 281, 471 ], [ 16, 157, 281, 487 ], [ 16, 157, 305, 421 ], [ 16, 157, 305, 471 ], [ 16, 157, 401, 487 ], [ 16, 157, 401, 535 ], [ 16, 157, 409, 439 ], [ 16, 157, 409, 535 ], [ 16, 159, 244, 452 ], [ 16, 159, 244, 465 ], [ 16, 159, 283, 479 ], [ 16, 159, 283, 486 ], [ 16, 159, 351, 452 ], [ 16, 159, 351, 479 ], [ 16, 159, 393, 465 ], [ 16, 159, 393, 533 ], [ 16, 159, 397, 486 ], [ 16, 159, 397, 533 ], [ 16, 160, 245, 458 ], [ 16, 160, 245, 462 ], [ 16, 160, 369, 458 ], [ 16, 160, 369, 528 ], [ 16, 160, 381, 462 ], [ 16, 160, 381, 531 ], [ 16, 160, 410, 528 ], [ 16, 160, 410, 531 ], [ 17, 33, 178, 424 ], [ 17, 33, 178, 426 ], [ 17, 33, 186, 431 ], [ 17, 33, 186, 433 ], [ 17, 33, 193, 424 ], [ 17, 33, 193, 437 ], [ 17, 33, 197, 426 ], [ 17, 33, 197, 431 ], [ 17, 33, 203, 433 ], [ 17, 33, 203, 437 ], [ 17, 49, 210, 444 ], [ 17, 49, 210, 445 ], [ 17, 49, 219, 444 ], [ 17, 49, 219, 452 ], [ 17, 49, 234, 445 ], [ 17, 49, 234, 465 ], [ 17, 49, 244, 452 ], [ 17, 49, 244, 465 ], [ 17, 64, 258, 478 ], [ 17, 64, 258, 479 ], [ 17, 64, 273, 485 ], [ 17, 64, 273, 486 ], [ 17, 64, 276, 488 ], [ 17, 64, 276, 489 ], [ 17, 64, 279, 478 ], [ 17, 64, 279, 490 ], [ 17, 64, 282, 485 ], [ 17, 64, 282, 488 ], [ 17, 64, 283, 479 ], [ 17, 64, 283, 486 ], [ 17, 64, 284, 489 ], [ 17, 64, 284, 490 ], [ 17, 76, 210, 444 ], [ 17, 76, 210, 445 ], [ 17, 76, 290, 444 ], [ 17, 76, 290, 494 ], [ 17, 76, 293, 494 ], [ 17, 76, 293, 495 ], [ 17, 76, 296, 445 ], [ 17, 76, 296, 497 ], [ 17, 76, 302, 495 ], [ 17, 76, 302, 500 ], [ 17, 76, 304, 497 ], [ 17, 76, 304, 500 ], [ 17, 88, 178, 424 ], [ 17, 88, 178, 426 ], [ 17, 88, 327, 424 ], [ 17, 88, 327, 513 ], [ 17, 88, 330, 426 ], [ 17, 88, 330, 514 ], [ 17, 88, 332, 513 ], [ 17, 88, 332, 514 ], [ 17, 99, 219, 444 ], [ 17, 99, 219, 452 ], [ 17, 99, 258, 478 ], [ 17, 99, 258, 479 ], [ 17, 99, 290, 444 ], [ 17, 99, 290, 494 ], [ 17, 99, 339, 494 ], [ 17, 99, 339, 518 ], [ 17, 99, 350, 478 ], [ 17, 99, 350, 518 ], [ 17, 99, 351, 452 ], [ 17, 99, 351, 479 ], [ 17, 110, 357, 523 ], [ 17, 110, 357, 525 ], [ 17, 110, 360, 523 ], [ 17, 110, 360, 526 ], [ 17, 110, 365, 525 ], [ 17, 110, 365, 527 ], [ 17, 110, 368, 526 ], [ 17, 110, 368, 527 ], [ 17, 120, 186, 431 ], [ 17, 120, 186, 433 ], [ 17, 120, 293, 494 ], [ 17, 120, 293, 495 ], [ 17, 120, 339, 494 ], [ 17, 120, 339, 518 ], [ 17, 120, 376, 431 ], [ 17, 120, 376, 495 ], [ 17, 120, 379, 518 ], [ 17, 120, 379, 532 ], [ 17, 120, 382, 433 ], [ 17, 120, 382, 532 ], [ 17, 129, 234, 445 ], [ 17, 129, 234, 465 ], [ 17, 129, 296, 445 ], [ 17, 129, 296, 497 ], [ 17, 129, 357, 523 ], [ 17, 129, 357, 525 ], [ 17, 129, 384, 523 ], [ 17, 129, 384, 533 ], [ 17, 129, 391, 497 ], [ 17, 129, 391, 525 ], [ 17, 129, 393, 465 ], [ 17, 129, 393, 533 ], [ 17, 136, 273, 485 ], [ 17, 136, 273, 486 ], [ 17, 136, 360, 523 ], [ 17, 136, 360, 526 ], [ 17, 136, 384, 523 ], [ 17, 136, 384, 533 ], [ 17, 136, 396, 485 ], [ 17, 136, 396, 526 ], [ 17, 136, 397, 486 ], [ 17, 136, 397, 533 ], [ 17, 142, 193, 424 ], [ 17, 142, 193, 437 ], [ 17, 142, 276, 488 ], [ 17, 142, 276, 489 ], [ 17, 142, 327, 424 ], [ 17, 142, 327, 513 ], [ 17, 142, 402, 488 ], [ 17, 142, 402, 513 ], [ 17, 142, 403, 437 ], [ 17, 142, 403, 489 ], [ 17, 147, 197, 426 ], [ 17, 147, 197, 431 ], [ 17, 147, 302, 495 ], [ 17, 147, 302, 500 ], [ 17, 147, 330, 426 ], [ 17, 147, 330, 514 ], [ 17, 147, 376, 431 ], [ 17, 147, 376, 495 ], [ 17, 147, 405, 500 ], [ 17, 147, 405, 536 ], [ 17, 147, 407, 514 ], [ 17, 147, 407, 536 ], [ 17, 151, 304, 497 ], [ 17, 151, 304, 500 ], [ 17, 151, 365, 525 ], [ 17, 151, 365, 527 ], [ 17, 151, 391, 497 ], [ 17, 151, 391, 525 ], [ 17, 151, 405, 500 ], [ 17, 151, 405, 536 ], [ 17, 151, 408, 527 ], [ 17, 151, 408, 536 ], [ 17, 155, 279, 478 ], [ 17, 155, 279, 490 ], [ 17, 155, 350, 478 ], [ 17, 155, 350, 518 ], [ 17, 155, 379, 518 ], [ 17, 155, 379, 532 ], [ 17, 155, 411, 490 ], [ 17, 155, 411, 532 ], [ 17, 158, 282, 485 ], [ 17, 158, 282, 488 ], [ 17, 158, 332, 513 ], [ 17, 158, 332, 514 ], [ 17, 158, 368, 526 ], [ 17, 158, 368, 527 ], [ 17, 158, 396, 485 ], [ 17, 158, 396, 526 ], [ 17, 158, 402, 488 ], [ 17, 158, 402, 513 ], [ 17, 158, 407, 514 ], [ 17, 158, 407, 536 ], [ 17, 158, 408, 527 ], [ 17, 158, 408, 536 ], [ 17, 159, 244, 452 ], [ 17, 159, 244, 465 ], [ 17, 159, 283, 479 ], [ 17, 159, 283, 486 ], [ 17, 159, 351, 452 ], [ 17, 159, 351, 479 ], [ 17, 159, 393, 465 ], [ 17, 159, 393, 533 ], [ 17, 159, 397, 486 ], [ 17, 159, 397, 533 ], [ 17, 161, 203, 433 ], [ 17, 161, 203, 437 ], [ 17, 161, 284, 489 ], [ 17, 161, 284, 490 ], [ 17, 161, 382, 433 ], [ 17, 161, 382, 532 ], [ 17, 161, 403, 437 ], [ 17, 161, 403, 489 ], [ 17, 161, 411, 490 ], [ 17, 161, 411, 532 ], [ 18, 34, 187, 432 ], [ 18, 34, 187, 433 ], [ 18, 34, 194, 436 ], [ 18, 34, 194, 437 ], [ 18, 34, 198, 436 ], [ 18, 34, 198, 438 ], [ 18, 34, 199, 432 ], [ 18, 34, 199, 438 ], [ 18, 34, 203, 433 ], [ 18, 34, 203, 437 ], [ 18, 50, 214, 447 ], [ 18, 50, 214, 448 ], [ 18, 50, 225, 455 ], [ 18, 50, 225, 458 ], [ 18, 50, 230, 461 ], [ 18, 50, 230, 462 ], [ 18, 50, 237, 447 ], [ 18, 50, 237, 455 ], [ 18, 50, 243, 448 ], [ 18, 50, 243, 461 ], [ 18, 50, 245, 458 ], [ 18, 50, 245, 462 ], [ 18, 65, 259, 475 ], [ 18, 65, 259, 477 ], [ 18, 65, 263, 481 ], [ 18, 65, 263, 482 ], [ 18, 65, 269, 475 ], [ 18, 65, 269, 481 ], [ 18, 65, 277, 477 ], [ 18, 65, 277, 489 ], [ 18, 65, 280, 482 ], [ 18, 65, 280, 490 ], [ 18, 65, 284, 489 ], [ 18, 65, 284, 490 ], [ 18, 89, 214, 447 ], [ 18, 89, 214, 448 ], [ 18, 89, 310, 504 ], [ 18, 89, 310, 505 ], [ 18, 89, 322, 504 ], [ 18, 89, 322, 509 ], [ 18, 89, 325, 447 ], [ 18, 89, 325, 509 ], [ 18, 89, 331, 448 ], [ 18, 89, 331, 505 ], [ 18, 100, 259, 475 ], [ 18, 100, 259, 477 ], [ 18, 100, 310, 504 ], [ 18, 100, 310, 505 ], [ 18, 100, 341, 475 ], [ 18, 100, 341, 504 ], [ 18, 100, 344, 477 ], [ 18, 100, 344, 519 ], [ 18, 100, 347, 519 ], [ 18, 100, 347, 521 ], [ 18, 100, 349, 505 ], [ 18, 100, 349, 521 ], [ 18, 111, 225, 455 ], [ 18, 111, 225, 458 ], [ 18, 111, 263, 481 ], [ 18, 111, 263, 482 ], [ 18, 111, 358, 481 ], [ 18, 111, 358, 524 ], [ 18, 111, 361, 455 ], [ 18, 111, 361, 524 ], [ 18, 111, 367, 482 ], [ 18, 111, 367, 528 ], [ 18, 111, 369, 458 ], [ 18, 111, 369, 528 ], [ 18, 121, 187, 432 ], [ 18, 121, 187, 433 ], [ 18, 121, 230, 461 ], [ 18, 121, 230, 462 ], [ 18, 121, 377, 432 ], [ 18, 121, 377, 461 ], [ 18, 121, 380, 531 ], [ 18, 121, 380, 532 ], [ 18, 121, 381, 462 ], [ 18, 121, 381, 531 ], [ 18, 121, 382, 433 ], [ 18, 121, 382, 532 ], [ 18, 130, 269, 475 ], [ 18, 130, 269, 481 ], [ 18, 130, 322, 504 ], [ 18, 130, 322, 509 ], [ 18, 130, 341, 475 ], [ 18, 130, 341, 504 ], [ 18, 130, 358, 481 ], [ 18, 130, 358, 524 ], [ 18, 130, 385, 509 ], [ 18, 130, 385, 524 ], [ 18, 137, 237, 447 ], [ 18, 137, 237, 455 ], [ 18, 137, 325, 447 ], [ 18, 137, 325, 509 ], [ 18, 137, 361, 455 ], [ 18, 137, 361, 524 ], [ 18, 137, 385, 509 ], [ 18, 137, 385, 524 ], [ 18, 143, 194, 436 ], [ 18, 143, 194, 437 ], [ 18, 143, 277, 477 ], [ 18, 143, 277, 489 ], [ 18, 143, 344, 477 ], [ 18, 143, 344, 519 ], [ 18, 143, 398, 436 ], [ 18, 143, 398, 519 ], [ 18, 143, 403, 437 ], [ 18, 143, 403, 489 ], [ 18, 148, 198, 436 ], [ 18, 148, 198, 438 ], [ 18, 148, 347, 519 ], [ 18, 148, 347, 521 ], [ 18, 148, 398, 436 ], [ 18, 148, 398, 519 ], [ 18, 148, 406, 438 ], [ 18, 148, 406, 521 ], [ 18, 152, 199, 432 ], [ 18, 152, 199, 438 ], [ 18, 152, 243, 448 ], [ 18, 152, 243, 461 ], [ 18, 152, 331, 448 ], [ 18, 152, 331, 505 ], [ 18, 152, 349, 505 ], [ 18, 152, 349, 521 ], [ 18, 152, 377, 432 ], [ 18, 152, 377, 461 ], [ 18, 152, 406, 438 ], [ 18, 152, 406, 521 ], [ 18, 156, 280, 482 ], [ 18, 156, 280, 490 ], [ 18, 156, 367, 482 ], [ 18, 156, 367, 528 ], [ 18, 156, 380, 531 ], [ 18, 156, 380, 532 ], [ 18, 156, 410, 528 ], [ 18, 156, 410, 531 ], [ 18, 156, 411, 490 ], [ 18, 156, 411, 532 ], [ 18, 160, 245, 458 ], [ 18, 160, 245, 462 ], [ 18, 160, 369, 458 ], [ 18, 160, 369, 528 ], [ 18, 160, 381, 462 ], [ 18, 160, 381, 531 ], [ 18, 160, 410, 528 ], [ 18, 160, 410, 531 ], [ 18, 161, 203, 433 ], [ 18, 161, 203, 437 ], [ 18, 161, 284, 489 ], [ 18, 161, 284, 490 ], [ 18, 161, 382, 433 ], [ 18, 161, 382, 532 ], [ 18, 161, 403, 437 ], [ 18, 161, 403, 489 ], [ 18, 161, 411, 490 ], [ 18, 161, 411, 532 ] ];