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