#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### 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: ### ### ### ### S_3_1000_2990 ### ### ### ### ### ### description: ### ### ### ### boundary 3-sphere of a stacked 4-polytope with 1000 vertices ### ### ### ### ### ### properties: ### ### ### ### f=(1000,3990,5980,2990), ### ### H_*=(Z,0,0,Z), ### ### polytopal, ### ### perfect discrete Morse vector: (1,0,0,1) ### ### ### ### ### ### references: ### ### ### ### Folklore. ### ### ### ### B. Benedetti and F. H. Lutz. ### ### Random discrete Morse theory and a new library of triangulations. ### ### Exp. Math. 23, 66-94 (2014). ### ### ### ### ### #################################################################################### #################################################################################### #################################################################################### facets:=[ [ 1, 2, 3, 4 ], [ 1, 2, 3, 151 ], [ 1, 2, 4, 5 ], [ 1, 2, 5, 898 ], [ 1, 2, 10, 17 ], [ 1, 2, 10, 859 ], [ 1, 2, 15, 62 ], [ 1, 2, 15, 93 ], [ 1, 2, 17, 39 ], [ 1, 2, 39, 255 ], [ 1, 2, 62, 153 ], [ 1, 2, 93, 985 ], [ 1, 2, 113, 255 ], [ 1, 2, 113, 985 ], [ 1, 2, 151, 859 ], [ 1, 2, 153, 898 ], [ 1, 3, 4, 756 ], [ 1, 3, 5, 10 ], [ 1, 3, 5, 691 ], [ 1, 3, 10, 151 ], [ 1, 3, 691, 767 ], [ 1, 3, 756, 767 ], [ 1, 4, 5, 691 ], [ 1, 4, 691, 756 ], [ 1, 5, 10, 15 ], [ 1, 5, 15, 975 ], [ 1, 5, 62, 975 ], [ 1, 5, 62, 983 ], [ 1, 5, 153, 898 ], [ 1, 5, 153, 983 ], [ 1, 10, 15, 851 ], [ 1, 10, 17, 174 ], [ 1, 10, 117, 640 ], [ 1, 10, 117, 851 ], [ 1, 10, 151, 859 ], [ 1, 10, 174, 358 ], [ 1, 10, 358, 640 ], [ 1, 15, 17, 39 ], [ 1, 15, 17, 837 ], [ 1, 15, 39, 124 ], [ 1, 15, 62, 975 ], [ 1, 15, 93, 808 ], [ 1, 15, 117, 415 ], [ 1, 15, 117, 851 ], [ 1, 15, 124, 734 ], [ 1, 15, 315, 415 ], [ 1, 15, 315, 837 ], [ 1, 15, 734, 808 ], [ 1, 17, 117, 174 ], [ 1, 17, 117, 619 ], [ 1, 17, 315, 619 ], [ 1, 17, 315, 837 ], [ 1, 39, 93, 113 ], [ 1, 39, 93, 765 ], [ 1, 39, 113, 501 ], [ 1, 39, 124, 212 ], [ 1, 39, 212, 939 ], [ 1, 39, 255, 628 ], [ 1, 39, 501, 628 ], [ 1, 39, 765, 939 ], [ 1, 62, 153, 983 ], [ 1, 93, 113, 985 ], [ 1, 93, 124, 849 ], [ 1, 93, 124, 886 ], [ 1, 93, 212, 765 ], [ 1, 93, 212, 849 ], [ 1, 93, 734, 808 ], [ 1, 93, 734, 886 ], [ 1, 113, 255, 501 ], [ 1, 117, 174, 557 ], [ 1, 117, 315, 584 ], [ 1, 117, 315, 619 ], [ 1, 117, 358, 640 ], [ 1, 117, 358, 933 ], [ 1, 117, 415, 584 ], [ 1, 117, 557, 933 ], [ 1, 124, 212, 849 ], [ 1, 124, 734, 886 ], [ 1, 174, 358, 557 ], [ 1, 212, 765, 939 ], [ 1, 255, 501, 628 ], [ 1, 315, 415, 584 ], [ 1, 358, 557, 933 ], [ 1, 691, 756, 767 ], [ 2, 3, 4, 9 ], [ 2, 3, 5, 67 ], [ 2, 3, 5, 662 ], [ 2, 3, 6, 9 ], [ 2, 3, 6, 228 ], [ 2, 3, 10, 290 ], [ 2, 3, 10, 662 ], [ 2, 3, 11, 149 ], [ 2, 3, 11, 495 ], [ 2, 3, 64, 149 ], [ 2, 3, 64, 228 ], [ 2, 3, 67, 495 ], [ 2, 3, 151, 789 ], [ 2, 3, 290, 789 ], [ 2, 4, 5, 45 ], [ 2, 4, 6, 202 ], [ 2, 4, 6, 213 ], [ 2, 4, 7, 293 ], [ 2, 4, 7, 466 ], [ 2, 4, 8, 110 ], [ 2, 4, 8, 681 ], [ 2, 4, 9, 43 ], [ 2, 4, 16, 466 ], [ 2, 4, 16, 949 ], [ 2, 4, 18, 337 ], [ 2, 4, 18, 692 ], [ 2, 4, 19, 299 ], [ 2, 4, 19, 397 ], [ 2, 4, 23, 45 ], [ 2, 4, 23, 189 ], [ 2, 4, 28, 107 ], [ 2, 4, 28, 833 ], [ 2, 4, 43, 92 ], [ 2, 4, 92, 148 ], [ 2, 4, 107, 451 ], [ 2, 4, 110, 949 ], [ 2, 4, 148, 202 ], [ 2, 4, 189, 681 ], [ 2, 4, 213, 708 ], [ 2, 4, 293, 397 ], [ 2, 4, 299, 833 ], [ 2, 4, 337, 513 ], [ 2, 4, 373, 399 ], [ 2, 4, 373, 554 ], [ 2, 4, 379, 456 ], [ 2, 4, 379, 554 ], [ 2, 4, 399, 513 ], [ 2, 4, 451, 456 ], [ 2, 4, 692, 708 ], [ 2, 5, 6, 34 ], [ 2, 5, 6, 80 ], [ 2, 5, 7, 128 ], [ 2, 5, 7, 980 ], [ 2, 5, 8, 23 ], [ 2, 5, 8, 542 ], [ 2, 5, 10, 160 ], [ 2, 5, 10, 662 ], [ 2, 5, 11, 52 ], [ 2, 5, 11, 172 ], [ 2, 5, 14, 169 ], [ 2, 5, 14, 703 ], [ 2, 5, 15, 62 ], [ 2, 5, 15, 160 ], [ 2, 5, 23, 45 ], [ 2, 5, 26, 49 ], [ 2, 5, 26, 796 ], [ 2, 5, 33, 49 ], [ 2, 5, 33, 332 ], [ 2, 5, 34, 321 ], [ 2, 5, 38, 56 ], [ 2, 5, 38, 528 ], [ 2, 5, 52, 871 ], [ 2, 5, 56, 980 ], [ 2, 5, 62, 420 ], [ 2, 5, 67, 172 ], [ 2, 5, 74, 169 ], [ 2, 5, 74, 171 ], [ 2, 5, 76, 80 ], [ 2, 5, 76, 128 ], [ 2, 5, 79, 154 ], [ 2, 5, 79, 171 ], [ 2, 5, 153, 721 ], [ 2, 5, 153, 898 ], [ 2, 5, 154, 835 ], [ 2, 5, 157, 167 ], [ 2, 5, 157, 703 ], [ 2, 5, 167, 676 ], [ 2, 5, 233, 676 ], [ 2, 5, 233, 928 ], [ 2, 5, 321, 796 ], [ 2, 5, 332, 592 ], [ 2, 5, 420, 721 ], [ 2, 5, 528, 928 ], [ 2, 5, 542, 835 ], [ 2, 5, 592, 871 ], [ 2, 6, 7, 270 ], [ 2, 6, 7, 526 ], [ 2, 6, 9, 43 ], [ 2, 6, 11, 30 ], [ 2, 6, 11, 758 ], [ 2, 6, 18, 213 ], [ 2, 6, 18, 657 ], [ 2, 6, 26, 30 ], [ 2, 6, 26, 84 ], [ 2, 6, 34, 84 ], [ 2, 6, 43, 92 ], [ 2, 6, 64, 228 ], [ 2, 6, 64, 758 ], [ 2, 6, 66, 270 ], [ 2, 6, 66, 657 ], [ 2, 6, 76, 80 ], [ 2, 6, 76, 526 ], [ 2, 6, 92, 156 ], [ 2, 6, 148, 156 ], [ 2, 6, 148, 820 ], [ 2, 6, 202, 820 ], [ 2, 7, 8, 14 ], [ 2, 7, 8, 16 ], [ 2, 7, 14, 620 ], [ 2, 7, 16, 466 ], [ 2, 7, 18, 66 ], [ 2, 7, 18, 880 ], [ 2, 7, 19, 353 ], [ 2, 7, 19, 880 ], [ 2, 7, 38, 56 ], [ 2, 7, 38, 89 ], [ 2, 7, 56, 980 ], [ 2, 7, 66, 510 ], [ 2, 7, 76, 336 ], [ 2, 7, 76, 526 ], [ 2, 7, 89, 130 ], [ 2, 7, 128, 336 ], [ 2, 7, 130, 909 ], [ 2, 7, 270, 510 ], [ 2, 7, 293, 353 ], [ 2, 7, 620, 909 ], [ 2, 8, 14, 943 ], [ 2, 8, 16, 110 ], [ 2, 8, 23, 189 ], [ 2, 8, 74, 210 ], [ 2, 8, 74, 345 ], [ 2, 8, 79, 345 ], [ 2, 8, 79, 992 ], [ 2, 8, 150, 875 ], [ 2, 8, 150, 943 ], [ 2, 8, 154, 800 ], [ 2, 8, 154, 992 ], [ 2, 8, 189, 681 ], [ 2, 8, 194, 678 ], [ 2, 8, 194, 960 ], [ 2, 8, 210, 678 ], [ 2, 8, 542, 800 ], [ 2, 8, 875, 960 ], [ 2, 10, 15, 17 ], [ 2, 10, 15, 541 ], [ 2, 10, 151, 581 ], [ 2, 10, 151, 859 ], [ 2, 10, 160, 541 ], [ 2, 10, 290, 742 ], [ 2, 10, 581, 694 ], [ 2, 10, 694, 784 ], [ 2, 10, 742, 784 ], [ 2, 11, 26, 30 ], [ 2, 11, 26, 853 ], [ 2, 11, 33, 192 ], [ 2, 11, 33, 853 ], [ 2, 11, 52, 253 ], [ 2, 11, 64, 149 ], [ 2, 11, 64, 758 ], [ 2, 11, 67, 495 ], [ 2, 11, 67, 550 ], [ 2, 11, 172, 378 ], [ 2, 11, 192, 479 ], [ 2, 11, 253, 479 ], [ 2, 11, 378, 550 ], [ 2, 14, 38, 89 ], [ 2, 14, 38, 482 ], [ 2, 14, 74, 169 ], [ 2, 14, 74, 904 ], [ 2, 14, 89, 303 ], [ 2, 14, 130, 319 ], [ 2, 14, 130, 620 ], [ 2, 14, 150, 904 ], [ 2, 14, 150, 943 ], [ 2, 14, 157, 207 ], [ 2, 14, 157, 703 ], [ 2, 14, 161, 207 ], [ 2, 14, 161, 385 ], [ 2, 14, 223, 316 ], [ 2, 14, 223, 813 ], [ 2, 14, 257, 303 ], [ 2, 14, 257, 813 ], [ 2, 14, 316, 319 ], [ 2, 14, 385, 482 ], [ 2, 15, 17, 39 ], [ 2, 15, 39, 728 ], [ 2, 15, 93, 728 ], [ 2, 15, 160, 541 ], [ 2, 16, 110, 949 ], [ 2, 18, 19, 879 ], [ 2, 18, 19, 880 ], [ 2, 18, 28, 131 ], [ 2, 18, 28, 879 ], [ 2, 18, 66, 657 ], [ 2, 18, 107, 347 ], [ 2, 18, 107, 497 ], [ 2, 18, 131, 551 ], [ 2, 18, 213, 844 ], [ 2, 18, 273, 309 ], [ 2, 18, 273, 551 ], [ 2, 18, 309, 475 ], [ 2, 18, 337, 497 ], [ 2, 18, 347, 475 ], [ 2, 18, 692, 844 ], [ 2, 19, 28, 879 ], [ 2, 19, 28, 940 ], [ 2, 19, 293, 353 ], [ 2, 19, 293, 397 ], [ 2, 19, 299, 494 ], [ 2, 19, 494, 940 ], [ 2, 26, 33, 393 ], [ 2, 26, 33, 853 ], [ 2, 26, 34, 805 ], [ 2, 26, 34, 965 ], [ 2, 26, 49, 226 ], [ 2, 26, 84, 100 ], [ 2, 26, 100, 134 ], [ 2, 26, 134, 805 ], [ 2, 26, 226, 393 ], [ 2, 26, 321, 564 ], [ 2, 26, 321, 796 ], [ 2, 26, 364, 623 ], [ 2, 26, 364, 965 ], [ 2, 26, 564, 623 ], [ 2, 28, 107, 938 ], [ 2, 28, 131, 938 ], [ 2, 28, 299, 516 ], [ 2, 28, 299, 833 ], [ 2, 28, 494, 516 ], [ 2, 28, 494, 940 ], [ 2, 33, 49, 226 ], [ 2, 33, 52, 192 ], [ 2, 33, 52, 332 ], [ 2, 33, 226, 393 ], [ 2, 34, 84, 100 ], [ 2, 34, 100, 913 ], [ 2, 34, 134, 805 ], [ 2, 34, 134, 913 ], [ 2, 34, 321, 364 ], [ 2, 34, 364, 965 ], [ 2, 38, 157, 164 ], [ 2, 38, 157, 167 ], [ 2, 38, 161, 164 ], [ 2, 38, 161, 385 ], [ 2, 38, 167, 233 ], [ 2, 38, 233, 528 ], [ 2, 38, 385, 482 ], [ 2, 39, 93, 375 ], [ 2, 39, 93, 728 ], [ 2, 39, 113, 255 ], [ 2, 39, 113, 375 ], [ 2, 52, 192, 253 ], [ 2, 52, 332, 592 ], [ 2, 52, 592, 871 ], [ 2, 62, 153, 420 ], [ 2, 66, 270, 510 ], [ 2, 67, 172, 378 ], [ 2, 67, 378, 550 ], [ 2, 74, 79, 171 ], [ 2, 74, 79, 345 ], [ 2, 74, 150, 194 ], [ 2, 74, 150, 904 ], [ 2, 74, 194, 372 ], [ 2, 74, 210, 372 ], [ 2, 76, 128, 336 ], [ 2, 79, 154, 992 ], [ 2, 89, 130, 223 ], [ 2, 89, 223, 257 ], [ 2, 89, 257, 977 ], [ 2, 89, 303, 843 ], [ 2, 89, 843, 977 ], [ 2, 92, 148, 232 ], [ 2, 92, 156, 232 ], [ 2, 93, 113, 508 ], [ 2, 93, 113, 985 ], [ 2, 93, 375, 533 ], [ 2, 93, 508, 533 ], [ 2, 100, 134, 913 ], [ 2, 107, 131, 507 ], [ 2, 107, 131, 938 ], [ 2, 107, 273, 507 ], [ 2, 107, 273, 850 ], [ 2, 107, 309, 347 ], [ 2, 107, 309, 850 ], [ 2, 107, 337, 373 ], [ 2, 107, 337, 982 ], [ 2, 107, 373, 379 ], [ 2, 107, 379, 901 ], [ 2, 107, 451, 901 ], [ 2, 107, 497, 982 ], [ 2, 113, 375, 521 ], [ 2, 113, 508, 521 ], [ 2, 130, 223, 316 ], [ 2, 130, 316, 330 ], [ 2, 130, 319, 330 ], [ 2, 130, 620, 909 ], [ 2, 131, 273, 507 ], [ 2, 131, 273, 699 ], [ 2, 131, 551, 699 ], [ 2, 148, 156, 537 ], [ 2, 148, 202, 820 ], [ 2, 148, 232, 537 ], [ 2, 150, 194, 875 ], [ 2, 151, 290, 581 ], [ 2, 151, 290, 789 ], [ 2, 153, 420, 721 ], [ 2, 154, 542, 800 ], [ 2, 154, 542, 835 ], [ 2, 156, 232, 537 ], [ 2, 157, 161, 197 ], [ 2, 157, 161, 506 ], [ 2, 157, 164, 601 ], [ 2, 157, 197, 601 ], [ 2, 157, 207, 535 ], [ 2, 157, 506, 535 ], [ 2, 161, 164, 197 ], [ 2, 161, 207, 613 ], [ 2, 161, 506, 613 ], [ 2, 164, 197, 684 ], [ 2, 164, 601, 684 ], [ 2, 167, 233, 676 ], [ 2, 192, 253, 479 ], [ 2, 194, 210, 372 ], [ 2, 194, 210, 678 ], [ 2, 194, 875, 960 ], [ 2, 197, 601, 684 ], [ 2, 207, 506, 535 ], [ 2, 207, 506, 613 ], [ 2, 213, 692, 708 ], [ 2, 213, 692, 844 ], [ 2, 223, 257, 813 ], [ 2, 233, 528, 928 ], [ 2, 257, 303, 843 ], [ 2, 257, 843, 977 ], [ 2, 273, 309, 850 ], [ 2, 273, 551, 699 ], [ 2, 290, 581, 694 ], [ 2, 290, 694, 742 ], [ 2, 299, 494, 516 ], [ 2, 309, 347, 997 ], [ 2, 309, 475, 997 ], [ 2, 316, 319, 794 ], [ 2, 316, 330, 794 ], [ 2, 319, 330, 794 ], [ 2, 321, 364, 564 ], [ 2, 337, 373, 399 ], [ 2, 337, 399, 513 ], [ 2, 337, 497, 982 ], [ 2, 347, 475, 997 ], [ 2, 364, 564, 623 ], [ 2, 373, 379, 554 ], [ 2, 375, 508, 521 ], [ 2, 375, 508, 533 ], [ 2, 379, 451, 456 ], [ 2, 379, 451, 901 ], [ 2, 694, 742, 784 ], [ 3, 4, 5, 6 ], [ 3, 4, 5, 816 ], [ 3, 4, 6, 9 ], [ 3, 4, 691, 706 ], [ 3, 4, 691, 756 ], [ 3, 4, 706, 816 ], [ 3, 5, 6, 246 ], [ 3, 5, 10, 662 ], [ 3, 5, 11, 57 ], [ 3, 5, 11, 138 ], [ 3, 5, 57, 118 ], [ 3, 5, 67, 82 ], [ 3, 5, 75, 118 ], [ 3, 5, 75, 200 ], [ 3, 5, 82, 138 ], [ 3, 5, 200, 246 ], [ 3, 5, 691, 706 ], [ 3, 5, 706, 816 ], [ 3, 6, 11, 98 ], [ 3, 6, 11, 341 ], [ 3, 6, 57, 75 ], [ 3, 6, 57, 341 ], [ 3, 6, 64, 228 ], [ 3, 6, 64, 779 ], [ 3, 6, 75, 698 ], [ 3, 6, 98, 779 ], [ 3, 6, 200, 246 ], [ 3, 6, 200, 276 ], [ 3, 6, 276, 698 ], [ 3, 10, 151, 552 ], [ 3, 10, 290, 552 ], [ 3, 11, 57, 468 ], [ 3, 11, 64, 149 ], [ 3, 11, 64, 987 ], [ 3, 11, 67, 82 ], [ 3, 11, 67, 565 ], [ 3, 11, 82, 146 ], [ 3, 11, 98, 987 ], [ 3, 11, 138, 386 ], [ 3, 11, 146, 282 ], [ 3, 11, 282, 386 ], [ 3, 11, 341, 468 ], [ 3, 11, 495, 565 ], [ 3, 57, 75, 118 ], [ 3, 57, 341, 468 ], [ 3, 64, 98, 779 ], [ 3, 64, 98, 987 ], [ 3, 67, 495, 565 ], [ 3, 75, 200, 276 ], [ 3, 75, 276, 698 ], [ 3, 82, 138, 647 ], [ 3, 82, 146, 647 ], [ 3, 138, 146, 282 ], [ 3, 138, 146, 876 ], [ 3, 138, 282, 485 ], [ 3, 138, 386, 485 ], [ 3, 138, 647, 876 ], [ 3, 146, 647, 876 ], [ 3, 151, 290, 552 ], [ 3, 151, 290, 789 ], [ 3, 282, 386, 485 ], [ 3, 691, 756, 767 ], [ 4, 5, 6, 504 ], [ 4, 5, 7, 8 ], [ 4, 5, 7, 936 ], [ 4, 5, 8, 814 ], [ 4, 5, 12, 27 ], [ 4, 5, 12, 701 ], [ 4, 5, 23, 471 ], [ 4, 5, 23, 958 ], [ 4, 5, 27, 46 ], [ 4, 5, 45, 471 ], [ 4, 5, 46, 534 ], [ 4, 5, 55, 143 ], [ 4, 5, 55, 534 ], [ 4, 5, 115, 701 ], [ 4, 5, 115, 899 ], [ 4, 5, 132, 826 ], [ 4, 5, 132, 964 ], [ 4, 5, 143, 504 ], [ 4, 5, 605, 826 ], [ 4, 5, 605, 899 ], [ 4, 5, 691, 706 ], [ 4, 5, 706, 816 ], [ 4, 5, 814, 958 ], [ 4, 5, 936, 964 ], [ 4, 6, 7, 18 ], [ 4, 6, 7, 77 ], [ 4, 6, 9, 43 ], [ 4, 6, 12, 22 ], [ 4, 6, 12, 27 ], [ 4, 6, 13, 284 ], [ 4, 6, 13, 546 ], [ 4, 6, 18, 213 ], [ 4, 6, 20, 47 ], [ 4, 6, 20, 569 ], [ 4, 6, 22, 24 ], [ 4, 6, 24, 48 ], [ 4, 6, 27, 46 ], [ 4, 6, 31, 35 ], [ 4, 6, 31, 464 ], [ 4, 6, 35, 354 ], [ 4, 6, 37, 198 ], [ 4, 6, 37, 280 ], [ 4, 6, 43, 137 ], [ 4, 6, 44, 159 ], [ 4, 6, 44, 173 ], [ 4, 6, 46, 292 ], [ 4, 6, 47, 252 ], [ 4, 6, 48, 318 ], [ 4, 6, 51, 329 ], [ 4, 6, 51, 569 ], [ 4, 6, 55, 143 ], [ 4, 6, 55, 292 ], [ 4, 6, 60, 114 ], [ 4, 6, 60, 546 ], [ 4, 6, 68, 104 ], [ 4, 6, 68, 354 ], [ 4, 6, 77, 866 ], [ 4, 6, 88, 162 ], [ 4, 6, 88, 868 ], [ 4, 6, 92, 137 ], [ 4, 6, 92, 148 ], [ 4, 6, 104, 114 ], [ 4, 6, 143, 504 ], [ 4, 6, 148, 856 ], [ 4, 6, 159, 225 ], [ 4, 6, 162, 599 ], [ 4, 6, 173, 259 ], [ 4, 6, 198, 329 ], [ 4, 6, 202, 856 ], [ 4, 6, 225, 318 ], [ 4, 6, 252, 599 ], [ 4, 6, 259, 464 ], [ 4, 6, 280, 284 ], [ 4, 6, 866, 868 ], [ 4, 7, 8, 59 ], [ 4, 7, 12, 275 ], [ 4, 7, 12, 649 ], [ 4, 7, 13, 122 ], [ 4, 7, 13, 199 ], [ 4, 7, 16, 254 ], [ 4, 7, 16, 466 ], [ 4, 7, 18, 127 ], [ 4, 7, 19, 339 ], [ 4, 7, 19, 988 ], [ 4, 7, 20, 47 ], [ 4, 7, 20, 122 ], [ 4, 7, 21, 123 ], [ 4, 7, 21, 442 ], [ 4, 7, 47, 77 ], [ 4, 7, 59, 254 ], [ 4, 7, 61, 199 ], [ 4, 7, 61, 649 ], [ 4, 7, 115, 573 ], [ 4, 7, 115, 892 ], [ 4, 7, 123, 988 ], [ 4, 7, 127, 442 ], [ 4, 7, 132, 182 ], [ 4, 7, 132, 936 ], [ 4, 7, 182, 812 ], [ 4, 7, 275, 892 ], [ 4, 7, 293, 339 ], [ 4, 7, 519, 573 ], [ 4, 7, 519, 812 ], [ 4, 8, 16, 580 ], [ 4, 8, 16, 759 ], [ 4, 8, 23, 189 ], [ 4, 8, 23, 814 ], [ 4, 8, 59, 759 ], [ 4, 8, 110, 193 ], [ 4, 8, 125, 193 ], [ 4, 8, 125, 582 ], [ 4, 8, 189, 681 ], [ 4, 8, 580, 582 ], [ 4, 12, 13, 402 ], [ 4, 12, 13, 520 ], [ 4, 12, 22, 29 ], [ 4, 12, 29, 177 ], [ 4, 12, 61, 70 ], [ 4, 12, 61, 649 ], [ 4, 12, 70, 224 ], [ 4, 12, 102, 177 ], [ 4, 12, 102, 520 ], [ 4, 12, 115, 275 ], [ 4, 12, 115, 701 ], [ 4, 12, 224, 402 ], [ 4, 13, 20, 283 ], [ 4, 13, 20, 305 ], [ 4, 13, 22, 24 ], [ 4, 13, 22, 206 ], [ 4, 13, 24, 31 ], [ 4, 13, 29, 407 ], [ 4, 13, 29, 670 ], [ 4, 13, 31, 414 ], [ 4, 13, 35, 60 ], [ 4, 13, 35, 445 ], [ 4, 13, 37, 305 ], [ 4, 13, 37, 424 ], [ 4, 13, 53, 395 ], [ 4, 13, 53, 414 ], [ 4, 13, 60, 546 ], [ 4, 13, 61, 314 ], [ 4, 13, 61, 486 ], [ 4, 13, 70, 462 ], [ 4, 13, 70, 514 ], [ 4, 13, 102, 891 ], [ 4, 13, 102, 915 ], [ 4, 13, 105, 371 ], [ 4, 13, 105, 445 ], [ 4, 13, 122, 283 ], [ 4, 13, 126, 206 ], [ 4, 13, 126, 401 ], [ 4, 13, 199, 486 ], [ 4, 13, 224, 402 ], [ 4, 13, 224, 823 ], [ 4, 13, 280, 424 ], [ 4, 13, 280, 711 ], [ 4, 13, 284, 711 ], [ 4, 13, 314, 710 ], [ 4, 13, 371, 395 ], [ 4, 13, 401, 670 ], [ 4, 13, 407, 915 ], [ 4, 13, 437, 823 ], [ 4, 13, 437, 951 ], [ 4, 13, 462, 710 ], [ 4, 13, 514, 951 ], [ 4, 13, 520, 891 ], [ 4, 16, 59, 254 ], [ 4, 16, 59, 759 ], [ 4, 16, 110, 289 ], [ 4, 16, 110, 949 ], [ 4, 16, 125, 484 ], [ 4, 16, 125, 580 ], [ 4, 16, 289, 655 ], [ 4, 16, 484, 655 ], [ 4, 18, 19, 40 ], [ 4, 18, 19, 185 ], [ 4, 18, 21, 127 ], [ 4, 18, 21, 362 ], [ 4, 18, 28, 40 ], [ 4, 18, 28, 241 ], [ 4, 18, 107, 163 ], [ 4, 18, 107, 337 ], [ 4, 18, 163, 241 ], [ 4, 18, 185, 362 ], [ 4, 18, 213, 692 ], [ 4, 19, 21, 123 ], [ 4, 19, 21, 185 ], [ 4, 19, 28, 247 ], [ 4, 19, 28, 588 ], [ 4, 19, 40, 247 ], [ 4, 19, 123, 988 ], [ 4, 19, 293, 339 ], [ 4, 19, 293, 397 ], [ 4, 19, 299, 588 ], [ 4, 20, 37, 305 ], [ 4, 20, 37, 530 ], [ 4, 20, 51, 719 ], [ 4, 20, 51, 969 ], [ 4, 20, 122, 283 ], [ 4, 20, 530, 969 ], [ 4, 20, 569, 719 ], [ 4, 21, 127, 483 ], [ 4, 21, 185, 362 ], [ 4, 21, 442, 483 ], [ 4, 22, 29, 216 ], [ 4, 22, 126, 206 ], [ 4, 22, 126, 978 ], [ 4, 22, 216, 324 ], [ 4, 22, 324, 978 ], [ 4, 23, 45, 471 ], [ 4, 23, 814, 958 ], [ 4, 24, 31, 702 ], [ 4, 24, 44, 63 ], [ 4, 24, 44, 702 ], [ 4, 24, 48, 63 ], [ 4, 28, 40, 279 ], [ 4, 28, 107, 600 ], [ 4, 28, 163, 241 ], [ 4, 28, 163, 281 ], [ 4, 28, 247, 279 ], [ 4, 28, 281, 600 ], [ 4, 28, 299, 833 ], [ 4, 28, 299, 890 ], [ 4, 28, 588, 890 ], [ 4, 29, 102, 407 ], [ 4, 29, 102, 618 ], [ 4, 29, 126, 216 ], [ 4, 29, 126, 401 ], [ 4, 29, 177, 618 ], [ 4, 29, 401, 670 ], [ 4, 31, 35, 87 ], [ 4, 31, 44, 702 ], [ 4, 31, 44, 914 ], [ 4, 31, 53, 414 ], [ 4, 31, 53, 560 ], [ 4, 31, 87, 443 ], [ 4, 31, 173, 398 ], [ 4, 31, 173, 944 ], [ 4, 31, 259, 464 ], [ 4, 31, 259, 944 ], [ 4, 31, 398, 597 ], [ 4, 31, 443, 648 ], [ 4, 31, 560, 648 ], [ 4, 31, 597, 914 ], [ 4, 35, 53, 87 ], [ 4, 35, 53, 105 ], [ 4, 35, 60, 68 ], [ 4, 35, 68, 979 ], [ 4, 35, 105, 918 ], [ 4, 35, 354, 979 ], [ 4, 35, 445, 918 ], [ 4, 37, 51, 198 ], [ 4, 37, 51, 530 ], [ 4, 37, 280, 424 ], [ 4, 40, 247, 279 ], [ 4, 43, 92, 137 ], [ 4, 44, 48, 63 ], [ 4, 44, 48, 159 ], [ 4, 44, 173, 398 ], [ 4, 44, 398, 597 ], [ 4, 44, 597, 914 ], [ 4, 46, 55, 534 ], [ 4, 46, 55, 612 ], [ 4, 46, 292, 612 ], [ 4, 47, 77, 643 ], [ 4, 47, 88, 96 ], [ 4, 47, 88, 162 ], [ 4, 47, 96, 643 ], [ 4, 47, 162, 999 ], [ 4, 47, 252, 999 ], [ 4, 48, 159, 932 ], [ 4, 48, 225, 318 ], [ 4, 48, 225, 932 ], [ 4, 51, 198, 329 ], [ 4, 51, 530, 969 ], [ 4, 51, 569, 719 ], [ 4, 53, 87, 443 ], [ 4, 53, 105, 371 ], [ 4, 53, 371, 663 ], [ 4, 53, 395, 663 ], [ 4, 53, 443, 560 ], [ 4, 55, 292, 612 ], [ 4, 60, 68, 772 ], [ 4, 60, 104, 183 ], [ 4, 60, 104, 561 ], [ 4, 60, 114, 505 ], [ 4, 60, 183, 260 ], [ 4, 60, 260, 346 ], [ 4, 60, 346, 772 ], [ 4, 60, 406, 540 ], [ 4, 60, 406, 561 ], [ 4, 60, 505, 896 ], [ 4, 60, 540, 896 ], [ 4, 61, 70, 314 ], [ 4, 61, 199, 487 ], [ 4, 61, 486, 487 ], [ 4, 68, 104, 183 ], [ 4, 68, 183, 260 ], [ 4, 68, 260, 848 ], [ 4, 68, 346, 772 ], [ 4, 68, 346, 848 ], [ 4, 68, 354, 979 ], [ 4, 70, 224, 437 ], [ 4, 70, 314, 462 ], [ 4, 70, 437, 514 ], [ 4, 77, 88, 147 ], [ 4, 77, 88, 866 ], [ 4, 77, 96, 643 ], [ 4, 77, 96, 972 ], [ 4, 77, 97, 919 ], [ 4, 77, 97, 972 ], [ 4, 77, 147, 919 ], [ 4, 88, 96, 798 ], [ 4, 88, 97, 446 ], [ 4, 88, 97, 809 ], [ 4, 88, 120, 446 ], [ 4, 88, 120, 652 ], [ 4, 88, 147, 809 ], [ 4, 88, 264, 798 ], [ 4, 88, 264, 845 ], [ 4, 88, 266, 652 ], [ 4, 88, 266, 845 ], [ 4, 88, 866, 868 ], [ 4, 96, 97, 817 ], [ 4, 96, 97, 972 ], [ 4, 96, 120, 264 ], [ 4, 96, 120, 817 ], [ 4, 96, 264, 798 ], [ 4, 97, 120, 446 ], [ 4, 97, 120, 817 ], [ 4, 97, 147, 809 ], [ 4, 97, 147, 919 ], [ 4, 102, 177, 618 ], [ 4, 102, 407, 915 ], [ 4, 102, 520, 891 ], [ 4, 104, 114, 406 ], [ 4, 104, 406, 561 ], [ 4, 105, 445, 918 ], [ 4, 107, 163, 281 ], [ 4, 107, 281, 600 ], [ 4, 107, 337, 373 ], [ 4, 107, 373, 379 ], [ 4, 107, 379, 822 ], [ 4, 107, 451, 822 ], [ 4, 110, 125, 193 ], [ 4, 110, 125, 775 ], [ 4, 110, 289, 775 ], [ 4, 114, 406, 505 ], [ 4, 115, 132, 381 ], [ 4, 115, 132, 605 ], [ 4, 115, 182, 478 ], [ 4, 115, 182, 598 ], [ 4, 115, 222, 237 ], [ 4, 115, 222, 258 ], [ 4, 115, 237, 409 ], [ 4, 115, 242, 396 ], [ 4, 115, 242, 576 ], [ 4, 115, 258, 478 ], [ 4, 115, 275, 892 ], [ 4, 115, 381, 574 ], [ 4, 115, 396, 574 ], [ 4, 115, 409, 576 ], [ 4, 115, 519, 573 ], [ 4, 115, 519, 598 ], [ 4, 115, 605, 899 ], [ 4, 120, 264, 266 ], [ 4, 120, 266, 652 ], [ 4, 125, 289, 484 ], [ 4, 125, 289, 775 ], [ 4, 125, 580, 582 ], [ 4, 126, 216, 973 ], [ 4, 126, 324, 973 ], [ 4, 126, 324, 978 ], [ 4, 127, 442, 483 ], [ 4, 132, 182, 222 ], [ 4, 132, 222, 237 ], [ 4, 132, 237, 242 ], [ 4, 132, 242, 381 ], [ 4, 132, 605, 826 ], [ 4, 132, 936, 964 ], [ 4, 148, 202, 856 ], [ 4, 159, 225, 932 ], [ 4, 162, 252, 599 ], [ 4, 162, 252, 999 ], [ 4, 173, 259, 944 ], [ 4, 182, 222, 258 ], [ 4, 182, 258, 478 ], [ 4, 182, 519, 737 ], [ 4, 182, 519, 812 ], [ 4, 182, 598, 737 ], [ 4, 199, 486, 487 ], [ 4, 213, 692, 785 ], [ 4, 213, 708, 740 ], [ 4, 213, 740, 785 ], [ 4, 216, 324, 973 ], [ 4, 224, 437, 823 ], [ 4, 237, 242, 409 ], [ 4, 242, 381, 396 ], [ 4, 242, 409, 576 ], [ 4, 260, 346, 848 ], [ 4, 264, 266, 845 ], [ 4, 280, 284, 711 ], [ 4, 289, 484, 655 ], [ 4, 299, 588, 890 ], [ 4, 314, 462, 710 ], [ 4, 337, 373, 399 ], [ 4, 337, 399, 783 ], [ 4, 337, 513, 783 ], [ 4, 371, 395, 1000 ], [ 4, 371, 663, 669 ], [ 4, 371, 669, 1000 ], [ 4, 373, 379, 554 ], [ 4, 379, 451, 559 ], [ 4, 379, 451, 822 ], [ 4, 379, 456, 559 ], [ 4, 381, 396, 688 ], [ 4, 381, 574, 688 ], [ 4, 395, 663, 669 ], [ 4, 395, 669, 1000 ], [ 4, 396, 574, 760 ], [ 4, 396, 688, 760 ], [ 4, 399, 513, 783 ], [ 4, 406, 505, 540 ], [ 4, 437, 514, 951 ], [ 4, 443, 560, 648 ], [ 4, 451, 456, 559 ], [ 4, 505, 540, 896 ], [ 4, 519, 598, 737 ], [ 4, 574, 688, 760 ], [ 4, 692, 708, 740 ], [ 4, 692, 740, 785 ], [ 5, 6, 7, 308 ], [ 5, 6, 7, 348 ], [ 5, 6, 11, 50 ], [ 5, 6, 11, 57 ], [ 5, 6, 12, 94 ], [ 5, 6, 12, 155 ], [ 5, 6, 26, 286 ], [ 5, 6, 26, 961 ], [ 5, 6, 27, 46 ], [ 5, 6, 27, 155 ], [ 5, 6, 34, 470 ], [ 5, 6, 36, 176 ], [ 5, 6, 36, 370 ], [ 5, 6, 46, 606 ], [ 5, 6, 50, 821 ], [ 5, 6, 54, 370 ], [ 5, 6, 54, 766 ], [ 5, 6, 55, 238 ], [ 5, 6, 55, 575 ], [ 5, 6, 57, 75 ], [ 5, 6, 72, 73 ], [ 5, 6, 72, 94 ], [ 5, 6, 73, 263 ], [ 5, 6, 75, 769 ], [ 5, 6, 76, 80 ], [ 5, 6, 76, 690 ], [ 5, 6, 139, 178 ], [ 5, 6, 139, 606 ], [ 5, 6, 143, 175 ], [ 5, 6, 143, 504 ], [ 5, 6, 175, 976 ], [ 5, 6, 176, 768 ], [ 5, 6, 178, 867 ], [ 5, 6, 200, 246 ], [ 5, 6, 200, 769 ], [ 5, 6, 238, 867 ], [ 5, 6, 263, 955 ], [ 5, 6, 286, 470 ], [ 5, 6, 308, 645 ], [ 5, 6, 348, 766 ], [ 5, 6, 474, 575 ], [ 5, 6, 474, 971 ], [ 5, 6, 645, 690 ], [ 5, 6, 768, 955 ], [ 5, 6, 821, 961 ], [ 5, 6, 971, 976 ], [ 5, 7, 8, 14 ], [ 5, 7, 12, 36 ], [ 5, 7, 12, 140 ], [ 5, 7, 14, 38 ], [ 5, 7, 36, 511 ], [ 5, 7, 38, 310 ], [ 5, 7, 54, 348 ], [ 5, 7, 54, 922 ], [ 5, 7, 56, 367 ], [ 5, 7, 56, 980 ], [ 5, 7, 58, 86 ], [ 5, 7, 58, 922 ], [ 5, 7, 69, 310 ], [ 5, 7, 69, 367 ], [ 5, 7, 76, 128 ], [ 5, 7, 76, 308 ], [ 5, 7, 86, 136 ], [ 5, 7, 115, 132 ], [ 5, 7, 115, 140 ], [ 5, 7, 116, 136 ], [ 5, 7, 116, 511 ], [ 5, 7, 132, 936 ], [ 5, 8, 14, 360 ], [ 5, 8, 23, 814 ], [ 5, 8, 74, 79 ], [ 5, 8, 74, 525 ], [ 5, 8, 79, 154 ], [ 5, 8, 154, 542 ], [ 5, 8, 249, 525 ], [ 5, 8, 249, 616 ], [ 5, 8, 360, 589 ], [ 5, 8, 589, 616 ], [ 5, 10, 15, 160 ], [ 5, 11, 26, 209 ], [ 5, 11, 26, 680 ], [ 5, 11, 33, 181 ], [ 5, 11, 33, 594 ], [ 5, 11, 50, 179 ], [ 5, 11, 52, 181 ], [ 5, 11, 67, 82 ], [ 5, 11, 67, 993 ], [ 5, 11, 82, 449 ], [ 5, 11, 138, 449 ], [ 5, 11, 172, 993 ], [ 5, 11, 179, 209 ], [ 5, 11, 418, 524 ], [ 5, 11, 418, 680 ], [ 5, 11, 524, 594 ], [ 5, 12, 27, 170 ], [ 5, 12, 36, 72 ], [ 5, 12, 72, 632 ], [ 5, 12, 94, 632 ], [ 5, 12, 115, 481 ], [ 5, 12, 115, 701 ], [ 5, 12, 140, 481 ], [ 5, 12, 155, 170 ], [ 5, 14, 38, 369 ], [ 5, 14, 74, 169 ], [ 5, 14, 74, 249 ], [ 5, 14, 157, 369 ], [ 5, 14, 157, 703 ], [ 5, 14, 249, 360 ], [ 5, 15, 62, 975 ], [ 5, 23, 45, 471 ], [ 5, 23, 814, 958 ], [ 5, 26, 33, 418 ], [ 5, 26, 33, 602 ], [ 5, 26, 34, 350 ], [ 5, 26, 34, 885 ], [ 5, 26, 49, 547 ], [ 5, 26, 50, 180 ], [ 5, 26, 50, 821 ], [ 5, 26, 109, 278 ], [ 5, 26, 109, 636 ], [ 5, 26, 133, 278 ], [ 5, 26, 133, 602 ], [ 5, 26, 179, 209 ], [ 5, 26, 179, 788 ], [ 5, 26, 180, 788 ], [ 5, 26, 286, 350 ], [ 5, 26, 321, 796 ], [ 5, 26, 321, 885 ], [ 5, 26, 418, 680 ], [ 5, 26, 547, 718 ], [ 5, 26, 636, 718 ], [ 5, 26, 821, 961 ], [ 5, 27, 155, 448 ], [ 5, 27, 170, 637 ], [ 5, 27, 448, 553 ], [ 5, 27, 553, 637 ], [ 5, 33, 49, 109 ], [ 5, 33, 52, 181 ], [ 5, 33, 52, 332 ], [ 5, 33, 109, 133 ], [ 5, 33, 133, 638 ], [ 5, 33, 418, 524 ], [ 5, 33, 524, 594 ], [ 5, 33, 602, 638 ], [ 5, 34, 286, 350 ], [ 5, 34, 286, 646 ], [ 5, 34, 321, 885 ], [ 5, 34, 470, 646 ], [ 5, 36, 54, 186 ], [ 5, 36, 54, 419 ], [ 5, 36, 58, 186 ], [ 5, 36, 58, 272 ], [ 5, 36, 72, 403 ], [ 5, 36, 73, 190 ], [ 5, 36, 73, 968 ], [ 5, 36, 86, 116 ], [ 5, 36, 86, 770 ], [ 5, 36, 116, 712 ], [ 5, 36, 176, 245 ], [ 5, 36, 190, 403 ], [ 5, 36, 245, 583 ], [ 5, 36, 272, 770 ], [ 5, 36, 370, 419 ], [ 5, 36, 511, 712 ], [ 5, 36, 583, 968 ], [ 5, 38, 56, 81 ], [ 5, 38, 69, 458 ], [ 5, 38, 69, 923 ], [ 5, 38, 81, 923 ], [ 5, 38, 157, 369 ], [ 5, 38, 157, 412 ], [ 5, 38, 167, 412 ], [ 5, 38, 167, 903 ], [ 5, 38, 233, 528 ], [ 5, 38, 233, 903 ], [ 5, 38, 310, 417 ], [ 5, 38, 320, 417 ], [ 5, 38, 320, 458 ], [ 5, 46, 55, 139 ], [ 5, 46, 55, 877 ], [ 5, 46, 139, 755 ], [ 5, 46, 534, 877 ], [ 5, 46, 606, 755 ], [ 5, 49, 109, 547 ], [ 5, 50, 179, 894 ], [ 5, 50, 180, 515 ], [ 5, 50, 515, 586 ], [ 5, 50, 586, 894 ], [ 5, 52, 332, 592 ], [ 5, 52, 592, 871 ], [ 5, 54, 58, 288 ], [ 5, 54, 58, 922 ], [ 5, 54, 186, 269 ], [ 5, 54, 269, 566 ], [ 5, 54, 288, 566 ], [ 5, 54, 348, 766 ], [ 5, 54, 370, 419 ], [ 5, 55, 139, 178 ], [ 5, 55, 143, 917 ], [ 5, 55, 175, 474 ], [ 5, 55, 175, 917 ], [ 5, 55, 178, 238 ], [ 5, 55, 474, 575 ], [ 5, 55, 534, 877 ], [ 5, 56, 69, 129 ], [ 5, 56, 69, 367 ], [ 5, 56, 81, 95 ], [ 5, 56, 95, 129 ], [ 5, 57, 75, 745 ], [ 5, 57, 118, 745 ], [ 5, 58, 86, 608 ], [ 5, 58, 186, 700 ], [ 5, 58, 269, 288 ], [ 5, 58, 269, 700 ], [ 5, 58, 272, 786 ], [ 5, 58, 608, 786 ], [ 5, 62, 153, 420 ], [ 5, 62, 153, 983 ], [ 5, 67, 172, 993 ], [ 5, 69, 81, 95 ], [ 5, 69, 81, 923 ], [ 5, 69, 95, 912 ], [ 5, 69, 129, 912 ], [ 5, 69, 310, 320 ], [ 5, 69, 320, 458 ], [ 5, 72, 73, 725 ], [ 5, 72, 94, 632 ], [ 5, 72, 190, 235 ], [ 5, 72, 190, 403 ], [ 5, 72, 235, 265 ], [ 5, 72, 265, 725 ], [ 5, 73, 176, 245 ], [ 5, 73, 176, 263 ], [ 5, 73, 190, 235 ], [ 5, 73, 235, 956 ], [ 5, 73, 245, 583 ], [ 5, 73, 265, 725 ], [ 5, 73, 265, 956 ], [ 5, 73, 583, 968 ], [ 5, 74, 79, 171 ], [ 5, 74, 249, 525 ], [ 5, 75, 118, 745 ], [ 5, 75, 200, 769 ], [ 5, 76, 308, 645 ], [ 5, 76, 645, 690 ], [ 5, 82, 138, 449 ], [ 5, 86, 116, 136 ], [ 5, 86, 272, 608 ], [ 5, 86, 272, 770 ], [ 5, 95, 129, 912 ], [ 5, 109, 133, 278 ], [ 5, 109, 547, 636 ], [ 5, 115, 132, 605 ], [ 5, 115, 140, 481 ], [ 5, 115, 605, 899 ], [ 5, 116, 511, 750 ], [ 5, 116, 712, 750 ], [ 5, 132, 605, 826 ], [ 5, 132, 936, 964 ], [ 5, 133, 602, 638 ], [ 5, 139, 606, 755 ], [ 5, 143, 175, 917 ], [ 5, 153, 420, 721 ], [ 5, 154, 542, 835 ], [ 5, 155, 170, 448 ], [ 5, 157, 167, 941 ], [ 5, 157, 412, 941 ], [ 5, 167, 233, 676 ], [ 5, 167, 233, 903 ], [ 5, 167, 412, 941 ], [ 5, 170, 448, 824 ], [ 5, 170, 553, 637 ], [ 5, 170, 553, 824 ], [ 5, 175, 474, 971 ], [ 5, 175, 971, 976 ], [ 5, 176, 263, 768 ], [ 5, 178, 238, 867 ], [ 5, 179, 180, 515 ], [ 5, 179, 180, 788 ], [ 5, 179, 515, 586 ], [ 5, 179, 586, 894 ], [ 5, 186, 269, 700 ], [ 5, 233, 528, 928 ], [ 5, 235, 265, 956 ], [ 5, 249, 360, 589 ], [ 5, 249, 589, 616 ], [ 5, 263, 768, 955 ], [ 5, 269, 288, 566 ], [ 5, 272, 608, 786 ], [ 5, 286, 470, 646 ], [ 5, 310, 320, 492 ], [ 5, 310, 417, 492 ], [ 5, 320, 417, 492 ], [ 5, 448, 553, 824 ], [ 5, 511, 712, 780 ], [ 5, 511, 750, 780 ], [ 5, 547, 636, 762 ], [ 5, 547, 718, 762 ], [ 5, 636, 718, 762 ], [ 5, 712, 750, 780 ], [ 6, 7, 12, 13 ], [ 6, 7, 12, 862 ], [ 6, 7, 13, 25 ], [ 6, 7, 18, 736 ], [ 6, 7, 20, 25 ], [ 6, 7, 20, 459 ], [ 6, 7, 36, 54 ], [ 6, 7, 36, 862 ], [ 6, 7, 47, 166 ], [ 6, 7, 47, 459 ], [ 6, 7, 54, 348 ], [ 6, 7, 66, 270 ], [ 6, 7, 66, 291 ], [ 6, 7, 76, 308 ], [ 6, 7, 76, 526 ], [ 6, 7, 77, 527 ], [ 6, 7, 103, 291 ], [ 6, 7, 103, 736 ], [ 6, 7, 166, 527 ], [ 6, 11, 26, 30 ], [ 6, 11, 26, 50 ], [ 6, 11, 57, 341 ], [ 6, 11, 64, 98 ], [ 6, 11, 64, 758 ], [ 6, 12, 13, 203 ], [ 6, 12, 22, 32 ], [ 6, 12, 27, 155 ], [ 6, 12, 32, 203 ], [ 6, 12, 36, 862 ], [ 6, 12, 36, 995 ], [ 6, 12, 72, 429 ], [ 6, 12, 72, 950 ], [ 6, 12, 94, 429 ], [ 6, 12, 145, 236 ], [ 6, 12, 145, 995 ], [ 6, 12, 152, 447 ], [ 6, 12, 152, 950 ], [ 6, 12, 236, 447 ], [ 6, 13, 20, 37 ], [ 6, 13, 20, 42 ], [ 6, 13, 22, 218 ], [ 6, 13, 22, 791 ], [ 6, 13, 24, 433 ], [ 6, 13, 24, 644 ], [ 6, 13, 25, 41 ], [ 6, 13, 31, 35 ], [ 6, 13, 31, 204 ], [ 6, 13, 32, 141 ], [ 6, 13, 32, 203 ], [ 6, 13, 35, 220 ], [ 6, 13, 37, 280 ], [ 6, 13, 41, 42 ], [ 6, 13, 60, 251 ], [ 6, 13, 60, 546 ], [ 6, 13, 83, 220 ], [ 6, 13, 83, 251 ], [ 6, 13, 141, 218 ], [ 6, 13, 204, 389 ], [ 6, 13, 280, 284 ], [ 6, 13, 389, 433 ], [ 6, 13, 644, 791 ], [ 6, 18, 66, 103 ], [ 6, 18, 66, 657 ], [ 6, 18, 103, 736 ], [ 6, 20, 25, 430 ], [ 6, 20, 37, 111 ], [ 6, 20, 41, 201 ], [ 6, 20, 41, 430 ], [ 6, 20, 42, 201 ], [ 6, 20, 47, 459 ], [ 6, 20, 51, 111 ], [ 6, 20, 51, 569 ], [ 6, 22, 24, 644 ], [ 6, 22, 32, 141 ], [ 6, 22, 141, 218 ], [ 6, 22, 644, 791 ], [ 6, 24, 31, 44 ], [ 6, 24, 31, 204 ], [ 6, 24, 44, 48 ], [ 6, 24, 204, 391 ], [ 6, 24, 389, 433 ], [ 6, 24, 389, 709 ], [ 6, 24, 391, 709 ], [ 6, 25, 41, 430 ], [ 6, 26, 34, 84 ], [ 6, 26, 34, 522 ], [ 6, 26, 50, 821 ], [ 6, 26, 286, 522 ], [ 6, 26, 821, 961 ], [ 6, 31, 44, 277 ], [ 6, 31, 173, 239 ], [ 6, 31, 173, 259 ], [ 6, 31, 239, 624 ], [ 6, 31, 259, 464 ], [ 6, 31, 277, 624 ], [ 6, 34, 286, 470 ], [ 6, 34, 286, 522 ], [ 6, 35, 60, 68 ], [ 6, 35, 60, 297 ], [ 6, 35, 68, 413 ], [ 6, 35, 83, 195 ], [ 6, 35, 83, 220 ], [ 6, 35, 90, 195 ], [ 6, 35, 90, 617 ], [ 6, 35, 297, 617 ], [ 6, 35, 354, 413 ], [ 6, 36, 54, 390 ], [ 6, 36, 72, 91 ], [ 6, 36, 72, 145 ], [ 6, 36, 73, 91 ], [ 6, 36, 73, 176 ], [ 6, 36, 145, 995 ], [ 6, 36, 370, 900 ], [ 6, 36, 390, 591 ], [ 6, 36, 549, 591 ], [ 6, 36, 549, 840 ], [ 6, 36, 840, 900 ], [ 6, 37, 51, 198 ], [ 6, 37, 51, 869 ], [ 6, 37, 111, 869 ], [ 6, 41, 42, 201 ], [ 6, 43, 92, 137 ], [ 6, 44, 48, 159 ], [ 6, 44, 173, 239 ], [ 6, 44, 239, 352 ], [ 6, 44, 277, 352 ], [ 6, 46, 55, 292 ], [ 6, 46, 55, 307 ], [ 6, 46, 139, 307 ], [ 6, 46, 139, 761 ], [ 6, 46, 606, 761 ], [ 6, 47, 77, 88 ], [ 6, 47, 77, 166 ], [ 6, 47, 88, 191 ], [ 6, 47, 162, 191 ], [ 6, 47, 162, 673 ], [ 6, 47, 252, 801 ], [ 6, 47, 673, 801 ], [ 6, 48, 159, 225 ], [ 6, 48, 225, 493 ], [ 6, 48, 318, 476 ], [ 6, 48, 476, 493 ], [ 6, 51, 111, 869 ], [ 6, 51, 198, 329 ], [ 6, 54, 348, 766 ], [ 6, 54, 370, 390 ], [ 6, 55, 139, 178 ], [ 6, 55, 139, 889 ], [ 6, 55, 143, 175 ], [ 6, 55, 175, 697 ], [ 6, 55, 178, 311 ], [ 6, 55, 238, 311 ], [ 6, 55, 307, 889 ], [ 6, 55, 474, 575 ], [ 6, 55, 474, 697 ], [ 6, 60, 68, 357 ], [ 6, 60, 83, 567 ], [ 6, 60, 83, 967 ], [ 6, 60, 90, 297 ], [ 6, 60, 90, 555 ], [ 6, 60, 104, 503 ], [ 6, 60, 104, 685 ], [ 6, 60, 114, 512 ], [ 6, 60, 251, 567 ], [ 6, 60, 357, 503 ], [ 6, 60, 512, 685 ], [ 6, 60, 555, 967 ], [ 6, 64, 98, 779 ], [ 6, 66, 103, 291 ], [ 6, 68, 104, 357 ], [ 6, 68, 354, 413 ], [ 6, 72, 73, 91 ], [ 6, 72, 94, 429 ], [ 6, 72, 145, 152 ], [ 6, 72, 152, 950 ], [ 6, 73, 176, 469 ], [ 6, 73, 263, 469 ], [ 6, 75, 200, 276 ], [ 6, 75, 200, 769 ], [ 6, 75, 276, 698 ], [ 6, 76, 308, 645 ], [ 6, 76, 645, 690 ], [ 6, 77, 88, 866 ], [ 6, 77, 166, 527 ], [ 6, 83, 90, 262 ], [ 6, 83, 90, 571 ], [ 6, 83, 195, 262 ], [ 6, 83, 251, 838 ], [ 6, 83, 555, 571 ], [ 6, 83, 555, 967 ], [ 6, 83, 567, 838 ], [ 6, 88, 162, 191 ], [ 6, 88, 866, 868 ], [ 6, 90, 195, 262 ], [ 6, 90, 297, 617 ], [ 6, 90, 555, 748 ], [ 6, 90, 571, 748 ], [ 6, 92, 148, 156 ], [ 6, 104, 114, 512 ], [ 6, 104, 357, 503 ], [ 6, 104, 512, 685 ], [ 6, 139, 307, 889 ], [ 6, 139, 606, 761 ], [ 6, 145, 152, 426 ], [ 6, 145, 236, 426 ], [ 6, 148, 202, 820 ], [ 6, 148, 202, 856 ], [ 6, 152, 236, 447 ], [ 6, 152, 236, 749 ], [ 6, 152, 426, 611 ], [ 6, 152, 611, 749 ], [ 6, 162, 252, 599 ], [ 6, 162, 252, 673 ], [ 6, 175, 474, 697 ], [ 6, 175, 474, 971 ], [ 6, 175, 971, 976 ], [ 6, 176, 263, 738 ], [ 6, 176, 263, 768 ], [ 6, 176, 469, 738 ], [ 6, 178, 238, 629 ], [ 6, 178, 238, 867 ], [ 6, 178, 311, 538 ], [ 6, 178, 351, 538 ], [ 6, 178, 351, 629 ], [ 6, 204, 389, 391 ], [ 6, 225, 318, 476 ], [ 6, 225, 476, 493 ], [ 6, 236, 426, 611 ], [ 6, 236, 611, 749 ], [ 6, 238, 311, 351 ], [ 6, 238, 351, 629 ], [ 6, 239, 277, 352 ], [ 6, 239, 277, 624 ], [ 6, 251, 567, 865 ], [ 6, 251, 838, 865 ], [ 6, 252, 673, 801 ], [ 6, 263, 469, 738 ], [ 6, 263, 768, 955 ], [ 6, 311, 351, 538 ], [ 6, 370, 390, 549 ], [ 6, 370, 549, 840 ], [ 6, 370, 840, 900 ], [ 6, 389, 391, 709 ], [ 6, 390, 549, 591 ], [ 6, 555, 571, 748 ], [ 6, 567, 838, 865 ], [ 7, 8, 16, 59 ], [ 7, 12, 13, 463 ], [ 7, 12, 36, 862 ], [ 7, 12, 61, 649 ], [ 7, 12, 61, 990 ], [ 7, 12, 115, 140 ], [ 7, 12, 115, 275 ], [ 7, 12, 463, 990 ], [ 7, 13, 20, 374 ], [ 7, 13, 20, 656 ], [ 7, 13, 25, 144 ], [ 7, 13, 61, 463 ], [ 7, 13, 61, 806 ], [ 7, 13, 101, 187 ], [ 7, 13, 101, 374 ], [ 7, 13, 119, 144 ], [ 7, 13, 119, 454 ], [ 7, 13, 122, 666 ], [ 7, 13, 184, 187 ], [ 7, 13, 184, 454 ], [ 7, 13, 199, 806 ], [ 7, 13, 656, 666 ], [ 7, 14, 38, 366 ], [ 7, 14, 89, 130 ], [ 7, 14, 89, 489 ], [ 7, 14, 106, 112 ], [ 7, 14, 106, 287 ], [ 7, 14, 112, 366 ], [ 7, 14, 121, 217 ], [ 7, 14, 121, 870 ], [ 7, 14, 130, 620 ], [ 7, 14, 217, 295 ], [ 7, 14, 287, 295 ], [ 7, 14, 489, 870 ], [ 7, 16, 59, 254 ], [ 7, 18, 19, 205 ], [ 7, 18, 19, 880 ], [ 7, 18, 21, 165 ], [ 7, 18, 21, 231 ], [ 7, 18, 66, 103 ], [ 7, 18, 103, 736 ], [ 7, 18, 127, 165 ], [ 7, 18, 205, 895 ], [ 7, 18, 231, 895 ], [ 7, 19, 21, 205 ], [ 7, 19, 21, 338 ], [ 7, 19, 123, 244 ], [ 7, 19, 123, 988 ], [ 7, 19, 244, 338 ], [ 7, 19, 293, 339 ], [ 7, 19, 293, 353 ], [ 7, 20, 25, 101 ], [ 7, 20, 47, 459 ], [ 7, 20, 101, 374 ], [ 7, 20, 122, 656 ], [ 7, 21, 123, 244 ], [ 7, 21, 127, 442 ], [ 7, 21, 127, 444 ], [ 7, 21, 165, 444 ], [ 7, 21, 205, 659 ], [ 7, 21, 231, 333 ], [ 7, 21, 244, 338 ], [ 7, 21, 333, 659 ], [ 7, 25, 101, 465 ], [ 7, 25, 119, 327 ], [ 7, 25, 119, 671 ], [ 7, 25, 144, 682 ], [ 7, 25, 168, 682 ], [ 7, 25, 168, 861 ], [ 7, 25, 208, 327 ], [ 7, 25, 208, 861 ], [ 7, 25, 465, 671 ], [ 7, 36, 54, 58 ], [ 7, 36, 58, 86 ], [ 7, 36, 86, 116 ], [ 7, 36, 116, 511 ], [ 7, 38, 56, 355 ], [ 7, 38, 69, 310 ], [ 7, 38, 69, 365 ], [ 7, 38, 89, 234 ], [ 7, 38, 106, 227 ], [ 7, 38, 106, 897 ], [ 7, 38, 112, 248 ], [ 7, 38, 112, 366 ], [ 7, 38, 227, 248 ], [ 7, 38, 234, 897 ], [ 7, 38, 355, 365 ], [ 7, 47, 77, 166 ], [ 7, 54, 58, 922 ], [ 7, 56, 69, 355 ], [ 7, 56, 69, 383 ], [ 7, 56, 367, 427 ], [ 7, 56, 383, 427 ], [ 7, 61, 199, 806 ], [ 7, 61, 463, 990 ], [ 7, 66, 103, 651 ], [ 7, 66, 270, 733 ], [ 7, 66, 291, 651 ], [ 7, 66, 510, 733 ], [ 7, 69, 355, 365 ], [ 7, 69, 367, 383 ], [ 7, 76, 128, 336 ], [ 7, 77, 166, 527 ], [ 7, 86, 116, 136 ], [ 7, 89, 106, 312 ], [ 7, 89, 106, 496 ], [ 7, 89, 121, 489 ], [ 7, 89, 121, 802 ], [ 7, 89, 234, 590 ], [ 7, 89, 312, 376 ], [ 7, 89, 343, 368 ], [ 7, 89, 343, 496 ], [ 7, 89, 368, 590 ], [ 7, 89, 376, 695 ], [ 7, 89, 695, 802 ], [ 7, 101, 119, 184 ], [ 7, 101, 119, 465 ], [ 7, 101, 184, 187 ], [ 7, 103, 291, 651 ], [ 7, 106, 112, 227 ], [ 7, 106, 121, 217 ], [ 7, 106, 121, 312 ], [ 7, 106, 217, 660 ], [ 7, 106, 234, 343 ], [ 7, 106, 234, 897 ], [ 7, 106, 287, 585 ], [ 7, 106, 343, 496 ], [ 7, 106, 585, 683 ], [ 7, 106, 607, 660 ], [ 7, 106, 607, 704 ], [ 7, 106, 683, 704 ], [ 7, 112, 227, 248 ], [ 7, 115, 132, 182 ], [ 7, 115, 182, 519 ], [ 7, 115, 275, 892 ], [ 7, 115, 519, 573 ], [ 7, 119, 144, 168 ], [ 7, 119, 168, 359 ], [ 7, 119, 184, 454 ], [ 7, 119, 208, 327 ], [ 7, 119, 208, 359 ], [ 7, 119, 465, 671 ], [ 7, 121, 312, 667 ], [ 7, 121, 376, 667 ], [ 7, 121, 376, 695 ], [ 7, 121, 489, 870 ], [ 7, 121, 695, 802 ], [ 7, 122, 656, 666 ], [ 7, 127, 165, 461 ], [ 7, 127, 444, 461 ], [ 7, 130, 620, 909 ], [ 7, 144, 168, 682 ], [ 7, 165, 444, 842 ], [ 7, 165, 461, 744 ], [ 7, 165, 744, 842 ], [ 7, 168, 208, 359 ], [ 7, 168, 208, 861 ], [ 7, 182, 519, 812 ], [ 7, 205, 231, 333 ], [ 7, 205, 231, 895 ], [ 7, 205, 333, 659 ], [ 7, 217, 287, 295 ], [ 7, 217, 287, 585 ], [ 7, 217, 585, 607 ], [ 7, 217, 607, 660 ], [ 7, 234, 343, 368 ], [ 7, 234, 368, 590 ], [ 7, 270, 510, 733 ], [ 7, 312, 376, 667 ], [ 7, 367, 383, 427 ], [ 7, 444, 461, 744 ], [ 7, 444, 744, 842 ], [ 7, 585, 607, 683 ], [ 7, 607, 683, 704 ], [ 8, 14, 74, 150 ], [ 8, 14, 74, 249 ], [ 8, 14, 150, 943 ], [ 8, 14, 249, 872 ], [ 8, 14, 360, 715 ], [ 8, 14, 715, 872 ], [ 8, 16, 59, 759 ], [ 8, 16, 110, 946 ], [ 8, 16, 125, 416 ], [ 8, 16, 125, 580 ], [ 8, 16, 416, 946 ], [ 8, 74, 79, 345 ], [ 8, 74, 150, 477 ], [ 8, 74, 194, 210 ], [ 8, 74, 194, 477 ], [ 8, 74, 249, 525 ], [ 8, 79, 154, 992 ], [ 8, 110, 125, 193 ], [ 8, 110, 125, 743 ], [ 8, 110, 416, 743 ], [ 8, 110, 416, 946 ], [ 8, 125, 416, 743 ], [ 8, 125, 580, 582 ], [ 8, 150, 194, 477 ], [ 8, 150, 194, 875 ], [ 8, 154, 542, 800 ], [ 8, 194, 210, 678 ], [ 8, 194, 875, 960 ], [ 8, 249, 360, 589 ], [ 8, 249, 360, 715 ], [ 8, 249, 589, 616 ], [ 8, 249, 715, 872 ], [ 10, 15, 17, 394 ], [ 10, 15, 117, 394 ], [ 10, 15, 117, 851 ], [ 10, 15, 160, 541 ], [ 10, 17, 117, 394 ], [ 10, 17, 117, 421 ], [ 10, 17, 174, 751 ], [ 10, 17, 421, 751 ], [ 10, 117, 174, 358 ], [ 10, 117, 174, 421 ], [ 10, 117, 358, 640 ], [ 10, 151, 290, 552 ], [ 10, 151, 290, 581 ], [ 10, 174, 421, 751 ], [ 10, 290, 581, 752 ], [ 10, 290, 694, 742 ], [ 10, 290, 694, 752 ], [ 10, 581, 694, 752 ], [ 10, 694, 742, 784 ], [ 11, 26, 33, 418 ], [ 11, 26, 33, 853 ], [ 11, 26, 50, 382 ], [ 11, 26, 179, 382 ], [ 11, 26, 179, 831 ], [ 11, 26, 209, 831 ], [ 11, 26, 418, 680 ], [ 11, 33, 52, 192 ], [ 11, 33, 52, 196 ], [ 11, 33, 181, 317 ], [ 11, 33, 196, 887 ], [ 11, 33, 317, 384 ], [ 11, 33, 384, 887 ], [ 11, 33, 418, 524 ], [ 11, 33, 524, 947 ], [ 11, 33, 594, 668 ], [ 11, 33, 668, 947 ], [ 11, 50, 179, 382 ], [ 11, 52, 181, 363 ], [ 11, 52, 192, 253 ], [ 11, 52, 196, 363 ], [ 11, 57, 341, 857 ], [ 11, 57, 468, 857 ], [ 11, 64, 98, 987 ], [ 11, 67, 172, 378 ], [ 11, 67, 172, 993 ], [ 11, 67, 378, 550 ], [ 11, 67, 495, 882 ], [ 11, 67, 565, 882 ], [ 11, 82, 138, 146 ], [ 11, 82, 138, 449 ], [ 11, 138, 146, 570 ], [ 11, 138, 282, 386 ], [ 11, 138, 282, 570 ], [ 11, 146, 282, 570 ], [ 11, 179, 209, 831 ], [ 11, 181, 196, 735 ], [ 11, 181, 196, 771 ], [ 11, 181, 317, 735 ], [ 11, 181, 363, 771 ], [ 11, 192, 253, 479 ], [ 11, 196, 317, 384 ], [ 11, 196, 317, 735 ], [ 11, 196, 363, 771 ], [ 11, 196, 384, 887 ], [ 11, 341, 468, 857 ], [ 11, 495, 565, 882 ], [ 11, 524, 594, 668 ], [ 11, 524, 668, 947 ], [ 12, 13, 22, 29 ], [ 12, 13, 22, 952 ], [ 12, 13, 29, 102 ], [ 12, 13, 32, 65 ], [ 12, 13, 32, 425 ], [ 12, 13, 61, 70 ], [ 12, 13, 61, 463 ], [ 12, 13, 65, 787 ], [ 12, 13, 70, 229 ], [ 12, 13, 102, 520 ], [ 12, 13, 203, 294 ], [ 12, 13, 224, 402 ], [ 12, 13, 224, 906 ], [ 12, 13, 229, 491 ], [ 12, 13, 294, 609 ], [ 12, 13, 425, 633 ], [ 12, 13, 491, 906 ], [ 12, 13, 609, 633 ], [ 12, 13, 787, 952 ], [ 12, 22, 32, 108 ], [ 12, 22, 65, 441 ], [ 12, 22, 65, 787 ], [ 12, 22, 99, 108 ], [ 12, 22, 99, 441 ], [ 12, 22, 787, 952 ], [ 12, 27, 155, 170 ], [ 12, 29, 102, 177 ], [ 12, 32, 65, 326 ], [ 12, 32, 99, 108 ], [ 12, 32, 99, 304 ], [ 12, 32, 203, 294 ], [ 12, 32, 294, 425 ], [ 12, 32, 304, 326 ], [ 12, 36, 72, 268 ], [ 12, 36, 145, 268 ], [ 12, 36, 145, 995 ], [ 12, 61, 463, 990 ], [ 12, 65, 99, 441 ], [ 12, 65, 99, 811 ], [ 12, 65, 304, 326 ], [ 12, 65, 304, 811 ], [ 12, 70, 224, 229 ], [ 12, 72, 94, 429 ], [ 12, 72, 94, 632 ], [ 12, 72, 145, 152 ], [ 12, 72, 145, 404 ], [ 12, 72, 152, 950 ], [ 12, 72, 268, 404 ], [ 12, 99, 304, 811 ], [ 12, 115, 140, 481 ], [ 12, 145, 152, 236 ], [ 12, 145, 268, 404 ], [ 12, 152, 236, 447 ], [ 12, 224, 229, 491 ], [ 12, 224, 491, 906 ], [ 12, 294, 425, 609 ], [ 12, 425, 609, 633 ], [ 13, 20, 25, 142 ], [ 13, 20, 25, 498 ], [ 13, 20, 37, 305 ], [ 13, 20, 41, 42 ], [ 13, 20, 41, 142 ], [ 13, 20, 101, 300 ], [ 13, 20, 101, 374 ], [ 13, 20, 122, 283 ], [ 13, 20, 122, 656 ], [ 13, 20, 300, 392 ], [ 13, 20, 392, 498 ], [ 13, 22, 24, 644 ], [ 13, 22, 29, 126 ], [ 13, 22, 32, 71 ], [ 13, 22, 32, 322 ], [ 13, 22, 65, 675 ], [ 13, 22, 65, 787 ], [ 13, 22, 71, 675 ], [ 13, 22, 126, 215 ], [ 13, 22, 141, 218 ], [ 13, 22, 141, 322 ], [ 13, 22, 206, 531 ], [ 13, 22, 215, 435 ], [ 13, 22, 435, 518 ], [ 13, 22, 518, 529 ], [ 13, 22, 529, 531 ], [ 13, 22, 644, 791 ], [ 13, 22, 787, 952 ], [ 13, 24, 31, 204 ], [ 13, 24, 204, 389 ], [ 13, 24, 389, 433 ], [ 13, 25, 41, 664 ], [ 13, 25, 101, 119 ], [ 13, 25, 101, 300 ], [ 13, 25, 119, 144 ], [ 13, 25, 142, 664 ], [ 13, 25, 300, 423 ], [ 13, 25, 392, 432 ], [ 13, 25, 392, 858 ], [ 13, 25, 423, 432 ], [ 13, 25, 498, 858 ], [ 13, 29, 102, 407 ], [ 13, 29, 126, 439 ], [ 13, 29, 401, 439 ], [ 13, 29, 401, 670 ], [ 13, 31, 35, 349 ], [ 13, 31, 53, 85 ], [ 13, 31, 53, 414 ], [ 13, 31, 78, 271 ], [ 13, 31, 78, 587 ], [ 13, 31, 85, 271 ], [ 13, 31, 313, 349 ], [ 13, 31, 313, 587 ], [ 13, 32, 65, 71 ], [ 13, 32, 141, 322 ], [ 13, 32, 203, 294 ], [ 13, 32, 294, 425 ], [ 13, 35, 53, 285 ], [ 13, 35, 53, 488 ], [ 13, 35, 60, 83 ], [ 13, 35, 78, 313 ], [ 13, 35, 78, 627 ], [ 13, 35, 83, 220 ], [ 13, 35, 105, 188 ], [ 13, 35, 105, 776 ], [ 13, 35, 188, 285 ], [ 13, 35, 313, 349 ], [ 13, 35, 445, 776 ], [ 13, 35, 488, 627 ], [ 13, 37, 280, 792 ], [ 13, 37, 424, 562 ], [ 13, 37, 539, 562 ], [ 13, 37, 539, 792 ], [ 13, 41, 142, 664 ], [ 13, 53, 78, 240 ], [ 13, 53, 78, 488 ], [ 13, 53, 85, 240 ], [ 13, 53, 105, 188 ], [ 13, 53, 105, 687 ], [ 13, 53, 188, 411 ], [ 13, 53, 285, 411 ], [ 13, 53, 371, 395 ], [ 13, 53, 371, 687 ], [ 13, 60, 83, 251 ], [ 13, 61, 70, 314 ], [ 13, 61, 199, 499 ], [ 13, 61, 199, 806 ], [ 13, 61, 486, 966 ], [ 13, 61, 499, 966 ], [ 13, 65, 71, 675 ], [ 13, 70, 224, 803 ], [ 13, 70, 224, 991 ], [ 13, 70, 229, 460 ], [ 13, 70, 314, 462 ], [ 13, 70, 437, 514 ], [ 13, 70, 437, 991 ], [ 13, 70, 460, 803 ], [ 13, 78, 85, 240 ], [ 13, 78, 85, 925 ], [ 13, 78, 271, 720 ], [ 13, 78, 298, 720 ], [ 13, 78, 298, 925 ], [ 13, 78, 313, 587 ], [ 13, 78, 488, 781 ], [ 13, 78, 627, 781 ], [ 13, 85, 271, 298 ], [ 13, 85, 298, 925 ], [ 13, 101, 119, 184 ], [ 13, 101, 184, 187 ], [ 13, 102, 407, 915 ], [ 13, 102, 520, 891 ], [ 13, 105, 371, 687 ], [ 13, 105, 445, 776 ], [ 13, 119, 184, 454 ], [ 13, 122, 656, 666 ], [ 13, 126, 206, 215 ], [ 13, 126, 401, 439 ], [ 13, 188, 285, 411 ], [ 13, 199, 486, 499 ], [ 13, 206, 215, 435 ], [ 13, 206, 435, 518 ], [ 13, 206, 518, 529 ], [ 13, 206, 529, 774 ], [ 13, 206, 531, 774 ], [ 13, 224, 229, 460 ], [ 13, 224, 229, 491 ], [ 13, 224, 437, 823 ], [ 13, 224, 437, 991 ], [ 13, 224, 460, 803 ], [ 13, 224, 491, 906 ], [ 13, 271, 298, 720 ], [ 13, 280, 284, 711 ], [ 13, 280, 424, 539 ], [ 13, 280, 539, 792 ], [ 13, 294, 425, 609 ], [ 13, 300, 392, 423 ], [ 13, 314, 462, 710 ], [ 13, 392, 423, 432 ], [ 13, 392, 498, 858 ], [ 13, 424, 539, 562 ], [ 13, 425, 609, 633 ], [ 13, 437, 514, 951 ], [ 13, 486, 499, 966 ], [ 13, 488, 627, 781 ], [ 13, 529, 531, 855 ], [ 13, 529, 774, 855 ], [ 13, 531, 774, 855 ], [ 14, 38, 89, 106 ], [ 14, 38, 106, 112 ], [ 14, 38, 112, 422 ], [ 14, 38, 157, 369 ], [ 14, 38, 157, 480 ], [ 14, 38, 161, 385 ], [ 14, 38, 161, 480 ], [ 14, 38, 366, 422 ], [ 14, 38, 385, 482 ], [ 14, 74, 150, 904 ], [ 14, 89, 106, 121 ], [ 14, 89, 121, 489 ], [ 14, 89, 130, 261 ], [ 14, 89, 223, 257 ], [ 14, 89, 223, 261 ], [ 14, 89, 257, 303 ], [ 14, 106, 121, 217 ], [ 14, 106, 217, 558 ], [ 14, 106, 287, 558 ], [ 14, 112, 366, 777 ], [ 14, 112, 422, 621 ], [ 14, 112, 621, 777 ], [ 14, 121, 489, 870 ], [ 14, 130, 223, 261 ], [ 14, 130, 223, 630 ], [ 14, 130, 316, 319 ], [ 14, 130, 316, 387 ], [ 14, 130, 387, 490 ], [ 14, 130, 490, 630 ], [ 14, 157, 161, 207 ], [ 14, 157, 161, 480 ], [ 14, 217, 287, 295 ], [ 14, 217, 287, 558 ], [ 14, 223, 257, 813 ], [ 14, 223, 316, 387 ], [ 14, 223, 387, 490 ], [ 14, 223, 490, 630 ], [ 14, 249, 360, 715 ], [ 14, 249, 715, 986 ], [ 14, 249, 872, 986 ], [ 14, 366, 422, 621 ], [ 14, 366, 621, 777 ], [ 14, 715, 872, 986 ], [ 15, 17, 117, 315 ], [ 15, 17, 117, 394 ], [ 15, 17, 315, 837 ], [ 15, 39, 93, 135 ], [ 15, 39, 93, 728 ], [ 15, 39, 124, 428 ], [ 15, 39, 135, 428 ], [ 15, 93, 124, 135 ], [ 15, 93, 124, 734 ], [ 15, 93, 734, 808 ], [ 15, 117, 315, 415 ], [ 15, 124, 135, 841 ], [ 15, 124, 428, 841 ], [ 15, 135, 428, 841 ], [ 16, 110, 125, 289 ], [ 16, 110, 125, 416 ], [ 16, 110, 416, 946 ], [ 16, 125, 289, 484 ], [ 16, 289, 484, 996 ], [ 16, 289, 655, 930 ], [ 16, 289, 930, 996 ], [ 16, 484, 655, 930 ], [ 16, 484, 930, 996 ], [ 17, 117, 174, 421 ], [ 17, 117, 315, 619 ], [ 17, 174, 421, 751 ], [ 18, 19, 21, 185 ], [ 18, 19, 21, 205 ], [ 18, 19, 28, 40 ], [ 18, 19, 28, 907 ], [ 18, 19, 879, 907 ], [ 18, 21, 127, 165 ], [ 18, 21, 185, 362 ], [ 18, 21, 205, 400 ], [ 18, 21, 231, 400 ], [ 18, 28, 107, 163 ], [ 18, 28, 107, 910 ], [ 18, 28, 131, 910 ], [ 18, 28, 163, 241 ], [ 18, 28, 879, 907 ], [ 18, 107, 131, 273 ], [ 18, 107, 131, 910 ], [ 18, 107, 273, 309 ], [ 18, 107, 309, 347 ], [ 18, 107, 337, 509 ], [ 18, 107, 497, 509 ], [ 18, 131, 273, 551 ], [ 18, 205, 231, 400 ], [ 18, 205, 231, 895 ], [ 18, 213, 692, 844 ], [ 18, 309, 347, 475 ], [ 18, 337, 497, 509 ], [ 19, 21, 123, 244 ], [ 19, 21, 244, 693 ], [ 19, 21, 338, 693 ], [ 19, 28, 40, 247 ], [ 19, 28, 299, 494 ], [ 19, 28, 299, 832 ], [ 19, 28, 494, 940 ], [ 19, 28, 588, 604 ], [ 19, 28, 604, 832 ], [ 19, 28, 879, 907 ], [ 19, 244, 338, 693 ], [ 19, 299, 588, 604 ], [ 19, 299, 604, 832 ], [ 20, 25, 41, 142 ], [ 20, 25, 41, 430 ], [ 20, 25, 101, 467 ], [ 20, 25, 300, 392 ], [ 20, 25, 300, 593 ], [ 20, 25, 301, 696 ], [ 20, 25, 301, 854 ], [ 20, 25, 392, 498 ], [ 20, 25, 467, 696 ], [ 20, 25, 572, 593 ], [ 20, 25, 572, 854 ], [ 20, 37, 51, 334 ], [ 20, 37, 51, 530 ], [ 20, 37, 111, 713 ], [ 20, 37, 243, 334 ], [ 20, 37, 243, 457 ], [ 20, 37, 457, 713 ], [ 20, 41, 42, 323 ], [ 20, 41, 201, 323 ], [ 20, 42, 201, 440 ], [ 20, 42, 323, 440 ], [ 20, 51, 111, 455 ], [ 20, 51, 243, 455 ], [ 20, 51, 243, 679 ], [ 20, 51, 334, 408 ], [ 20, 51, 408, 679 ], [ 20, 51, 530, 969 ], [ 20, 51, 569, 719 ], [ 20, 101, 300, 301 ], [ 20, 101, 301, 467 ], [ 20, 111, 243, 455 ], [ 20, 111, 243, 974 ], [ 20, 111, 457, 713 ], [ 20, 111, 457, 937 ], [ 20, 111, 937, 974 ], [ 20, 201, 323, 440 ], [ 20, 243, 334, 408 ], [ 20, 243, 408, 679 ], [ 20, 243, 457, 937 ], [ 20, 243, 937, 974 ], [ 20, 300, 301, 572 ], [ 20, 300, 572, 661 ], [ 20, 300, 593, 661 ], [ 20, 301, 467, 729 ], [ 20, 301, 572, 854 ], [ 20, 301, 696, 729 ], [ 20, 467, 696, 729 ], [ 20, 572, 593, 661 ], [ 21, 127, 165, 444 ], [ 21, 127, 442, 483 ], [ 21, 205, 231, 333 ], [ 21, 205, 231, 724 ], [ 21, 205, 333, 659 ], [ 21, 205, 400, 778 ], [ 21, 205, 724, 778 ], [ 21, 231, 400, 739 ], [ 21, 231, 724, 739 ], [ 21, 244, 338, 693 ], [ 21, 400, 724, 739 ], [ 21, 400, 724, 778 ], [ 22, 29, 126, 306 ], [ 22, 29, 216, 306 ], [ 22, 32, 65, 99 ], [ 22, 32, 65, 532 ], [ 22, 32, 71, 532 ], [ 22, 32, 99, 108 ], [ 22, 32, 141, 322 ], [ 22, 65, 71, 532 ], [ 22, 65, 71, 675 ], [ 22, 65, 99, 441 ], [ 22, 126, 206, 215 ], [ 22, 126, 216, 324 ], [ 22, 126, 216, 677 ], [ 22, 126, 306, 677 ], [ 22, 126, 324, 978 ], [ 22, 206, 215, 717 ], [ 22, 206, 435, 518 ], [ 22, 206, 435, 717 ], [ 22, 206, 518, 921 ], [ 22, 206, 529, 531 ], [ 22, 206, 529, 819 ], [ 22, 206, 722, 741 ], [ 22, 206, 722, 819 ], [ 22, 206, 741, 921 ], [ 22, 215, 435, 723 ], [ 22, 215, 717, 723 ], [ 22, 216, 306, 846 ], [ 22, 216, 677, 846 ], [ 22, 306, 677, 846 ], [ 22, 435, 717, 723 ], [ 22, 518, 529, 722 ], [ 22, 518, 722, 741 ], [ 22, 518, 741, 921 ], [ 22, 529, 722, 819 ], [ 24, 31, 44, 702 ], [ 24, 44, 48, 517 ], [ 24, 44, 63, 517 ], [ 24, 48, 63, 517 ], [ 24, 204, 389, 391 ], [ 24, 389, 391, 709 ], [ 25, 41, 142, 664 ], [ 25, 101, 119, 465 ], [ 25, 101, 300, 301 ], [ 25, 101, 301, 500 ], [ 25, 101, 467, 500 ], [ 25, 119, 144, 916 ], [ 25, 119, 168, 221 ], [ 25, 119, 168, 388 ], [ 25, 119, 208, 221 ], [ 25, 119, 208, 635 ], [ 25, 119, 327, 635 ], [ 25, 119, 388, 916 ], [ 25, 119, 465, 671 ], [ 25, 144, 168, 388 ], [ 25, 144, 168, 682 ], [ 25, 144, 388, 916 ], [ 25, 168, 208, 221 ], [ 25, 168, 208, 861 ], [ 25, 208, 327, 635 ], [ 25, 300, 301, 572 ], [ 25, 300, 392, 423 ], [ 25, 300, 572, 593 ], [ 25, 301, 467, 696 ], [ 25, 301, 467, 746 ], [ 25, 301, 500, 746 ], [ 25, 301, 572, 854 ], [ 25, 392, 423, 432 ], [ 25, 392, 498, 858 ], [ 25, 467, 500, 864 ], [ 25, 467, 746, 864 ], [ 25, 500, 746, 864 ], [ 26, 33, 49, 109 ], [ 26, 33, 49, 331 ], [ 26, 33, 109, 133 ], [ 26, 33, 133, 602 ], [ 26, 33, 226, 331 ], [ 26, 33, 226, 393 ], [ 26, 34, 84, 100 ], [ 26, 34, 100, 134 ], [ 26, 34, 134, 805 ], [ 26, 34, 286, 350 ], [ 26, 34, 286, 522 ], [ 26, 34, 321, 364 ], [ 26, 34, 321, 885 ], [ 26, 34, 364, 965 ], [ 26, 49, 109, 547 ], [ 26, 49, 226, 672 ], [ 26, 49, 331, 672 ], [ 26, 50, 179, 180 ], [ 26, 50, 179, 382 ], [ 26, 109, 133, 278 ], [ 26, 109, 547, 636 ], [ 26, 179, 180, 788 ], [ 26, 179, 209, 831 ], [ 26, 226, 331, 815 ], [ 26, 226, 672, 815 ], [ 26, 321, 364, 564 ], [ 26, 331, 672, 815 ], [ 26, 364, 564, 623 ], [ 26, 547, 636, 718 ], [ 27, 155, 170, 452 ], [ 27, 155, 448, 452 ], [ 27, 170, 448, 452 ], [ 27, 170, 448, 553 ], [ 27, 170, 553, 637 ], [ 28, 40, 247, 344 ], [ 28, 40, 279, 625 ], [ 28, 40, 344, 556 ], [ 28, 40, 556, 625 ], [ 28, 107, 131, 910 ], [ 28, 107, 131, 938 ], [ 28, 107, 163, 281 ], [ 28, 107, 281, 600 ], [ 28, 247, 279, 344 ], [ 28, 279, 344, 556 ], [ 28, 279, 556, 625 ], [ 28, 299, 494, 516 ], [ 28, 299, 588, 604 ], [ 28, 299, 588, 890 ], [ 28, 299, 604, 832 ], [ 29, 102, 177, 618 ], [ 29, 126, 216, 306 ], [ 29, 126, 401, 544 ], [ 29, 126, 439, 615 ], [ 29, 126, 544, 716 ], [ 29, 126, 615, 716 ], [ 29, 401, 439, 544 ], [ 29, 439, 544, 615 ], [ 29, 544, 615, 716 ], [ 31, 35, 53, 78 ], [ 31, 35, 53, 87 ], [ 31, 35, 78, 313 ], [ 31, 35, 313, 349 ], [ 31, 44, 173, 398 ], [ 31, 44, 173, 881 ], [ 31, 44, 239, 405 ], [ 31, 44, 239, 763 ], [ 31, 44, 277, 405 ], [ 31, 44, 398, 597 ], [ 31, 44, 597, 914 ], [ 31, 44, 763, 881 ], [ 31, 53, 78, 85 ], [ 31, 53, 87, 443 ], [ 31, 53, 443, 560 ], [ 31, 78, 85, 473 ], [ 31, 78, 271, 473 ], [ 31, 78, 313, 587 ], [ 31, 85, 271, 764 ], [ 31, 85, 473, 764 ], [ 31, 173, 239, 763 ], [ 31, 173, 259, 944 ], [ 31, 173, 763, 881 ], [ 31, 239, 277, 405 ], [ 31, 239, 277, 624 ], [ 31, 271, 473, 764 ], [ 31, 443, 560, 747 ], [ 31, 443, 648, 747 ], [ 31, 560, 648, 920 ], [ 31, 560, 747, 920 ], [ 31, 648, 747, 920 ], [ 32, 65, 71, 532 ], [ 32, 65, 99, 304 ], [ 32, 65, 304, 829 ], [ 32, 65, 326, 829 ], [ 32, 304, 326, 829 ], [ 33, 49, 226, 453 ], [ 33, 49, 331, 453 ], [ 33, 52, 181, 196 ], [ 33, 133, 602, 638 ], [ 33, 181, 196, 502 ], [ 33, 181, 317, 502 ], [ 33, 196, 317, 436 ], [ 33, 196, 317, 502 ], [ 33, 196, 384, 732 ], [ 33, 196, 384, 887 ], [ 33, 196, 436, 929 ], [ 33, 196, 732, 929 ], [ 33, 226, 331, 453 ], [ 33, 317, 384, 436 ], [ 33, 384, 436, 732 ], [ 33, 436, 732, 929 ], [ 33, 524, 594, 981 ], [ 33, 524, 668, 810 ], [ 33, 524, 668, 947 ], [ 33, 524, 810, 981 ], [ 33, 594, 668, 911 ], [ 33, 594, 810, 911 ], [ 33, 594, 810, 981 ], [ 33, 668, 810, 911 ], [ 34, 100, 134, 913 ], [ 34, 286, 470, 884 ], [ 34, 286, 646, 884 ], [ 34, 470, 646, 884 ], [ 35, 53, 78, 488 ], [ 35, 53, 105, 953 ], [ 35, 53, 188, 285 ], [ 35, 53, 188, 998 ], [ 35, 53, 953, 998 ], [ 35, 60, 83, 888 ], [ 35, 60, 90, 297 ], [ 35, 60, 90, 888 ], [ 35, 68, 354, 413 ], [ 35, 68, 354, 979 ], [ 35, 78, 488, 627 ], [ 35, 83, 90, 195 ], [ 35, 83, 90, 888 ], [ 35, 90, 297, 617 ], [ 35, 105, 188, 953 ], [ 35, 105, 445, 776 ], [ 35, 105, 445, 918 ], [ 35, 188, 953, 998 ], [ 36, 54, 58, 250 ], [ 36, 54, 186, 250 ], [ 36, 54, 370, 390 ], [ 36, 54, 370, 419 ], [ 36, 58, 86, 970 ], [ 36, 58, 186, 250 ], [ 36, 58, 272, 730 ], [ 36, 58, 730, 970 ], [ 36, 72, 73, 190 ], [ 36, 72, 73, 934 ], [ 36, 72, 91, 256 ], [ 36, 72, 145, 302 ], [ 36, 72, 190, 403 ], [ 36, 72, 256, 934 ], [ 36, 72, 268, 302 ], [ 36, 73, 91, 639 ], [ 36, 73, 176, 245 ], [ 36, 73, 245, 583 ], [ 36, 73, 256, 639 ], [ 36, 73, 256, 934 ], [ 36, 73, 583, 968 ], [ 36, 86, 272, 730 ], [ 36, 86, 272, 770 ], [ 36, 86, 730, 970 ], [ 36, 91, 256, 639 ], [ 36, 116, 511, 712 ], [ 36, 145, 268, 302 ], [ 36, 370, 390, 549 ], [ 36, 370, 549, 840 ], [ 36, 370, 840, 900 ], [ 36, 390, 549, 591 ], [ 37, 51, 111, 650 ], [ 37, 51, 111, 869 ], [ 37, 51, 243, 334 ], [ 37, 51, 243, 650 ], [ 37, 111, 243, 457 ], [ 37, 111, 243, 726 ], [ 37, 111, 457, 713 ], [ 37, 111, 650, 726 ], [ 37, 243, 650, 726 ], [ 37, 280, 424, 539 ], [ 37, 280, 539, 792 ], [ 37, 424, 539, 562 ], [ 38, 56, 69, 274 ], [ 38, 56, 69, 355 ], [ 38, 56, 81, 274 ], [ 38, 69, 81, 377 ], [ 38, 69, 81, 923 ], [ 38, 69, 274, 335 ], [ 38, 69, 310, 962 ], [ 38, 69, 320, 458 ], [ 38, 69, 320, 757 ], [ 38, 69, 335, 377 ], [ 38, 69, 355, 365 ], [ 38, 69, 757, 962 ], [ 38, 81, 274, 830 ], [ 38, 81, 335, 377 ], [ 38, 81, 335, 830 ], [ 38, 89, 106, 234 ], [ 38, 106, 112, 227 ], [ 38, 106, 234, 897 ], [ 38, 112, 227, 994 ], [ 38, 112, 248, 994 ], [ 38, 112, 366, 422 ], [ 38, 157, 161, 410 ], [ 38, 157, 161, 480 ], [ 38, 157, 164, 230 ], [ 38, 157, 167, 727 ], [ 38, 157, 211, 230 ], [ 38, 157, 211, 563 ], [ 38, 157, 296, 410 ], [ 38, 157, 296, 658 ], [ 38, 157, 412, 727 ], [ 38, 157, 563, 658 ], [ 38, 161, 164, 211 ], [ 38, 161, 211, 296 ], [ 38, 161, 296, 450 ], [ 38, 161, 410, 450 ], [ 38, 164, 211, 230 ], [ 38, 167, 233, 903 ], [ 38, 167, 412, 727 ], [ 38, 211, 296, 563 ], [ 38, 227, 248, 994 ], [ 38, 274, 335, 830 ], [ 38, 296, 410, 595 ], [ 38, 296, 450, 595 ], [ 38, 296, 563, 658 ], [ 38, 310, 320, 596 ], [ 38, 310, 320, 757 ], [ 38, 310, 417, 596 ], [ 38, 310, 757, 962 ], [ 38, 320, 417, 596 ], [ 38, 410, 450, 595 ], [ 39, 93, 113, 375 ], [ 39, 93, 124, 212 ], [ 39, 93, 124, 267 ], [ 39, 93, 135, 674 ], [ 39, 93, 212, 765 ], [ 39, 93, 267, 674 ], [ 39, 113, 255, 501 ], [ 39, 124, 135, 428 ], [ 39, 124, 135, 568 ], [ 39, 124, 267, 568 ], [ 39, 135, 267, 622 ], [ 39, 135, 267, 674 ], [ 39, 135, 568, 622 ], [ 39, 212, 765, 939 ], [ 39, 255, 501, 628 ], [ 39, 267, 568, 622 ], [ 40, 247, 279, 344 ], [ 40, 279, 344, 556 ], [ 40, 279, 556, 625 ], [ 41, 42, 201, 323 ], [ 42, 201, 323, 440 ], [ 44, 48, 63, 517 ], [ 44, 173, 239, 763 ], [ 44, 173, 763, 881 ], [ 44, 239, 277, 352 ], [ 44, 239, 277, 405 ], [ 46, 55, 139, 307 ], [ 46, 55, 292, 612 ], [ 46, 55, 534, 877 ], [ 46, 139, 606, 761 ], [ 46, 139, 606, 852 ], [ 46, 139, 755, 852 ], [ 46, 606, 755, 852 ], [ 47, 77, 88, 158 ], [ 47, 77, 96, 643 ], [ 47, 77, 96, 828 ], [ 47, 77, 158, 361 ], [ 47, 77, 361, 793 ], [ 47, 77, 793, 828 ], [ 47, 88, 96, 158 ], [ 47, 88, 162, 191 ], [ 47, 96, 158, 361 ], [ 47, 96, 361, 793 ], [ 47, 96, 793, 828 ], [ 47, 162, 252, 673 ], [ 47, 162, 252, 999 ], [ 47, 252, 673, 801 ], [ 48, 159, 225, 932 ], [ 48, 225, 318, 476 ], [ 48, 225, 476, 493 ], [ 49, 226, 331, 453 ], [ 49, 226, 331, 672 ], [ 50, 179, 180, 515 ], [ 50, 179, 515, 586 ], [ 50, 179, 586, 894 ], [ 51, 111, 243, 650 ], [ 51, 111, 243, 653 ], [ 51, 111, 455, 653 ], [ 51, 243, 334, 472 ], [ 51, 243, 408, 472 ], [ 51, 243, 408, 679 ], [ 51, 243, 455, 653 ], [ 51, 334, 408, 472 ], [ 52, 181, 196, 902 ], [ 52, 181, 363, 902 ], [ 52, 196, 363, 902 ], [ 53, 78, 85, 240 ], [ 53, 105, 188, 953 ], [ 53, 105, 371, 687 ], [ 53, 188, 285, 705 ], [ 53, 188, 411, 883 ], [ 53, 188, 705, 883 ], [ 53, 188, 953, 998 ], [ 53, 285, 411, 705 ], [ 53, 371, 395, 663 ], [ 53, 411, 705, 883 ], [ 54, 58, 186, 250 ], [ 54, 58, 186, 689 ], [ 54, 58, 269, 288 ], [ 54, 58, 269, 839 ], [ 54, 58, 689, 839 ], [ 54, 186, 269, 689 ], [ 54, 269, 288, 566 ], [ 54, 269, 689, 839 ], [ 55, 139, 307, 889 ], [ 55, 143, 175, 917 ], [ 55, 175, 474, 942 ], [ 55, 175, 697, 942 ], [ 55, 178, 238, 311 ], [ 55, 474, 697, 942 ], [ 56, 69, 81, 95 ], [ 56, 69, 81, 274 ], [ 56, 69, 95, 129 ], [ 56, 69, 367, 383 ], [ 56, 367, 383, 427 ], [ 57, 75, 118, 745 ], [ 57, 341, 468, 857 ], [ 58, 86, 272, 608 ], [ 58, 86, 272, 730 ], [ 58, 86, 730, 970 ], [ 58, 186, 269, 689 ], [ 58, 186, 269, 700 ], [ 58, 269, 689, 839 ], [ 58, 272, 608, 825 ], [ 58, 272, 786, 825 ], [ 58, 608, 786, 825 ], [ 60, 68, 104, 183 ], [ 60, 68, 104, 357 ], [ 60, 68, 183, 260 ], [ 60, 68, 260, 346 ], [ 60, 68, 346, 772 ], [ 60, 83, 90, 555 ], [ 60, 83, 90, 888 ], [ 60, 83, 251, 567 ], [ 60, 83, 555, 967 ], [ 60, 104, 114, 406 ], [ 60, 104, 114, 935 ], [ 60, 104, 357, 503 ], [ 60, 104, 406, 561 ], [ 60, 104, 512, 603 ], [ 60, 104, 512, 685 ], [ 60, 104, 603, 935 ], [ 60, 114, 406, 505 ], [ 60, 114, 512, 603 ], [ 60, 114, 603, 935 ], [ 60, 406, 505, 540 ], [ 60, 505, 540, 896 ], [ 61, 199, 486, 487 ], [ 61, 199, 486, 499 ], [ 61, 486, 499, 966 ], [ 65, 99, 304, 811 ], [ 65, 304, 326, 829 ], [ 66, 103, 291, 651 ], [ 66, 270, 510, 733 ], [ 67, 495, 565, 984 ], [ 67, 495, 882, 984 ], [ 67, 565, 882, 984 ], [ 68, 260, 346, 848 ], [ 69, 81, 274, 954 ], [ 69, 81, 335, 863 ], [ 69, 81, 335, 931 ], [ 69, 81, 377, 931 ], [ 69, 81, 863, 954 ], [ 69, 95, 129, 912 ], [ 69, 274, 335, 863 ], [ 69, 274, 863, 954 ], [ 69, 310, 320, 757 ], [ 69, 310, 757, 962 ], [ 69, 335, 377, 931 ], [ 70, 224, 229, 460 ], [ 70, 224, 437, 991 ], [ 70, 224, 460, 803 ], [ 72, 73, 91, 256 ], [ 72, 73, 190, 235 ], [ 72, 73, 235, 265 ], [ 72, 73, 256, 934 ], [ 72, 73, 265, 874 ], [ 72, 73, 725, 874 ], [ 72, 145, 268, 328 ], [ 72, 145, 268, 404 ], [ 72, 145, 302, 799 ], [ 72, 145, 328, 523 ], [ 72, 145, 523, 799 ], [ 72, 265, 725, 874 ], [ 72, 268, 302, 328 ], [ 72, 302, 328, 523 ], [ 72, 302, 523, 957 ], [ 72, 302, 799, 957 ], [ 72, 523, 799, 957 ], [ 73, 91, 256, 908 ], [ 73, 91, 639, 908 ], [ 73, 176, 263, 469 ], [ 73, 235, 265, 956 ], [ 73, 256, 639, 908 ], [ 73, 265, 725, 874 ], [ 74, 150, 194, 707 ], [ 74, 150, 477, 707 ], [ 74, 194, 210, 372 ], [ 74, 194, 477, 707 ], [ 77, 88, 96, 97 ], [ 77, 88, 96, 158 ], [ 77, 88, 97, 545 ], [ 77, 88, 147, 545 ], [ 77, 96, 97, 972 ], [ 77, 96, 158, 380 ], [ 77, 96, 361, 380 ], [ 77, 96, 361, 793 ], [ 77, 96, 793, 828 ], [ 77, 97, 147, 545 ], [ 77, 97, 147, 919 ], [ 77, 158, 361, 836 ], [ 77, 158, 380, 836 ], [ 77, 361, 380, 836 ], [ 78, 85, 271, 473 ], [ 78, 85, 271, 773 ], [ 78, 85, 298, 356 ], [ 78, 85, 298, 925 ], [ 78, 85, 356, 773 ], [ 78, 271, 298, 356 ], [ 78, 271, 298, 720 ], [ 78, 271, 356, 773 ], [ 78, 488, 627, 781 ], [ 81, 274, 335, 830 ], [ 81, 274, 335, 863 ], [ 81, 274, 863, 954 ], [ 81, 335, 377, 931 ], [ 82, 138, 146, 647 ], [ 83, 90, 195, 262 ], [ 83, 90, 555, 948 ], [ 83, 90, 571, 948 ], [ 83, 251, 567, 838 ], [ 83, 555, 571, 948 ], [ 85, 271, 298, 356 ], [ 85, 271, 356, 773 ], [ 85, 271, 473, 764 ], [ 88, 96, 97, 120 ], [ 88, 96, 120, 264 ], [ 88, 96, 264, 798 ], [ 88, 97, 120, 446 ], [ 88, 97, 147, 545 ], [ 88, 97, 147, 809 ], [ 88, 120, 264, 266 ], [ 88, 120, 266, 652 ], [ 88, 264, 266, 845 ], [ 89, 106, 121, 577 ], [ 89, 106, 234, 847 ], [ 89, 106, 312, 577 ], [ 89, 106, 343, 496 ], [ 89, 106, 343, 847 ], [ 89, 121, 312, 376 ], [ 89, 121, 312, 577 ], [ 89, 121, 376, 695 ], [ 89, 121, 695, 802 ], [ 89, 130, 223, 261 ], [ 89, 234, 343, 714 ], [ 89, 234, 343, 847 ], [ 89, 234, 368, 590 ], [ 89, 234, 368, 714 ], [ 89, 257, 303, 843 ], [ 89, 257, 843, 977 ], [ 89, 343, 368, 714 ], [ 90, 555, 571, 782 ], [ 90, 555, 571, 948 ], [ 90, 555, 748, 989 ], [ 90, 555, 782, 963 ], [ 90, 555, 963, 989 ], [ 90, 571, 748, 782 ], [ 90, 748, 782, 963 ], [ 90, 748, 963, 989 ], [ 91, 256, 639, 908 ], [ 92, 148, 156, 232 ], [ 93, 113, 375, 508 ], [ 93, 124, 135, 267 ], [ 93, 124, 212, 926 ], [ 93, 124, 734, 886 ], [ 93, 124, 849, 926 ], [ 93, 135, 267, 905 ], [ 93, 135, 674, 905 ], [ 93, 212, 849, 926 ], [ 93, 267, 674, 905 ], [ 93, 375, 508, 533 ], [ 96, 97, 120, 817 ], [ 96, 158, 361, 380 ], [ 101, 301, 467, 500 ], [ 104, 114, 512, 603 ], [ 104, 114, 603, 935 ], [ 106, 121, 312, 577 ], [ 106, 217, 287, 558 ], [ 106, 217, 287, 585 ], [ 106, 217, 585, 607 ], [ 106, 217, 607, 660 ], [ 106, 234, 343, 847 ], [ 106, 585, 607, 683 ], [ 106, 607, 683, 704 ], [ 107, 131, 273, 507 ], [ 107, 273, 309, 850 ], [ 107, 337, 497, 753 ], [ 107, 337, 497, 982 ], [ 107, 337, 509, 753 ], [ 107, 379, 451, 822 ], [ 107, 379, 451, 901 ], [ 107, 497, 509, 753 ], [ 110, 125, 289, 775 ], [ 110, 125, 416, 743 ], [ 111, 243, 455, 653 ], [ 111, 243, 457, 937 ], [ 111, 243, 650, 726 ], [ 111, 243, 937, 974 ], [ 112, 227, 248, 994 ], [ 112, 366, 422, 621 ], [ 112, 366, 621, 777 ], [ 113, 375, 508, 521 ], [ 115, 132, 182, 548 ], [ 115, 132, 222, 237 ], [ 115, 132, 222, 548 ], [ 115, 132, 237, 242 ], [ 115, 132, 242, 381 ], [ 115, 182, 222, 579 ], [ 115, 182, 222, 634 ], [ 115, 182, 258, 478 ], [ 115, 182, 258, 665 ], [ 115, 182, 434, 579 ], [ 115, 182, 434, 807 ], [ 115, 182, 519, 598 ], [ 115, 182, 548, 634 ], [ 115, 182, 665, 807 ], [ 115, 222, 258, 434 ], [ 115, 222, 434, 579 ], [ 115, 222, 548, 634 ], [ 115, 237, 242, 409 ], [ 115, 242, 381, 396 ], [ 115, 242, 409, 576 ], [ 115, 258, 434, 665 ], [ 115, 381, 396, 574 ], [ 115, 434, 665, 807 ], [ 116, 511, 712, 750 ], [ 117, 174, 358, 641 ], [ 117, 174, 557, 924 ], [ 117, 174, 641, 924 ], [ 117, 315, 415, 584 ], [ 117, 358, 557, 641 ], [ 117, 358, 557, 933 ], [ 117, 557, 641, 924 ], [ 119, 144, 168, 388 ], [ 119, 144, 388, 916 ], [ 119, 168, 208, 221 ], [ 119, 168, 208, 359 ], [ 119, 208, 327, 635 ], [ 121, 312, 376, 667 ], [ 124, 135, 267, 568 ], [ 124, 135, 428, 841 ], [ 124, 212, 849, 926 ], [ 126, 216, 306, 677 ], [ 126, 216, 324, 973 ], [ 126, 401, 439, 544 ], [ 126, 439, 544, 615 ], [ 126, 544, 615, 716 ], [ 127, 165, 444, 461 ], [ 130, 223, 316, 387 ], [ 130, 223, 387, 490 ], [ 130, 223, 490, 630 ], [ 130, 316, 319, 330 ], [ 131, 273, 551, 699 ], [ 132, 182, 222, 548 ], [ 135, 267, 568, 622 ], [ 135, 267, 674, 905 ], [ 138, 146, 282, 570 ], [ 138, 146, 647, 876 ], [ 138, 282, 386, 485 ], [ 139, 606, 755, 852 ], [ 145, 152, 236, 795 ], [ 145, 152, 426, 438 ], [ 145, 152, 438, 536 ], [ 145, 152, 536, 626 ], [ 145, 152, 626, 804 ], [ 145, 152, 795, 804 ], [ 145, 236, 426, 438 ], [ 145, 236, 438, 631 ], [ 145, 236, 536, 626 ], [ 145, 236, 536, 631 ], [ 145, 236, 626, 795 ], [ 145, 268, 302, 328 ], [ 145, 302, 328, 654 ], [ 145, 302, 523, 654 ], [ 145, 302, 523, 799 ], [ 145, 328, 523, 818 ], [ 145, 328, 654, 818 ], [ 145, 438, 536, 631 ], [ 145, 523, 654, 818 ], [ 145, 626, 795, 804 ], [ 148, 156, 232, 537 ], [ 150, 194, 477, 707 ], [ 152, 236, 426, 438 ], [ 152, 236, 426, 611 ], [ 152, 236, 438, 536 ], [ 152, 236, 536, 626 ], [ 152, 236, 611, 749 ], [ 152, 236, 626, 795 ], [ 152, 626, 795, 804 ], [ 155, 170, 448, 452 ], [ 157, 161, 164, 211 ], [ 157, 161, 164, 219 ], [ 157, 161, 197, 878 ], [ 157, 161, 207, 506 ], [ 157, 161, 211, 296 ], [ 157, 161, 214, 219 ], [ 157, 161, 214, 878 ], [ 157, 161, 296, 410 ], [ 157, 164, 197, 342 ], [ 157, 164, 197, 601 ], [ 157, 164, 211, 790 ], [ 157, 164, 214, 340 ], [ 157, 164, 214, 614 ], [ 157, 164, 219, 340 ], [ 157, 164, 230, 790 ], [ 157, 164, 325, 614 ], [ 157, 164, 325, 827 ], [ 157, 164, 342, 827 ], [ 157, 167, 412, 727 ], [ 157, 167, 412, 959 ], [ 157, 167, 941, 959 ], [ 157, 197, 214, 878 ], [ 157, 197, 214, 927 ], [ 157, 197, 325, 342 ], [ 157, 197, 325, 927 ], [ 157, 207, 506, 535 ], [ 157, 211, 230, 790 ], [ 157, 211, 296, 563 ], [ 157, 214, 219, 543 ], [ 157, 214, 325, 731 ], [ 157, 214, 325, 927 ], [ 157, 214, 340, 431 ], [ 157, 214, 431, 578 ], [ 157, 214, 543, 578 ], [ 157, 214, 614, 731 ], [ 157, 219, 340, 431 ], [ 157, 219, 431, 543 ], [ 157, 296, 563, 658 ], [ 157, 325, 342, 827 ], [ 157, 325, 614, 731 ], [ 157, 412, 941, 959 ], [ 157, 431, 543, 578 ], [ 158, 361, 380, 836 ], [ 161, 164, 197, 214 ], [ 161, 164, 214, 893 ], [ 161, 164, 219, 754 ], [ 161, 164, 754, 893 ], [ 161, 197, 214, 878 ], [ 161, 207, 506, 834 ], [ 161, 207, 613, 834 ], [ 161, 214, 219, 754 ], [ 161, 214, 754, 893 ], [ 161, 296, 410, 610 ], [ 161, 296, 450, 610 ], [ 161, 410, 450, 610 ], [ 161, 506, 613, 834 ], [ 164, 197, 214, 325 ], [ 164, 197, 325, 342 ], [ 164, 197, 601, 873 ], [ 164, 197, 684, 873 ], [ 164, 211, 230, 790 ], [ 164, 214, 219, 340 ], [ 164, 214, 219, 754 ], [ 164, 214, 325, 614 ], [ 164, 214, 754, 893 ], [ 164, 325, 342, 827 ], [ 164, 601, 684, 873 ], [ 165, 444, 461, 744 ], [ 165, 444, 744, 842 ], [ 167, 412, 941, 959 ], [ 170, 448, 553, 824 ], [ 174, 358, 557, 641 ], [ 174, 557, 641, 924 ], [ 175, 474, 697, 942 ], [ 176, 263, 469, 738 ], [ 178, 238, 311, 351 ], [ 178, 238, 351, 629 ], [ 178, 311, 351, 538 ], [ 181, 196, 317, 502 ], [ 181, 196, 317, 735 ], [ 181, 196, 363, 771 ], [ 181, 196, 363, 902 ], [ 182, 222, 258, 434 ], [ 182, 222, 434, 579 ], [ 182, 222, 548, 634 ], [ 182, 258, 434, 665 ], [ 182, 434, 665, 807 ], [ 182, 519, 598, 737 ], [ 188, 285, 411, 705 ], [ 188, 411, 705, 883 ], [ 196, 317, 384, 436 ], [ 196, 384, 436, 732 ], [ 196, 436, 732, 929 ], [ 197, 214, 325, 927 ], [ 197, 601, 684, 873 ], [ 205, 231, 400, 724 ], [ 205, 400, 724, 778 ], [ 206, 215, 435, 717 ], [ 206, 518, 529, 722 ], [ 206, 518, 722, 741 ], [ 206, 518, 741, 921 ], [ 206, 529, 531, 774 ], [ 206, 529, 722, 819 ], [ 207, 506, 613, 834 ], [ 213, 692, 708, 740 ], [ 213, 692, 740, 785 ], [ 214, 219, 340, 431 ], [ 214, 219, 431, 686 ], [ 214, 219, 543, 686 ], [ 214, 325, 614, 731 ], [ 214, 431, 543, 578 ], [ 214, 431, 543, 945 ], [ 214, 431, 686, 945 ], [ 214, 543, 686, 945 ], [ 215, 435, 717, 723 ], [ 216, 306, 677, 846 ], [ 219, 431, 543, 686 ], [ 226, 331, 672, 815 ], [ 231, 400, 724, 739 ], [ 234, 343, 368, 714 ], [ 236, 438, 536, 631 ], [ 243, 334, 408, 472 ], [ 249, 715, 872, 986 ], [ 251, 567, 838, 865 ], [ 272, 608, 786, 825 ], [ 286, 470, 646, 884 ], [ 289, 484, 655, 930 ], [ 289, 484, 930, 996 ], [ 290, 581, 694, 752 ], [ 296, 410, 450, 595 ], [ 296, 410, 450, 610 ], [ 300, 572, 593, 661 ], [ 301, 467, 500, 746 ], [ 301, 467, 696, 797 ], [ 301, 467, 729, 797 ], [ 301, 696, 729, 797 ], [ 302, 328, 523, 654 ], [ 302, 523, 799, 957 ], [ 309, 347, 475, 997 ], [ 310, 320, 417, 492 ], [ 310, 320, 417, 642 ], [ 310, 320, 596, 642 ], [ 310, 417, 596, 642 ], [ 316, 319, 330, 794 ], [ 320, 417, 596, 642 ], [ 328, 523, 654, 818 ], [ 337, 399, 513, 783 ], [ 337, 497, 509, 753 ], [ 371, 395, 663, 669 ], [ 371, 395, 669, 1000 ], [ 379, 451, 456, 559 ], [ 381, 396, 574, 688 ], [ 396, 574, 688, 760 ], [ 431, 543, 686, 945 ], [ 443, 560, 648, 747 ], [ 467, 500, 746, 864 ], [ 467, 696, 729, 797 ], [ 495, 565, 882, 984 ], [ 511, 712, 750, 860 ], [ 511, 712, 780, 860 ], [ 511, 750, 780, 860 ], [ 524, 594, 668, 810 ], [ 524, 594, 810, 981 ], [ 529, 531, 774, 855 ], [ 547, 636, 718, 762 ], [ 555, 571, 748, 782 ], [ 555, 748, 782, 963 ], [ 555, 748, 963, 989 ], [ 560, 648, 747, 920 ], [ 594, 668, 810, 911 ], [ 712, 750, 780, 860 ] ];