N:=PermutationGroup<693 | \[ 641, 41, 289, 426, 89, 120, 295, 56, 358, 121, 575, 151, 653, 453, 205, 665, 318, 532, 351, 600, 609, 33, 215, 51, 459, 83, 199, 67, 22, 643, 427, 193, 159, 91, 383, 127, 101, 621, 674, 11, 69, 381, 236, 379, 441, 363, 415, 416, 184, 375, 203, 15, 302, 301, 566, 148, 212, 182, 597, 135, 16, 136, 293, 403, 438, 116, 514, 254, 255, 164, 49, 253, 414, 263, 158, 650, 410, 128, 232, 412, 591, 669, 249, 659, 213, 306, 106, 248, 231, 256, 376, 52, 451, 258, 70, 126, 345, 616, 291, 251, 316, 468, 211, 354, 82, 343, 487, 10, 92, 521, 690, 447, 465, 133, 594, 461, 201, 642, 670, 18, 78, 681, 387, 96, 43, 100, 541, 583, 279, 657, 355, 561, 606, 12, 160, 425, 341, 691, 228, 565, 472, 634, 582, 509, 344, 436, 562, 367, 311, 567, 288, 104, 286, 25, 454, 204, 386, 325, 317, 36, 140, 430, 629, 371, 53, 3, 110, 111, 662, 339, 142, 13, 592, 590, 685, 607, 39, 462, 21, 494, 495, 397, 307, 283, 261, 362, 421, 174, 372, 187, 233, 155, 153, 123, 208, 259, 498, 206, 480, 619, 34, 290, 169, 95, 369, 260, 319, 55, 64, 598, 527, 107, 500, 599, 61, 576, 658, 44, 396, 177, 333, 456, 200, 99, 122, 94, 214, 50, 353, 557, 222, 4, 47, 239, 75, 497, 491, 20, 27, 312, 496, 534, 601, 59, 280, 408, 637, 499, 118, 219, 577, 684, 130, 40, 526, 188, 482, 196, 389, 287, 230, 352, 335, 579, 613, 245, 191, 161, 185, 240, 102, 675, 265, 474, 660, 520, 347, 65, 428, 181, 24, 390, 636, 651, 45, 388, 460, 463, 77, 394, 639, 395, 168, 373, 298, 676, 29, 533, 666, 80, 479, 531, 217, 627, 608, 48, 131, 157, 57, 262, 348, 270, 210, 683, 611, 516, 510, 244, 179, 554, 693, 450, 558, 612, 481, 551, 134, 380, 84, 568, 515, 139, 209, 146, 272, 564, 409, 400, 457, 166, 7, 448, 93, 444, 292, 584, 671, 149, 549, 257, 505, 507, 485, 81, 313, 314, 439, 644, 223, 667, 268, 620, 605, 162, 273, 602, 385, 524, 663, 603, 589, 648, 475, 464, 525, 523, 626, 342, 640, 588, 226, 310, 225, 432, 538, 103, 154, 98, 506, 192, 552, 404, 46, 484, 622, 407, 488, 86, 73, 129, 384, 476, 324, 300, 137, 183, 585, 493, 615, 458, 74, 308, 646, 391, 378, 477, 282, 530, 243, 364, 617, 281, 528, 486, 555, 328, 544, 431, 31, 105, 543, 186, 14, 284, 654, 492, 266, 677, 68, 330, 356, 470, 625, 661, 406, 132, 241, 58, 247, 113, 269, 556, 194, 417, 630, 72, 150, 178, 687, 435, 649, 275, 399, 115, 171, 38, 340, 9, 202, 535, 508, 548, 517, 633, 197, 235, 195, 114, 175, 338, 469, 19, 610, 402, 35, 28, 170, 267, 108, 423, 573, 540, 346, 147, 37, 550, 401, 285, 143, 138, 664, 125, 42, 165, 350, 349, 539, 572, 405, 440, 278, 536, 32, 198, 593, 647, 513, 71, 299, 144, 30, 294, 377, 220, 382, 216, 618, 62, 546, 586, 604, 635, 596, 321, 652, 471, 437, 466, 332, 668, 304, 327, 234, 360, 331, 97, 359, 90, 503, 322, 119, 542, 124, 559, 688, 473, 413, 54, 366, 545, 227, 315, 502, 309, 420, 631, 336, 686, 17, 237, 2, 553, 60, 1, 442, 443, 512, 357, 88, 656, 483, 246, 303, 264, 323, 66, 79, 145, 320, 365, 529, 560, 63, 167, 518, 276, 569, 189, 446, 274, 628, 156, 433, 673, 176, 337, 393, 5, 679, 6, 334, 547, 141, 398, 85, 452, 252, 392, 221, 563, 277, 152, 645, 672, 501, 419, 570, 117, 172, 692, 614, 489, 224, 112, 655, 511, 623, 455, 76, 296, 574, 504, 434, 368, 422, 87, 537, 445, 163, 238, 374, 578, 418, 424, 329, 689, 678, 680, 581, 467, 587, 449, 519, 571, 638, 624, 429, 180, 361, 490, 8, 109, 26, 271, 411, 218, 595, 305, 207, 632, 242, 297, 522, 190, 250, 682, 370, 326, 23, 173, 478, 580, 229 ], \[ 1, 409, 467, 327, 545, 4, 222, 50, 375, 322, 595, 354, 406, 370, 24, 23, 349, 52, 132, 347, 94, 235, 423, 191, 123, 451, 211, 407, 471, 416, 311, 550, 75, 5, 35, 10, 221, 337, 633, 291, 65, 59, 96, 197, 296, 675, 105, 374, 68, 220, 79, 12, 493, 619, 95, 76, 499, 51, 42, 517, 147, 490, 331, 280, 367, 246, 175, 615, 99, 156, 39, 231, 426, 257, 401, 571, 464, 32, 430, 604, 162, 152, 392, 488, 385, 660, 57, 116, 305, 141, 144, 84, 504, 17, 115, 186, 669, 135, 535, 22, 28, 677, 129, 73, 369, 530, 80, 570, 82, 602, 89, 121, 473, 254, 651, 413, 243, 143, 90, 97, 489, 229, 14, 432, 325, 29, 153, 60, 261, 91, 163, 607, 102, 519, 491, 580, 117, 177, 625, 232, 180, 573, 239, 596, 203, 472, 668, 71, 429, 106, 587, 169, 513, 194, 282, 340, 309, 384, 553, 113, 591, 380, 584, 77, 210, 631, 166, 520, 109, 408, 450, 527, 34, 688, 67, 446, 511, 204, 226, 119, 198, 463, 53, 69, 234, 402, 314, 61, 400, 475, 391, 417, 237, 433, 48, 679, 44, 181, 93, 250, 515, 620, 529, 86, 161, 54, 259, 167, 585, 564, 586, 131, 501, 350, 265, 518, 388, 356, 424, 606, 37, 628, 323, 443, 225, 179, 46, 538, 122, 567, 276, 655, 635, 346, 330, 126, 304, 674, 372, 31, 36, 485, 592, 196, 359, 336, 292, 339, 307, 200, 563, 45, 405, 139, 228, 315, 599, 318, 207, 396, 531, 40, 176, 642, 670, 333, 449, 666, 461, 544, 85, 393, 455, 11, 195, 560, 224, 576, 582, 435, 299, 155, 671, 30, 617, 108, 266, 233, 559, 33, 524, 151, 601, 252, 111, 294, 536, 376, 364, 150, 612, 87, 78, 634, 295, 614, 457, 13, 269, 271, 360, 667, 673, 187, 528, 460, 124, 258, 389, 164, 383, 241, 514, 219, 682, 215, 397, 361, 663, 100, 377, 470, 479, 562, 19, 445, 216, 183, 598, 434, 509, 659, 279, 565, 281, 418, 438, 427, 21, 411, 272, 526, 353, 18, 27, 190, 474, 691, 245, 240, 267, 476, 214, 345, 436, 284, 478, 20, 610, 25, 477, 118, 684, 275, 357, 201, 456, 134, 498, 581, 319, 277, 321, 577, 310, 249, 453, 465, 597, 454, 15, 543, 561, 159, 483, 260, 6, 589, 546, 404, 290, 43, 647, 649, 593, 431, 547, 26, 442, 306, 363, 199, 480, 342, 645, 366, 192, 185, 523, 92, 683, 104, 492, 495, 494, 422, 312, 313, 270, 58, 308, 512, 687, 70, 685, 555, 486, 368, 278, 469, 676, 525, 382, 120, 66, 482, 142, 268, 328, 627, 170, 128, 603, 390, 334, 63, 386, 289, 387, 316, 157, 110, 672, 320, 632, 636, 371, 639, 362, 238, 236, 656, 541, 9, 218, 440, 3, 41, 287, 88, 297, 263, 624, 125, 242, 437, 557, 420, 556, 638, 496, 16, 338, 630, 324, 98, 202, 421, 302, 578, 283, 158, 244, 412, 227, 569, 56, 497, 608, 481, 575, 317, 658, 516, 298, 223, 452, 38, 662, 419, 594, 640, 168, 262, 2, 500, 487, 590, 542, 300, 103, 448, 7, 534, 184, 510, 206, 600, 358, 146, 160, 145, 646, 149, 173, 329, 101, 62, 609, 303, 611, 395, 686, 462, 613, 112, 172, 654, 566, 72, 351, 273, 572, 618, 415, 458, 264, 251, 506, 616, 507, 568, 680, 574, 138, 650, 502, 352, 428, 174, 81, 629, 171, 212, 209, 355, 247, 288, 521, 256, 637, 137, 678, 398, 664, 130, 381, 653, 605, 255, 657, 554, 459, 648, 74, 8, 335, 626, 549, 47, 689, 301, 365, 643, 644, 286, 285, 165, 537, 508, 539, 140, 182, 552, 114, 341, 583, 533, 343, 665, 208, 217, 148, 193, 588, 468, 205, 548, 466, 522, 641, 230, 410, 49, 344, 83, 403, 107, 189, 439, 55, 133, 248, 558, 622, 540, 690, 127, 661, 178, 414, 378, 399, 274, 425, 532, 348, 188, 444, 326, 213, 623, 579, 332, 505, 441, 652, 253, 503, 447, 681, 484, 379, 373, 64, 394, 154, 136, 692, 293, 621, 551, 693 ], \[ 1, 40, 95, 448, 168, 391, 419, 644, 535, 634, 443, 610, 129, 123, 397, 119, 207, 542, 363, 511, 59, 317, 334, 399, 370, 212, 653, 403, 502, 320, 31, 78, 43, 173, 229, 241, 280, 69, 671, 358, 8, 349, 401, 296, 314, 482, 52, 458, 606, 478, 420, 622, 27, 316, 651, 625, 504, 444, 17, 388, 436, 61, 91, 260, 500, 457, 424, 468, 575, 275, 600, 298, 637, 561, 481, 310, 164, 447, 378, 598, 4, 24, 279, 161, 375, 77, 579, 261, 137, 492, 295, 58, 404, 259, 643, 290, 588, 627, 518, 484, 250, 442, 451, 79, 659, 618, 53, 286, 292, 371, 130, 658, 160, 507, 477, 239, 111, 431, 273, 430, 98, 35, 25, 100, 330, 577, 556, 452, 165, 596, 408, 411, 278, 51, 112, 90, 377, 184, 138, 18, 688, 303, 210, 456, 354, 630, 548, 524, 270, 13, 169, 666, 583, 687, 282, 521, 343, 126, 440, 616, 662, 329, 564, 284, 150, 416, 208, 523, 162, 531, 127, 57, 678, 423, 54, 505, 254, 631, 679, 141, 266, 299, 582, 474, 246, 563, 252, 668, 527, 640, 109, 417, 36, 154, 434, 506, 294, 28, 249, 547, 341, 512, 414, 178, 104, 359, 21, 660, 619, 103, 183, 116, 71, 335, 326, 385, 322, 617, 245, 277, 223, 7, 486, 50, 485, 503, 263, 650, 534, 493, 690, 345, 426, 172, 124, 686, 465, 352, 26, 311, 632, 225, 144, 179, 537, 189, 327, 355, 487, 479, 536, 44, 545, 216, 148, 670, 393, 381, 94, 514, 308, 633, 227, 269, 425, 558, 232, 6, 80, 149, 56, 599, 562, 65, 398, 231, 526, 291, 461, 301, 140, 155, 409, 86, 475, 541, 200, 120, 195, 402, 525, 344, 72, 197, 305, 187, 33, 601, 529, 413, 323, 336, 473, 517, 63, 110, 412, 372, 586, 337, 240, 348, 346, 45, 256, 495, 497, 597, 318, 166, 681, 60, 37, 460, 202, 590, 581, 182, 151, 682, 89, 639, 198, 174, 214, 418, 438, 642, 629, 156, 657, 145, 248, 191, 369, 93, 9, 312, 42, 607, 605, 615, 321, 672, 157, 522, 271, 538, 324, 360, 203, 159, 19, 623, 62, 167, 664, 38, 267, 14, 467, 88, 683, 48, 20, 560, 331, 205, 684, 152, 258, 274, 353, 362, 177, 445, 459, 217, 549, 454, 645, 230, 257, 471, 519, 685, 587, 594, 532, 66, 297, 572, 333, 313, 253, 300, 181, 106, 228, 55, 132, 87, 584, 655, 380, 30, 192, 428, 593, 635, 676, 288, 23, 209, 665, 395, 427, 302, 429, 422, 163, 22, 194, 559, 221, 365, 516, 76, 255, 384, 498, 501, 466, 591, 499, 675, 570, 663, 105, 121, 143, 237, 387, 390, 180, 592, 673, 589, 603, 206, 567, 554, 449, 204, 128, 674, 306, 367, 394, 220, 553, 146, 573, 139, 285, 158, 462, 636, 647, 530, 251, 46, 73, 235, 693, 435, 649, 624, 171, 613, 153, 580, 648, 215, 175, 491, 432, 441, 557, 382, 621, 236, 226, 234, 176, 196, 99, 325, 376, 568, 85, 508, 135, 612, 201, 396, 10, 114, 233, 34, 566, 356, 533, 439, 133, 470, 185, 472, 328, 170, 480, 82, 5, 122, 571, 75, 585, 2, 213, 265, 550, 281, 604, 544, 628, 15, 654, 551, 389, 108, 692, 84, 469, 115, 188, 489, 386, 407, 289, 608, 74, 16, 510, 118, 247, 340, 83, 186, 244, 32, 347, 96, 142, 574, 368, 652, 476, 41, 307, 136, 565, 646, 496, 406, 219, 543, 546, 488, 374, 494, 92, 243, 222, 70, 238, 117, 609, 264, 272, 539, 293, 410, 453, 309, 351, 332, 350, 509, 319, 364, 638, 64, 611, 3, 595, 680, 190, 131, 67, 125, 102, 661, 12, 97, 357, 276, 450, 405, 338, 528, 464, 193, 677, 304, 134, 224, 669, 490, 49, 218, 641, 339, 614, 578, 268, 211, 101, 392, 199, 283, 602, 39, 107, 287, 361, 315, 515, 513, 463, 366, 47, 552, 81, 68, 540, 415, 667, 689, 483, 656, 576, 342, 400, 11, 446, 379, 691, 520, 569, 113, 383, 620, 373, 421, 437, 29, 433, 455, 555, 626, 262, 147, 242 ], \[ 1, 358, 120, 592, 182, 30, 145, 11, 9, 455, 8, 589, 114, 534, 111, 36, 252, 434, 19, 26, 296, 612, 217, 284, 35, 20, 539, 568, 206, 6, 31, 436, 287, 342, 25, 16, 484, 56, 576, 652, 41, 45, 198, 59, 42, 46, 253, 364, 199, 400, 410, 533, 133, 394, 73, 38, 595, 376, 44, 174, 680, 447, 344, 125, 428, 238, 502, 470, 368, 140, 107, 395, 55, 74, 647, 530, 532, 692, 690, 264, 91, 208, 213, 462, 116, 565, 189, 308, 546, 128, 81, 293, 557, 314, 552, 101, 626, 326, 165, 516, 96, 102, 103, 201, 559, 261, 71, 613, 295, 483, 15, 146, 551, 13, 662, 85, 415, 138, 452, 3, 472, 123, 122, 301, 64, 175, 265, 90, 511, 152, 372, 132, 53, 306, 215, 193, 380, 118, 480, 70, 304, 611, 143, 663, 7, 112, 616, 442, 149, 375, 416, 130, 540, 242, 155, 414, 157, 219, 359, 365, 614, 320, 474, 327, 99, 645, 247, 661, 178, 184, 670, 224, 369, 60, 126, 176, 177, 169, 617, 388, 290, 5, 598, 170, 307, 654, 207, 303, 87, 244, 456, 192, 136, 693, 463, 522, 349, 43, 49, 510, 104, 323, 374, 268, 276, 29, 187, 82, 686, 413, 582, 507, 83, 214, 135, 216, 23, 679, 158, 526, 330, 345, 432, 172, 687, 356, 227, 339, 370, 355, 488, 520, 601, 352, 685, 324, 580, 66, 518, 240, 492, 154, 292, 190, 469, 246, 167, 248, 274, 251, 250, 17, 47, 347, 255, 491, 257, 683, 294, 497, 106, 309, 263, 80, 127, 536, 419, 204, 646, 270, 625, 272, 632, 249, 449, 205, 367, 567, 525, 508, 289, 282, 338, 24, 503, 555, 33, 554, 281, 181, 653, 243, 92, 259, 109, 21, 403, 444, 405, 300, 124, 639, 188, 141, 448, 134, 185, 88, 262, 431, 311, 312, 445, 94, 556, 476, 435, 676, 379, 162, 459, 688, 202, 236, 437, 98, 164, 545, 464, 221, 666, 487, 563, 517, 335, 382, 531, 283, 228, 610, 624, 34, 648, 63, 222, 404, 254, 348, 197, 350, 351, 234, 387, 678, 230, 226, 575, 2, 159, 360, 566, 619, 363, 48, 160, 399, 277, 69, 173, 229, 420, 131, 389, 203, 150, 58, 397, 657, 319, 137, 441, 336, 453, 460, 535, 499, 353, 180, 373, 390, 631, 392, 393, 54, 72, 512, 377, 542, 366, 50, 547, 479, 297, 346, 299, 451, 481, 618, 586, 51, 411, 412, 210, 156, 117, 151, 417, 606, 267, 371, 597, 643, 634, 440, 496, 509, 427, 65, 429, 477, 310, 223, 485, 18, 317, 32, 325, 564, 621, 424, 381, 148, 443, 298, 313, 446, 62, 305, 275, 494, 406, 119, 383, 454, 10, 191, 636, 655, 321, 384, 600, 84, 195, 329, 562, 578, 637, 664, 245, 68, 585, 121, 490, 163, 506, 316, 430, 504, 402, 139, 407, 482, 110, 37, 433, 620, 332, 231, 665, 473, 256, 241, 493, 450, 553, 425, 260, 549, 386, 649, 501, 67, 285, 478, 505, 475, 212, 280, 426, 200, 129, 396, 528, 682, 588, 100, 334, 239, 560, 232, 623, 196, 529, 524, 279, 220, 527, 513, 523, 76, 337, 77, 52, 14, 385, 266, 577, 671, 27, 153, 638, 398, 677, 544, 328, 89, 401, 570, 498, 668, 113, 95, 495, 288, 286, 315, 93, 572, 105, 519, 561, 465, 333, 438, 86, 361, 278, 28, 640, 548, 571, 558, 689, 574, 357, 39, 537, 466, 579, 237, 660, 211, 656, 584, 471, 409, 596, 515, 12, 658, 608, 4, 672, 659, 57, 587, 421, 183, 599, 461, 233, 669, 681, 650, 605, 418, 607, 591, 684, 340, 142, 22, 108, 161, 673, 147, 179, 408, 362, 486, 439, 628, 521, 341, 271, 97, 630, 622, 691, 627, 391, 273, 642, 423, 651, 457, 467, 541, 302, 569, 641, 633, 422, 644, 166, 269, 75, 343, 500, 604, 635, 40, 291, 186, 458, 583, 378, 590, 594, 581, 168, 115, 144, 468, 489, 331, 667, 550, 602, 171, 538, 593, 615, 674, 675, 318, 543, 354, 218, 61, 603, 514, 258, 609, 235, 209, 225, 322, 573, 79, 629, 78, 194 ], \[ 1, 264, 72, 268, 289, 81, 566, 185, 103, 304, 307, 369, 99, 370, 327, 90, 59, 529, 19, 116, 207, 682, 174, 415, 123, 85, 539, 403, 159, 91, 31, 32, 510, 374, 122, 128, 323, 261, 211, 598, 246, 94, 563, 252, 314, 46, 449, 520, 336, 400, 488, 463, 213, 316, 276, 106, 595, 662, 17, 217, 365, 62, 320, 260, 487, 224, 619, 313, 88, 545, 107, 3, 205, 74, 402, 163, 130, 570, 669, 358, 6, 380, 133, 591, 26, 596, 466, 69, 660, 16, 30, 552, 367, 42, 293, 251, 635, 513, 13, 512, 250, 157, 9, 483, 661, 56, 71, 573, 151, 201, 164, 450, 113, 165, 376, 20, 284, 337, 136, 395, 135, 35, 25, 508, 497, 553, 489, 36, 507, 77, 357, 132, 83, 624, 121, 119, 208, 531, 480, 328, 455, 550, 571, 631, 361, 494, 147, 230, 149, 518, 109, 532, 153, 687, 155, 593, 102, 469, 29, 680, 444, 344, 76, 111, 114, 305, 377, 559, 191, 184, 171, 238, 589, 23, 495, 176, 300, 456, 679, 180, 407, 281, 652, 170, 8, 401, 296, 638, 578, 640, 169, 192, 452, 433, 533, 226, 294, 333, 382, 287, 110, 484, 342, 592, 73, 359, 21, 137, 424, 535, 39, 511, 53, 214, 472, 584, 60, 617, 245, 386, 435, 340, 486, 66, 242, 196, 227, 543, 534, 148, 410, 364, 422, 352, 325, 384, 632, 172, 375, 240, 465, 225, 464, 569, 219, 41, 397, 501, 500, 101, 96, 44, 275, 406, 493, 656, 257, 389, 349, 64, 38, 338, 263, 2, 665, 558, 623, 4, 538, 270, 618, 272, 580, 649, 253, 55, 557, 567, 525, 301, 182, 282, 309, 117, 475, 473, 200, 519, 5, 481, 461, 329, 95, 197, 416, 187, 568, 614, 542, 177, 280, 606, 541, 10, 166, 341, 11, 368, 283, 431, 311, 312, 68, 45, 315, 54, 330, 597, 609, 63, 681, 322, 37, 460, 235, 528, 15, 140, 292, 317, 366, 428, 198, 334, 335, 49, 118, 262, 677, 222, 306, 203, 621, 162, 610, 664, 451, 348, 259, 350, 351, 234, 383, 655, 442, 522, 131, 80, 206, 360, 145, 502, 363, 232, 61, 331, 93, 308, 12, 14, 515, 575, 683, 34, 239, 115, 167, 637, 684, 82, 549, 199, 353, 236, 413, 220, 453, 388, 258, 390, 663, 524, 393, 476, 120, 516, 247, 405, 666, 50, 186, 75, 28, 468, 398, 254, 181, 625, 604, 231, 411, 674, 385, 672, 24, 295, 417, 639, 521, 588, 676, 233, 423, 209, 425, 430, 427, 332, 429, 426, 310, 620, 194, 523, 221, 436, 685, 564, 648, 686, 498, 355, 579, 161, 470, 446, 447, 645, 47, 112, 347, 193, 387, 454, 141, 178, 636, 678, 603, 324, 291, 608, 52, 243, 241, 87, 657, 404, 158, 445, 577, 215, 286, 530, 285, 394, 509, 673, 647, 139, 290, 482, 104, 202, 693, 223, 65, 51, 127, 555, 583, 562, 255, 146, 175, 496, 125, 441, 526, 249, 248, 362, 506, 615, 505, 503, 129, 124, 477, 33, 212, 100, 98, 612, 371, 396, 517, 150, 288, 48, 419, 356, 434, 392, 279, 499, 644, 326, 18, 474, 138, 152, 195, 229, 210, 572, 585, 269, 27, 540, 303, 299, 228, 544, 70, 581, 654, 692, 381, 142, 551, 92, 126, 560, 490, 556, 277, 266, 168, 554, 561, 492, 43, 438, 587, 7, 278, 297, 244, 78, 143, 536, 108, 574, 372, 582, 471, 189, 443, 273, 546, 576, 491, 216, 537, 650, 565, 420, 173, 630, 84, 204, 156, 628, 57, 86, 318, 40, 599, 653, 643, 690, 459, 409, 605, 302, 607, 462, 319, 345, 668, 514, 689, 298, 504, 616, 218, 271, 67, 432, 343, 659, 267, 134, 408, 651, 658, 594, 633, 590, 144, 237, 629, 634, 97, 457, 378, 188, 418, 190, 641, 691, 601, 527, 448, 671, 479, 439, 274, 586, 626, 183, 600, 547, 354, 256, 467, 627, 622, 89, 105, 58, 391, 346, 265, 399, 667, 611, 79, 670, 646, 414, 478, 412, 675, 421, 339, 458, 179, 160, 321, 22, 373, 379, 437, 440, 154, 688, 613, 602, 642, 548, 485 ], \[ 1, 576, 462, 344, 253, 329, 520, 466, 177, 217, 578, 414, 116, 25, 666, 580, 17, 659, 19, 99, 21, 330, 455, 247, 14, 165, 279, 287, 440, 464, 31, 616, 568, 419, 534, 237, 437, 56, 358, 652, 443, 259, 186, 44, 294, 46, 182, 566, 65, 352, 637, 299, 83, 219, 306, 38, 457, 233, 59, 304, 692, 551, 592, 223, 49, 172, 460, 470, 625, 559, 278, 608, 134, 74, 290, 474, 660, 680, 588, 211, 292, 565, 53, 120, 114, 208, 185, 408, 130, 273, 243, 519, 557, 349, 554, 536, 104, 513, 20, 508, 266, 524, 300, 97, 140, 261, 567, 303, 663, 651, 331, 450, 447, 85, 643, 13, 377, 531, 136, 84, 658, 229, 370, 512, 432, 471, 491, 632, 239, 89, 372, 132, 213, 73, 627, 119, 596, 337, 310, 105, 174, 550, 584, 295, 232, 494, 436, 621, 149, 212, 391, 546, 556, 433, 155, 589, 392, 394, 686, 570, 430, 268, 530, 366, 26, 178, 284, 545, 645, 564, 496, 66, 593, 141, 585, 176, 9, 166, 179, 334, 647, 47, 598, 438, 87, 43, 187, 613, 307, 190, 448, 192, 452, 687, 398, 503, 314, 654, 428, 403, 626, 235, 623, 320, 624, 424, 207, 86, 359, 406, 80, 150, 133, 214, 630, 571, 10, 218, 54, 468, 612, 678, 64, 238, 693, 506, 227, 262, 122, 343, 657, 145, 58, 400, 202, 362, 36, 224, 129, 240, 465, 485, 91, 244, 316, 579, 24, 493, 302, 558, 572, 252, 5, 535, 501, 265, 257, 549, 42, 486, 106, 228, 263, 582, 256, 101, 342, 162, 646, 270, 368, 272, 90, 639, 289, 341, 367, 71, 27, 516, 449, 282, 677, 167, 522, 473, 28, 552, 275, 75, 600, 81, 560, 45, 144, 296, 510, 509, 52, 103, 396, 249, 108, 60, 456, 55, 189, 618, 339, 139, 311, 312, 445, 197, 540, 245, 682, 318, 319, 204, 383, 634, 685, 619, 484, 528, 399, 661, 6, 22, 111, 382, 547, 180, 335, 487, 138, 543, 309, 458, 276, 267, 230, 4, 354, 499, 385, 348, 94, 350, 351, 50, 681, 345, 648, 475, 575, 39, 209, 360, 364, 236, 363, 361, 548, 164, 277, 271, 672, 123, 602, 131, 441, 521, 507, 601, 117, 488, 379, 587, 389, 332, 321, 502, 347, 404, 603, 517, 381, 390, 151, 157, 393, 158, 591, 301, 415, 195, 327, 234, 563, 481, 200, 386, 533, 210, 479, 88, 691, 467, 411, 527, 451, 12, 397, 631, 417, 649, 34, 669, 421, 662, 688, 206, 670, 444, 427, 199, 429, 161, 480, 125, 154, 594, 514, 147, 37, 184, 442, 29, 373, 439, 41, 426, 313, 446, 113, 191, 281, 112, 413, 193, 459, 454, 23, 305, 57, 340, 453, 67, 653, 3, 542, 30, 241, 8, 410, 220, 476, 68, 126, 590, 286, 76, 356, 469, 614, 615, 407, 431, 402, 482, 635, 325, 242, 260, 336, 378, 583, 555, 127, 562, 248, 146, 537, 171, 620, 683, 346, 606, 255, 384, 196, 673, 505, 226, 375, 100, 298, 297, 518, 124, 98, 435, 690, 280, 388, 511, 92, 7, 374, 285, 628, 102, 539, 664, 412, 326, 622, 163, 118, 581, 405, 35, 254, 96, 495, 671, 525, 315, 573, 463, 338, 544, 168, 152, 333, 365, 258, 142, 62, 288, 577, 95, 490, 153, 93, 250, 70, 293, 561, 492, 401, 170, 82, 48, 107, 33, 569, 160, 216, 251, 541, 574, 357, 2, 553, 11, 246, 16, 532, 264, 489, 143, 175, 629, 380, 79, 156, 472, 395, 63, 173, 434, 636, 137, 597, 183, 599, 291, 376, 371, 387, 642, 605, 500, 607, 72, 609, 655, 668, 221, 188, 477, 478, 32, 617, 308, 324, 497, 148, 529, 203, 205, 69, 201, 135, 523, 586, 215, 416, 128, 650, 322, 483, 595, 51, 689, 274, 640, 641, 604, 115, 674, 169, 269, 181, 355, 418, 633, 110, 40, 461, 198, 610, 665, 231, 121, 18, 77, 328, 422, 109, 526, 656, 15, 667, 611, 420, 425, 538, 369, 504, 644, 675, 676, 283, 222, 679, 78, 353, 317, 498, 684, 323, 159, 194, 423, 638, 515, 409, 61, 225 ], \[ 1, 2, 422, 144, 529, 166, 672, 466, 571, 141, 578, 48, 99, 35, 596, 632, 296, 289, 19, 116, 252, 260, 60, 77, 534, 85, 71, 563, 324, 645, 31, 62, 547, 354, 14, 273, 124, 357, 39, 671, 644, 45, 403, 207, 42, 46, 628, 12, 487, 457, 651, 168, 291, 553, 669, 575, 352, 608, 187, 23, 160, 32, 109, 682, 336, 615, 686, 277, 69, 542, 27, 233, 602, 74, 250, 531, 24, 548, 276, 80, 305, 366, 600, 115, 26, 327, 185, 88, 397, 237, 448, 298, 445, 314, 161, 479, 231, 494, 13, 685, 402, 501, 143, 657, 195, 372, 539, 638, 63, 637, 587, 528, 147, 165, 84, 20, 152, 474, 465, 643, 630, 370, 229, 37, 514, 316, 665, 580, 375, 415, 261, 132, 653, 371, 590, 241, 666, 163, 170, 398, 10, 490, 103, 4, 593, 513, 113, 621, 149, 511, 320, 117, 425, 485, 155, 361, 248, 537, 460, 61, 95, 416, 138, 565, 114, 6, 581, 52, 464, 139, 315, 478, 232, 217, 476, 176, 216, 329, 640, 322, 572, 523, 269, 480, 87, 200, 59, 573, 307, 679, 243, 192, 492, 225, 105, 522, 349, 297, 332, 186, 378, 280, 458, 391, 690, 236, 44, 399, 502, 406, 211, 518, 461, 214, 658, 177, 174, 244, 577, 220, 620, 267, 317, 504, 194, 356, 227, 338, 123, 343, 97, 173, 72, 595, 516, 206, 90, 673, 507, 240, 136, 433, 191, 218, 471, 527, 660, 157, 500, 75, 647, 21, 622, 535, 524, 583, 257, 683, 294, 22, 131, 543, 263, 264, 489, 481, 222, 631, 183, 270, 271, 272, 36, 649, 659, 79, 68, 279, 278, 202, 434, 282, 339, 532, 503, 668, 401, 477, 18, 558, 53, 456, 444, 259, 344, 17, 198, 92, 545, 584, 484, 606, 689, 455, 81, 420, 189, 308, 677, 564, 311, 312, 557, 94, 171, 126, 223, 684, 421, 151, 453, 180, 508, 29, 396, 450, 86, 405, 178, 486, 380, 199, 568, 634, 335, 65, 530, 228, 283, 623, 588, 678, 230, 295, 419, 346, 385, 348, 197, 350, 351, 57, 603, 34, 648, 226, 38, 358, 384, 360, 156, 424, 363, 589, 680, 82, 470, 368, 520, 122, 134, 106, 389, 655, 129, 591, 546, 201, 597, 331, 441, 428, 459, 359, 347, 386, 681, 688, 373, 390, 204, 493, 393, 495, 601, 325, 89, 140, 208, 636, 287, 101, 43, 404, 328, 210, 536, 408, 604, 635, 411, 579, 451, 566, 130, 162, 417, 639, 345, 306, 319, 3, 517, 362, 153, 560, 427, 382, 429, 554, 438, 435, 242, 281, 432, 447, 512, 431, 442, 619, 381, 439, 674, 293, 93, 446, 436, 91, 594, 326, 413, 562, 321, 454, 304, 292, 50, 203, 383, 159, 213, 662, 559, 169, 119, 8, 483, 468, 585, 367, 245, 627, 611, 118, 506, 175, 288, 172, 96, 184, 266, 482, 467, 301, 154, 330, 49, 626, 265, 142, 656, 193, 392, 98, 394, 540, 612, 549, 499, 249, 102, 209, 285, 224, 505, 475, 239, 323, 519, 654, 150, 437, 146, 125, 624, 235, 423, 212, 509, 369, 610, 196, 182, 255, 567, 526, 246, 112, 5, 337, 76, 284, 661, 25, 254, 407, 158, 652, 107, 496, 613, 70, 262, 544, 299, 377, 33, 78, 498, 555, 616, 614, 54, 430, 550, 670, 313, 290, 463, 426, 561, 452, 28, 310, 164, 414, 525, 333, 617, 692, 9, 181, 188, 574, 56, 576, 219, 11, 412, 128, 167, 582, 256, 300, 469, 650, 111, 341, 364, 135, 376, 663, 145, 449, 234, 15, 379, 646, 599, 83, 395, 73, 353, 409, 605, 302, 607, 58, 676, 521, 473, 497, 541, 552, 66, 551, 569, 618, 440, 221, 148, 253, 340, 515, 625, 488, 472, 47, 633, 121, 268, 16, 629, 334, 410, 400, 110, 108, 418, 179, 641, 691, 120, 41, 30, 598, 251, 355, 274, 586, 51, 538, 133, 510, 374, 491, 104, 215, 275, 247, 533, 462, 592, 664, 127, 137, 667, 286, 55, 556, 40, 7, 238, 443, 675, 609, 309, 342, 190, 365, 387, 64, 258, 318, 100, 67, 693, 388, 303, 205, 642, 570, 687 ] /* order = 384 = 2^7 * 3 */ >; print("normalizer N of Sylow 2-subgroup P of 3.M22");