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

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

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

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

bb7:=Concatenation(bb2,bb5);

d2:=dev(g,bb2);

d5:=dev(g,bb5);

d7:=dev(g,bb7);

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

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