print "Simple group TITS represented as a permutation group of degree 1600.";
print "We have three permutations x, y, z, where:";
print "TITS = <x, y, z> = <y, z>,";
print "N = <x, y> is a Sylow-5-normalizer of";
print "S = <s=(u^2*v)^2, t=(u*v^2)^2>, a Sylow-5-subgroup of TITS.";
print "Order: 17,971,200 = 2^11 * 3^3 * 5^2 * 13;  Base: 1,2,3.";
print "Group: G";
/*
C: Holger W. Gollan, Institute for Experimental Mathematics,
    University of Essen, D-4300 Essen 12, FRG,
    E-mail: MAT422 at DE0HRZ1A.BITNET
*/

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

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

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