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