dev:=function(g,bb)
return Union(List(bb,x->Orbit(g,x,OnSets)));
end;

alpha:=(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17);
beta:=(2,4,10,11,14,6,16,12,17,15,9,8,5,13,3,7);
g1:=Group(alpha,beta);

bb5:=[ [ [ 1, 2, 3, 4, 5, 6, 7, 9, 11 ], [ 1, 2, 3, 4, 5, 6, 8, 11, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 14, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 10, 14, 18 ], [ 1, 2, 3, 4, 6, 7, 8, 9, 12 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 9, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 14 ], 
      [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 14, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 13, 15, 18 ], 
      [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 9, 14 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 10, 12, 14 ], [ 1, 2, 3, 4, 5, 8, 12, 14, 18 ], [ 1, 2, 3, 4, 5, 9, 10, 13, 18 ], 
      [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 8, 10, 11 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 13 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 10, 12, 14 ], [ 1, 2, 3, 4, 6, 7, 8, 12, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 12, 13 ], [ 1, 2, 3, 4, 5, 6, 8, 9, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 13, 18 ], [ 1, 2, 3, 4, 5, 6, 10, 13, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 13, 15 ], [ 1, 2, 3, 4, 5, 7, 8, 15, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 9, 10, 16 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 8, 11 ], [ 1, 2, 3, 4, 5, 6, 9, 13, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 15, 18 ], [ 1, 2, 3, 4, 5, 6, 10, 13, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 13, 15 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 9, 10, 16 ], [ 1, 2, 3, 4, 6, 8, 14, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 10, 11 ], [ 1, 2, 3, 4, 5, 6, 8, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 14 ], [ 1, 2, 3, 4, 5, 6, 9, 15, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 9, 12, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 8, 12, 18 ], [ 1, 2, 3, 4, 6, 8, 14, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 13 ], [ 1, 2, 3, 4, 5, 6, 10, 13, 18 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 9, 15 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 13, 15 ], [ 1, 2, 3, 4, 6, 7, 8, 15, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 18 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 9, 14 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 10, 12, 14 ], [ 1, 2, 3, 4, 5, 9, 10, 13, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 8, 10, 11 ], [ 1, 2, 3, 4, 5, 6, 8, 14, 18 ], [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 13, 14 ], [ 1, 2, 3, 4, 6, 7, 8, 12, 18 ], [ 1, 2, 3, 4, 6, 7, 8, 14, 15 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 7, 11, 13 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 14, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 10, 11 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 12, 14, 18 ], [ 1, 2, 3, 4, 6, 7, 8, 14, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 11, 13 ], [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 9, 14, 18 ], 
      [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 10, 11 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 8, 14, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 12, 13 ], [ 1, 2, 3, 4, 5, 6, 8, 9, 18 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 14 ], [ 1, 2, 3, 4, 5, 7, 8, 15, 16 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 13, 15 ], [ 1, 2, 3, 4, 5, 7, 12, 15, 18 ], [ 1, 2, 3, 4, 6, 7, 10, 12, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 8, 11 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 14 ], [ 1, 2, 3, 4, 5, 6, 9, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 13, 15 ], [ 1, 2, 3, 4, 5, 7, 12, 15, 18 ], [ 1, 2, 3, 4, 6, 7, 10, 12, 18 ], [ 1, 2, 3, 4, 6, 8, 14, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 18 ], [ 1, 2, 3, 4, 5, 6, 10, 12, 13 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 9, 13 ], [ 1, 2, 3, 4, 5, 7, 10, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 8, 9, 15 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 14, 18 ], [ 1, 2, 3, 4, 5, 6, 10, 11, 13 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 9, 13 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 13, 15, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 8, 10, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 14 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 15 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 13, 15 ], [ 1, 2, 3, 4, 6, 7, 9, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 12, 13 ], [ 1, 2, 3, 4, 5, 6, 8, 15, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 10, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 13 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 10, 12 ], [ 1, 2, 3, 4, 5, 7, 8, 15, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 10, 14, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 10, 11 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 12, 14 ], [ 1, 2, 3, 4, 5, 7, 9, 10, 18 ], [ 1, 2, 3, 4, 5, 7, 10, 12, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], 
      [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 10, 12 ], [ 1, 2, 3, 4, 5, 7, 8, 13, 15 ], [ 1, 2, 3, 4, 5, 7, 8, 14, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 10, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], 
      [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], 
      [ 1, 2, 3, 4, 5, 6, 8, 12, 18 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 13 ], [ 1, 2, 3, 4, 5, 7, 9, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], 
      [ 1, 2, 3, 4, 6, 7, 8, 14, 15 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], 
      [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 15, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 8, 9, 12 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 13 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 13 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 14, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 12 ], [ 1, 2, 3, 4, 5, 6, 10, 11, 13 ], 
      [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 14, 15, 18 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], 
      [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 12 ], 
      [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 15 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 15, 18 ], [ 1, 2, 3, 4, 6, 7, 8, 12, 18 ], 
      [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], 
      [ 1, 2, 3, 4, 5, 6, 9, 11, 12 ], [ 1, 2, 3, 4, 5, 6, 10, 11, 13 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 10, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], 
      [ 1, 2, 3, 4, 6, 7, 8, 12, 18 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 10, 12 ], 
      [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 10, 12 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 10, 13, 18 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 10, 12 ], [ 1, 2, 3, 4, 5, 6, 7, 11, 14 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 15 ], 
      [ 1, 2, 3, 4, 5, 7, 9, 12, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 10, 12, 18 ], [ 1, 2, 3, 4, 6, 7, 15, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 10, 11 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 12, 14 ], [ 1, 2, 3, 4, 5, 7, 9, 10, 18 ], [ 1, 2, 3, 4, 5, 7, 10, 12, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], 
      [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 9, 16 ], [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 10, 12 ], [ 1, 2, 3, 4, 5, 7, 8, 13, 15 ], [ 1, 2, 3, 4, 5, 7, 8, 14, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 10, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], 
      [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], 
      [ 1, 2, 3, 4, 5, 6, 8, 12, 18 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 13 ], [ 1, 2, 3, 4, 5, 7, 9, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], 
      [ 1, 2, 3, 4, 6, 7, 8, 14, 15 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], 
      [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 15, 18 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 8, 9, 12 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 13 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 13 ], 
      [ 1, 2, 3, 4, 5, 7, 8, 14, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 12 ], [ 1, 2, 3, 4, 5, 6, 10, 11, 13 ], 
      [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 14, 15, 18 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], 
      [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 9, 11, 12 ], 
      [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 15 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 7, 11, 15, 18 ], [ 1, 2, 3, 4, 6, 7, 8, 12, 18 ], 
      [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], 
      [ 1, 2, 3, 4, 5, 6, 9, 11, 12 ], [ 1, 2, 3, 4, 5, 6, 10, 11, 13 ], [ 1, 2, 3, 4, 5, 6, 11, 13, 18 ], [ 1, 2, 3, 4, 5, 7, 10, 15, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], 
      [ 1, 2, 3, 4, 6, 7, 8, 12, 18 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], [ [ 1, 2, 3, 4, 5, 6, 7, 10, 12 ], 
      [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 6, 9, 12, 18 ], [ 1, 2, 3, 4, 5, 7, 9, 10, 12 ], 
      [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 5, 8, 10, 13, 18 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ], 
  [ [ 1, 2, 3, 4, 5, 6, 7, 10, 12 ], [ 1, 2, 3, 4, 5, 6, 7, 10, 15 ], [ 1, 2, 3, 4, 5, 6, 8, 12, 16 ], [ 1, 2, 3, 4, 5, 6, 8, 16, 18 ], [ 1, 2, 3, 4, 5, 7, 8, 9, 15 ], 
      [ 1, 2, 3, 4, 5, 7, 9, 12, 18 ], [ 1, 2, 3, 4, 5, 7, 11, 12, 16 ], [ 1, 2, 3, 4, 6, 7, 10, 12, 18 ], [ 1, 2, 3, 4, 6, 10, 12, 16, 18 ], [ 1, 2, 3, 5, 11, 13, 14, 15, 18 ] ] ];

d5:=List(bb5,x->dev(g1,x));


g2:=Group(alpha,beta^2);

bb4:=[ [1, 2, 4, 8, 9, 12, 13, 15, 17], [1, 2, 6, 8, 9, 10, 13, 15, 17], [1, 2, 8, 9, 10, 12, 15, 17, 18], 
[1, 5, 8, 9, 11, 12, 15, 17, 18], [1, 4, 5, 6, 8, 9, 10, 15, 17], [1, 4, 5, 8, 9, 11, 15, 17, 18], 
[1, 5, 6, 8, 9, 11, 12, 15, 16], [1, 5, 6, 8, 9, 14, 15, 17, 18], [1, 5, 8, 9, 10, 15, 16, 17, 18], 
[1, 3, 4, 8, 9, 10, 12, 15, 17], [1, 6, 7, 8, 9, 11, 15, 17, 18], [1, 8, 9, 11, 12, 14, 15, 17, 18] ];

d4:=dev(g2,bb4);