
print "Imprimitive group of degree 6, order 6";
print "Has 2 block systems with block sizes of 2 and 3";
print "Group: G";

G := PermutationGroup<6 |
    \[  4, 5, 6, 1, 2, 3],
    \[  2, 3, 1, 5, 6, 4]>;
AssertAttribute(G, "Order", 6);
