print "Imprimitive group of degree 16 with 8 blocks of size 2. ";
print "Composition factors are Z(2) ( 7 times ), A(8), Z(2). ";
print "Order: 5,160,960 = 2^14 * 3^2 * 5 * 7. ";
print "Group: G";

G := PermutationGroup<16 |
    \[   2,  1,  4,  3,  6,  5,  8,  7, 10,  9, 12, 11, 14, 13, 15, 16],
    \[  15,  3,  4,  5,  2,  7,  9,  6,  8, 11, 14, 16, 10, 13,  1, 12]>;
AssertAttribute(G, "Order", 2^14 * 3^2 * 5 * 7);
