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