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