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

g:=Group((2,3)(4,5,6,7)(8,9,10,11)(12,13,14,15),(1,5)(2,13)(3,11)(6,15)(7,8)(9,14)(10,12));

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

d3:=dev(g,bb3);

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

d:=List(bb,x->dev(g,x));