
print "An imprimitive group of degree 12 with 4 blocks";
print "of size 3. ";
print "The group is soluble. ";
print "Order: 648 = 2^3 * 3^4;   Base: 1,2,4,7. ";
print "Group: G";

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