G:=MathieuGroup(12); Read("12.5.6.unc"); Read("neighbours6.g"); red:=[]; yellow:=[]; green:=[]; for i in [2..12] do for j in Difference([1..12],[2]) do for k in Difference([1..12],[3]) do for l in Difference([1..12],[4]) do for m in Difference([1..12],[5]) do for n in Difference([1..12],[6]) do w:=[i,j,k,l,m,n,7,8,9,10,11,12]; Colour6(G,U6,w,red,yellow,green); od; od; od; od; od; od; PrintTo("nonhexad.sizes",[Size(red),Size(yellow),Size(green)]); PrintTo("nonhexad.redwords",red); PrintTo("nonhexad.yellowwords",yellow); PrintTo("nonhexad.greenwords",green);