
print "Soluble group of degree 768.";
print "Order : 1,088,391,168 = 2^11 * 3^12. ";
print "Group: G";

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