
print "The second simple group of Janko, J2, represented";
print "as a permutation group of degree 100. ";
print "Order: 604 800 = 2^7 * 3^3 * 5^2 * 7; Base: 1,2,3,4.";
print "Group: G";

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