G:= PermutationGroup<1344 | \[ 1, 4, 6, 2, 7, 3, 5, 14, 9, 17, 11, 19, 21, 8, 15, 24, 10, 27, 12, 20, 13, 22, 33, 16, 36, 37, 18, 41, 29, 43, 44, 46, 23, 34, 51, 25, 26, 38, 57, 40, 28, 62, 30, 31, 45, 32, 68, 69, 49, 72, 35, 76, 74, 78, 55, 81, 39, 84, 86, 88, 83, 42, 63, 92, 65, 95, 67, 47, 48, 101, 103, 50, 73, 53, 108, 52, 112, 54, 114, 115, 56, 119, 61, 58, 124, 59, 87, 60, 89, 128, 130, 64, 133, 135, 66, 137, 139, 98, 136, 132, 70, 146, 71, 149, 105, 106, 151, 75, 154, 153, 157, 77, 161, 79, 80, 116, 167, 118, 82, 171, 173, 175, 170, 85, 125, 181, 183, 90, 185, 91, 189, 100, 93, 193, 94, 99, 96, 138, 97, 140, 200, 202, 191, 205, 190, 102, 147, 211, 104, 215, 107, 152, 110, 109, 219, 220, 111, 224, 222, 160, 113, 162, 228, 231, 165, 166, 117, 235, 237, 123, 120, 241, 121, 174, 122, 245, 247, 178, 244, 251, 126, 182, 127, 184, 129, 186, 256, 188, 131, 145, 143, 261, 134, 194, 195, 265, 197, 198, 199, 141, 270, 142, 273, 274, 144, 277, 279, 281, 276, 257, 148, 212, 284, 287, 150, 216, 292, 294, 155, 156, 300, 159, 302, 158, 306, 307, 309, 163, 229, 230, 164, 232, 316, 317, 168, 320, 169, 322, 323, 324, 172, 242, 329, 179, 176, 334, 177, 337, 338, 340, 180, 252, 345, 254, 255, 187, 210, 349, 348, 352, 192, 356, 354, 359, 196, 266, 363, 365, 269, 201, 361, 369, 203, 204, 375, 209, 206, 380, 207, 382, 208, 282, 385, 213, 285, 389, 214, 391, 392, 290, 395, 217, 398, 218, 401, 399, 297, 405, 397, 221, 409, 223, 303, 411, 415, 225, 226, 308, 227, 422, 311, 424, 426, 314, 428, 233, 234, 432, 431, 236, 321, 238, 239, 240, 441, 326, 440, 444, 243, 330, 447, 449, 445, 246, 374, 452, 248, 249, 458, 250, 341, 342, 462, 464, 253, 467, 347, 259, 258, 471, 472, 260, 474, 263, 476, 262, 480, 481, 264, 360, 271, 362, 267, 488, 268, 489, 490, 368, 272, 494, 492, 496, 373, 335, 275, 498, 500, 502, 497, 278, 506, 280, 383, 510, 283, 386, 513, 388, 286, 516, 288, 289, 519, 520, 291, 396, 299, 293, 296, 525, 295, 402, 529, 531, 298, 406, 534, 454, 301, 537, 304, 412, 413, 414, 305, 539, 542, 418, 536, 420, 547, 310, 423, 312, 552, 313, 427, 315, 429, 430, 319, 318, 561, 434, 564, 560, 557, 565, 566, 327, 325, 571, 573, 328, 333, 446, 331, 578, 332, 581, 580, 336, 453, 408, 586, 588, 457, 339, 577, 460, 594, 343, 595, 344, 597, 466, 346, 468, 600, 601, 350, 351, 605, 353, 607, 355, 609, 521, 612, 357, 358, 482, 483, 618, 485, 619, 487, 364, 366, 367, 624, 371, 626, 370, 495, 372, 379, 376, 499, 377, 631, 378, 634, 636, 633, 381, 640, 638, 509, 384, 616, 512, 387, 514, 646, 390, 649, 648, 393, 394, 478, 523, 522, 592, 400, 656, 654, 528, 403, 530, 404, 637, 533, 407, 664, 419, 410, 538, 416, 668, 541, 417, 543, 544, 568, 590, 421, 676, 675, 550, 551, 425, 680, 554, 555, 663, 437, 558, 685, 436, 433, 562, 688, 435, 438, 439, 690, 545, 569, 689, 442, 695, 443, 574, 575, 576, 459, 448, 697, 451, 450, 582, 583, 584, 702, 455, 703, 456, 705, 546, 591, 524, 593, 461, 463, 596, 465, 598, 711, 469, 470, 714, 704, 712, 473, 718, 475, 701, 477, 610, 723, 479, 726, 724, 615, 511, 617, 484, 486, 620, 732, 731, 684, 491, 625, 493, 737, 628, 709, 741, 501, 743, 505, 503, 635, 504, 532, 508, 750, 507, 641, 642, 643, 756, 645, 515, 647, 518, 517, 760, 721, 652, 763, 527, 764, 526, 767, 658, 659, 660, 748, 662, 556, 535, 665, 666, 667, 540, 766, 670, 775, 776, 707, 674, 549, 548, 677, 777, 679, 553, 681, 682, 771, 623, 559, 780, 687, 563, 570, 567, 787, 788, 789, 694, 572, 696, 579, 785, 699, 795, 608, 585, 587, 603, 589, 706, 673, 800, 629, 710, 599, 604, 713, 602, 799, 716, 806, 606, 719, 809, 651, 722, 611, 614, 813, 613, 727, 816, 729, 818, 622, 621, 733, 734, 823, 824, 627, 828, 829, 831, 630, 834, 632, 837, 839, 746, 836, 661, 749, 639, 846, 844, 753, 754, 755, 644, 851, 768, 759, 650, 761, 854, 653, 655, 857, 669, 657, 758, 862, 770, 683, 866, 868, 869, 671, 672, 678, 874, 875, 686, 878, 879, 783, 784, 698, 865, 691, 692, 693, 885, 805, 888, 889, 890, 700, 796, 892, 798, 715, 708, 896, 898, 899, 804, 791, 717, 902, 808, 720, 907, 909, 911, 725, 915, 913, 728, 817, 730, 919, 920, 922, 822, 735, 736, 926, 925, 927, 738, 739, 932, 740, 832, 935, 742, 938, 747, 744, 942, 745, 840, 944, 884, 946, 752, 948, 751, 950, 939, 849, 951, 757, 955, 853, 762, 956, 957, 765, 858, 961, 963, 965, 769, 968, 969, 786, 772, 974, 773, 774, 870, 871, 872, 873, 778, 779, 981, 980, 781, 782, 985, 881, 988, 989, 842, 790, 994, 995, 792, 793, 794, 891, 797, 1000, 894, 895, 801, 1003, 802, 803, 1006, 1007, 807, 1008, 1010, 1011, 1012, 810, 908, 811, 1017, 812, 912, 815, 1019, 814, 1022, 947, 1023, 819, 820, 933, 821, 1014, 949, 826, 825, 827, 1027, 1028, 1030, 931, 830, 921, 934, 833, 1036, 1038, 835, 848, 1042, 1041, 838, 943, 841, 993, 843, 917, 845, 924, 847, 850, 1055, 1053, 1057, 852, 855, 856, 1061, 959, 1062, 859, 962, 860, 1066, 861, 991, 1068, 863, 864, 1056, 971, 1073, 973, 867, 975, 1063, 1025, 978, 1080, 877, 876, 1082, 1081, 1009, 880, 986, 1085, 882, 883, 1088, 966, 1089, 945, 886, 887, 996, 1093, 1084, 999, 893, 1039, 1097, 897, 1098, 1005, 900, 901, 903, 984, 904, 905, 906, 1013, 923, 1015, 1103, 910, 1018, 914, 1107, 1110, 916, 918, 1115, 977, 1026, 928, 929, 1117, 930, 1120, 1078, 1033, 1119, 1035, 936, 1037, 937, 1001, 1054, 941, 940, 1132, 1044, 1045, 1131, 1135, 1136, 1137, 1050, 1138, 1139, 953, 1040, 952, 970, 954, 1058, 1059, 1147, 958, 960, 976, 1064, 1153, 964, 1067, 967, 1159, 1157, 1126, 1072, 972, 1074, 1075, 1164, 1163, 1032, 1079, 979, 983, 982, 1083, 998, 987, 1169, 1170, 990, 992, 1174, 1091, 1173, 997, 1094, 1102, 1096, 1002, 1004, 1099, 1180, 1182, 1095, 1016, 1186, 1184, 1106, 1020, 1114, 1109, 1021, 1193, 1191, 1113, 1108, 1024, 1116, 1029, 1158, 1034, 1031, 1121, 1122, 1202, 1124, 1145, 1071, 1127, 1141, 1129, 1204, 1046, 1043, 1133, 1209, 1047, 1048, 1049, 1051, 1052, 1214, 1128, 1215, 1143, 1144, 1125, 1146, 1060, 1217, 1149, 1150, 1219, 1221, 1065, 1155, 1154, 1224, 1070, 1118, 1069, 1160, 1161, 1162, 1077, 1076, 1165, 1230, 1232, 1168, 1086, 1087, 1234, 1185, 1092, 1090, 1175, 1237, 1177, 1178, 1179, 1100, 1218, 1101, 1183, 1105, 1172, 1104, 1187, 1188, 1196, 1240, 1112, 1242, 1111, 1194, 1223, 1189, 1213, 1212, 1241, 1200, 1226, 1123, 1203, 1130, 1254, 1216, 1207, 1253, 1134, 1210, 1211, 1198, 1197, 1140, 1142, 1206, 1148, 1181, 1151, 1220, 1152, 1266, 1195, 1156, 1228, 1201, 1227, 1225, 1236, 1166, 1271, 1167, 1233, 1171, 1238, 1229, 1176, 1235, 1239, 1190, 1199, 1192, 1281, 1279, 1245, 1246, 1247, 1285, 1249, 1278, 1256, 1290, 1208, 1205, 1255, 1251, 1257, 1258, 1259, 1260, 1261, 1269, 1263, 1264, 1270, 1222, 1267, 1268, 1262, 1265, 1231, 1272, 1273, 1274, 1305, 1276, 1277, 1250, 1244, 1307, 1243, 1282, 1310, 1311, 1248, 1286, 1304, 1288, 1289, 1252, 1291, 1292, 1316, 1294, 1295, 1302, 1300, 1298, 1299, 1297, 1301, 1296, 1303, 1287, 1275, 1306, 1280, 1321, 1309, 1283, 1284, 1312, 1313, 1324, 1325, 1293, 1326, 1327, 1319, 1320, 1308, 1322, 1323, 1314, 1315, 1317, 1318, 1331, 1329, 1330, 1328, 1332, 1333, 1337, 1338, 1340, 1334, 1335, 1339, 1336, 1341, 1342, 1343, 1344 ], \[ 364, 321, 224, 246, 313, 41, 233, 467, 2, 55, 401, 201, 120, 635, 641, 855, 278, 665, 10, 32, 184, 374, 143, 29, 387, 115, 206, 521, 16, 130, 103, 90, 325, 309, 225, 221, 359, 141, 12, 232, 650, 846, 135, 45, 562, 761, 19, 438, 217, 711, 138, 167, 216, 815, 22, 140, 772, 310, 672, 874, 773, 54, 256, 689, 85, 30, 117, 44, 1121, 228, 482, 545, 1101, 520, 843, 11, 307, 476, 910, 195, 267, 35, 257, 422, 887, 139, 497, 596, 9, 470, 82, 23, 736, 237, 744, 1018, 62, 955, 923, 116, 779, 98, 180, 1061, 392, 507, 367, 56, 1175, 647, 460, 466, 683, 283, 200, 194, 688, 514, 1231, 405, 691, 302, 658, 308, 402, 475, 769, 7, 212, 824, 471, 848, 126, 771, 102, 28, 234, 129, 1, 444, 353, 781, 804, 776, 847, 284, 469, 64, 147, 104, 326, 981, 542, 970, 919, 962, 211, 793, 700, 279, 47, 1001, 924, 499, 25, 42, 1140, 763, 268, 884, 841, 1041, 5, 536, 786, 1205, 312, 434, 669, 652, 373, 337, 361, 380, 108, 96, 350, 588, 698, 146, 366, 1119, 61, 557, 236, 735, 1006, 48, 238, 585, 389, 188, 1070, 1116, 1193, 1189, 78, 782, 478, 742, 357, 491, 220, 376, 838, 183, 517, 83, 79, 524, 528, 1022, 533, 674, 1170, 459, 124, 798, 75, 827, 36, 170, 716, 67, 176, 509, 3, 947, 819, 1058, 173, 132, 160, 172, 774, 408, 886, 332, 33, 343, 131, 503, 543, 346, 128, 14, 266, 729, 199, 823, 424, 463, 1079, 706, 94, 822, 451, 151, 842, 944, 558, 587, 136, 762, 190, 258, 644, 676, 686, 870, 602, 642, 510, 429, 73, 26, 93, 421, 525, 704, 99, 496, 446, 68, 163, 243, 986, 663, 738, 1078, 677, 13, 538, 244, 818, 448, 707, 213, 396, 86, 722, 795, 586, 15, 860, 684, 433, 597, 203, 758, 623, 165, 58, 74, 655, 1303, 426, 808, 404, 889, 794, 227, 792, 654, 155, 835, 118, 112, 601, 583, 544, 799, 925, 20, 604, 487, 87, 952, 70, 271, 866, 91, 631, 1039, 378, 263, 973, 1243, 640, 565, 624, 214, 831, 963, 95, 166, 196, 265, 186, 358, 1261, 1090, 318, 997, 1123, 1290, 290, 1102, 1286, 996, 192, 259, 21, 547, 916, 1125, 1093, 148, 406, 1272, 193, 1183, 628, 501, 805, 561, 1096, 600, 673, 570, 861, 670, 291, 1008, 840, 1212, 427, 751, 1166, 605, 245, 490, 305, 659, 708, 868, 764, 1065, 1075, 617, 526, 945, 327, 384, 264, 527, 229, 897, 65, 37, 174, 610, 398, 317, 879, 322, 345, 572, 662, 253, 218, 207, 179, 339, 355, 156, 52, 329, 282, 1095, 974, 60, 959, 780, 908, 168, 458, 787, 759, 301, 613, 125, 425, 856, 1163, 830, 18, 530, 852, 285, 904, 31, 472, 1190, 717, 38, 714, 516, 809, 678, 618, 209, 465, 817, 741, 286, 813, 896, 292, 550, 784, 320, 594, 162, 929, 202, 725, 76, 821, 187, 872, 726, 63, 289, 191, 134, 1174, 537, 878, 261, 43, 551, 901, 109, 210, 204, 733, 152, 69, 150, 982, 423, 127, 154, 77, 969, 701, 956, 802, 789, 371, 24, 1168, 937, 454, 456, 239, 987, 494, 785, 755, 177, 352, 859, 328, 330, 867, 383, 1080, 250, 749, 461, 107, 692, 171, 1161, 316, 468, 145, 575, 272, 783, 287, 331, 430, 1104, 1064, 576, 50, 1296, 943, 983, 653, 958, 288, 381, 1029, 577, 552, 797, 718, 500, 34, 27, 1295, 488, 297, 912, 303, 276, 226, 1282, 105, 606, 484, 1092, 372, 1179, 1227, 453, 1283, 950, 921, 702, 144, 1028, 473, 942, 447, 1046, 1040, 1143, 407, 900, 1091, 964, 334, 715, 298, 486, 137, 814, 142, 546, 719, 80, 980, 939, 100, 410, 1088, 954, 382, 657, 1099, 615, 1127, 1082, 989, 807, 695, 182, 251, 876, 851, 370, 348, 723, 648, 1306, 619, 748, 1049, 971, 539, 864, 412, 1215, 581, 273, 801, 556, 4, 455, 435, 767, 534, 8, 164, 529, 480, 1077, 651, 1133, 411, 549, 413, 906, 493, 690, 53, 569, 436, 902, 1152, 420, 489, 495, 593, 1242, 1106, 40, 1124, 949, 157, 277, 1281, 1323, 262, 880, 933, 333, 1100, 149, 464, 518, 479, 625, 360, 481, 46, 523, 825, 169, 72, 638, 1009, 1026, 122, 894, 1013, 548, 428, 89, 1171, 197, 917, 1259, 720, 92, 255, 853, 485, 627, 948, 918, 395, 979, 871, 920, 390, 1182, 1336, 1322, 1014, 1180, 1257, 1003, 632, 270, 1048, 1144, 1036, 777, 477, 254, 1071, 680, 274, 356, 589, 397, 205, 57, 275, 1222, 616, 914, 338, 1103, 532, 694, 110, 1287, 566, 649, 230, 731, 599, 504, 1320, 181, 235, 189, 440, 535, 573, 248, 1120, 1196, 66, 922, 936, 1142, 457, 71, 515, 584, 734, 409, 820, 746, 883, 750, 567, 241, 1160, 991, 1052, 377, 740, 972, 6, 660, 513, 1085, 643, 439, 960, 1111, 1035, 675, 324, 362, 106, 1263, 760, 1148, 810, 1155, 39, 854, 1054, 682, 951, 603, 340, 1112, 158, 1005, 111, 1219, 1057, 743, 242, 1059, 1229, 403, 834, 699, 1203, 693, 1211, 1216, 1068, 580, 770, 1012, 927, 892, 737, 754, 1137, 1062, 1045, 998, 993, 1270, 121, 899, 178, 531, 375, 315, 811, 862, 419, 844, 119, 1298, 344, 938, 633, 293, 833, 431, 1234, 341, 999, 541, 934, 59, 1114, 386, 363, 416, 994, 732, 17, 626, 984, 1262, 474, 1156, 1086, 198, 1289, 1060, 113, 941, 668, 1325, 1138, 1278, 905, 931, 1297, 903, 1017, 97, 1004, 1314, 975, 437, 123, 450, 349, 311, 1284, 391, 1055, 1025, 1154, 252, 622, 1214, 1110, 1258, 1149, 1249, 966, 598, 608, 1228, 560, 1069, 299, 564, 1146, 713, 630, 967, 84, 898, 269, 968, 161, 1226, 1194, 452, 418, 666, 656, 554, 1309, 81, 869, 351, 385, 857, 990, 1113, 1233, 646, 1269, 756, 620, 775, 1030, 1247, 1010, 432, 1135, 1285, 506, 1056, 1051, 1169, 591, 612, 1224, 1016, 1237, 336, 365, 645, 1254, 568, 1275, 153, 1232, 281, 1034, 563, 400, 342, 766, 522, 319, 946, 88, 559, 505, 1153, 449, 1329, 1304, 995, 393, 1066, 294, 1199, 1185, 595, 295, 462, 757, 512, 806, 1200, 1271, 893, 778, 1317, 417, 571, 607, 687, 865, 49, 1177, 724, 1245, 621, 712, 1204, 696, 800, 637, 306, 1316, 175, 114, 1147, 953, 1165, 877, 368, 828, 639, 839, 1248, 935, 445, 911, 739, 885, 159, 1178, 1073, 280, 703, 661, 826, 1094, 875, 508, 710, 1047, 727, 314, 1246, 1230, 909, 300, 208, 932, 1164, 1255, 812, 590, 913, 222, 579, 1130, 664, 709, 442, 1074, 634, 1220, 498, 788, 1081, 895, 930, 837, 1187, 1276, 247, 1131, 609, 915, 185, 1043, 1235, 323, 51, 231, 1115, 858, 582, 1252, 1023, 790, 441, 1000, 1157, 614, 845, 133, 1209, 1208, 1277, 379, 1184, 1176, 483, 388, 492, 791, 1253, 1188, 728, 681, 443, 796, 1315, 1002, 414, 1201, 976, 553, 1050, 1305, 1299, 836, 1024, 1097, 1223, 555, 592, 1210, 965, 1107, 399, 1217, 1139, 940, 574, 519, 260, 888, 1019, 1268, 1053, 249, 850, 394, 1150, 1158, 335, 1186, 1318, 1274, 1225, 881, 296, 1173, 1128, 1129, 1240, 667, 1244, 671, 1267, 1260, 219, 1344, 1241, 747, 890, 1302, 1063, 1326, 1105, 611, 1335, 1145, 101, 679, 1007, 961, 1172, 1072, 730, 832, 1037, 1338, 1293, 240, 1206, 1330, 816, 223, 540, 1011, 1167, 347, 1288, 1213, 304, 978, 992, 1067, 1195, 863, 1218, 1134, 1044, 803, 215, 1198, 1020, 1122, 1280, 752, 1264, 1038, 1221, 977, 369, 745, 1266, 907, 1098, 1141, 1207, 502, 685, 753, 1339, 1031, 1117, 1337, 1300, 636, 1162, 926, 578, 891, 882, 1181, 829, 1132, 1021, 1118, 1202, 1312, 1265, 1313, 1015, 697, 1279, 1321, 1236, 1291, 1331, 511, 1151, 1294, 1109, 1307, 1126, 1136, 415, 1027, 985, 1273, 1333, 957, 1319, 768, 705, 354, 1197, 1108, 721, 1256, 1239, 873, 1192, 1032, 1087, 1341, 849, 1238, 1340, 928, 1083, 1076, 1311, 1310, 1334, 988, 1292, 1159, 629, 1332, 1327, 1042, 765, 1301, 1328, 1250, 1343, 1033, 1089, 1342, 1251, 1308, 1324, 1191, 1084 ]>; size:= 13063680; name:= "2.U4(3).2_2"; compfactor:= < 10, 3, 3 >; M:= 2; A:= 2;