
print "The simple group of Higman-Sims represented as a";
print "permutation group of degree 100. ";
print "Order: 44 352 000 = 2^9 * 3^2 * 5^3 * 7 * 11. ";
print "Base: 1, 2, 3, 4, 5, 6. ";
print "Group: G";

G := PermutationGroup<100 |
    \[    1,   8,   9,  10,  11,  12,   2,  13,  14,  15,  16,   3,
17,  18,  19,   4,  20,  21,   5,  22,   6,   7,  23,  77,  92,  41,  55,
65,  69,  39,  93,  53,  37,  94,  67,  57,  58,  75,  42,  24,  70,  81,
78,  73,  27,  84,  95,  68,  88,  31,  96,  54,  85,  63,  43,  33,  89,
46,  79,  51,  97,  44,  47,  82,  90,  74,  29,  34,  59,  98,  50,  64,
71,  52,  26,  35,  99,  86,  76,  61,  36,  40,  32, 100,  60,  87,  45,
28,  30,  25,  38,  49,  62,  80,  66,  83,  48,  91,  72,  56],
    \[   35,   2,  81,  92,   5,  60,  59,  46,  70,  91,  18,  66,
55,  85,  90,  16,  53,  11,  45,  68,  69,  22,  84,  34,  31,  32,  27,
28,  29,  30,  25,  26,  33,  24,   1,  36,  39,  42,  37,  41,  40,  38,
44,  43,  19,   8,  47,  48,  64,  63,  52,  51,  17,  95,  13,  96, 100,
97,   7,   6,  62,  61,  50,  49,  82,  12,  83,  20,  21,   9,  98,  99,
73,  77,  75,  78,  74,  76,  79,  80,   3,  65,  67,  23,  14,  86,  89,
88,  87,  15,  10,   4,  93,  94,  54,  56,  58,  71,  72,  57]>;
AssertAttribute(G, "Order", 2^9 * 3^2 * 5^3 * 7 * 11);

