
print "Two-fold cover of the second Janko group J2 on 200 letters.";
print "Order is 1209600 = 2^8 * 3^3 * 5^2 * 7.";
print "Group : G";

G := PermutationGroup<200 |
\[ 70, 96, 86, 197, 163, 198, 23, 36, 32, 25, 154, 195, 162, 194, 49, 33,
19, 51, 75, 42, 45, 123, 1, 35, 38, 129, 120, 144, 107, 56, 13, 5, 132, 84,
52, 2, 31, 63, 91, 183, 29, 72, 189, 149, 157, 187, 101, 106, 67, 105, 74,
97, 150, 175, 65, 161, 47, 180, 113, 134, 146, 200, 10, 155, 136, 182, 79,
196, 173, 7, 55, 138, 17, 167, 73, 89, 152, 59, 15, 125, 57, 21, 185, 140,
142, 69, 78, 127, 112, 130, 11, 64, 181, 102, 190, 8, 24, 54, 128, 145, 81,
133, 184, 147, 166, 80, 160, 104, 178, 22, 199, 116, 87, 90, 131, 76, 141,
117, 85, 61, 191, 143, 158, 50, 48, 43, 60, 176, 62, 174, 103, 164, 177, 88, 
98, 71, 108, 20, 186, 171, 156, 172, 109, 159, 58, 27, 137, 192, 83, 139,
46, 170, 151, 39, 169, 118, 82, 110, 179, 41, 168, 37, 9, 16, 126, 124, 18,
30, 92, 188, 34, 119, 3, 114, 135, 193, 94, 122, 28, 100, 148, 121, 95, 115, 
44, 53, 153, 77, 165, 40, 66, 93, 99, 68, 6, 14, 111, 12, 4, 26 ],
\[ 15, 68, 46, 151, 103, 199, 67, 14, 115, 120, 132, 197, 131, 137, 180, 20, 
157, 181, 148, 39, 113, 177, 9, 133, 25, 91, 18, 179, 42, 59, 57, 129, 142,
111, 169, 141, 184, 146, 16, 10, 163, 188, 89, 186, 127, 84, 183, 71, 12,
52, 13, 94, 47, 82, 159, 44, 176, 195, 123, 158, 74, 154, 63, 114, 124, 66,
145, 104, 153, 5, 105, 11, 93, 192, 21, 43, 185, 17, 6, 65, 190, 134, 150,
3, 58, 96, 110, 22, 76, 90, 126, 125, 143, 50, 38, 118, 64, 155, 162, 198,
99, 60, 70, 2, 48, 98, 32, 108, 77, 161, 187, 165, 75, 97, 23, 112, 191, 86, 
128, 40, 121, 170, 30, 80, 175, 26, 135, 164, 107, 35, 51, 72, 166, 54, 45,
28, 8, 152, 81, 4, 173, 193, 73, 55, 7, 95, 147, 178, 122, 168, 140, 160,
171, 189, 106, 182, 78, 102, 144, 138, 87, 101, 200, 119, 116, 24, 37, 83,
130, 149, 69, 100, 36, 174, 92, 31, 88, 19, 136, 1, 27, 196, 53, 167, 109,
56, 34, 29, 62, 139, 194, 61, 33, 117, 85, 156, 49, 172, 79, 41 ] >;
AssertAttribute(G, "Order", 2^8 * 3^3 * 5^2 * 7);
