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