k7_g4 := List([1..28], i -> []);

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

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

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

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

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

k7_g4[24,1] := [ [ 18, 19, 20, 21, 22, 23, 24 ], [ 18, 19, 20, 21, 22, 23, 24 ], [ 18, 19, 20, 21, 22, 23, 24 ], [ 18, 19, 20, 21, 22, 23, 24 ], 
  [ 18, 19, 20, 21, 22, 23, 24 ], [ 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17 ], [ 11, 12, 13, 14, 15, 16, 17 ], [ 6, 7, 8, 9, 10, 22, 24 ], 
  [ 6, 7, 8, 9, 10, 23, 24 ], [ 6, 7, 8, 9, 10, 22, 23 ], [ 6, 7, 8, 9, 10, 20, 21 ], [ 6, 7, 8, 9, 10, 20, 21 ], [ 6, 7, 8, 9, 10, 18, 19 ], 
  [ 6, 7, 8, 9, 10, 18, 19 ], [ 1, 2, 3, 4, 5, 16, 17 ], [ 1, 2, 3, 4, 5, 16, 17 ], [ 1, 2, 3, 4, 5, 14, 15 ], [ 1, 2, 3, 4, 5, 14, 15 ], [ 1, 2, 3, 4, 5, 11, 13 ], [ 1, 2, 3, 4, 5, 12, 13 ], [ 1, 2, 3, 4, 5, 11, 12 ] ];

k7_g4[26,1] := [ [ 20, 21, 22, 23, 24, 25, 26 ], [ 20, 21, 22, 23, 24, 25, 26 ], [ 20, 21, 22, 23, 24, 25, 26 ], [ 20, 21, 22, 23, 24, 25, 26 ], 
  [ 20, 21, 22, 23, 24, 25, 26 ], [ 20, 21, 22, 23, 24, 25, 26 ], [ 13, 14, 15, 16, 17, 18, 19 ], [ 13, 14, 15, 16, 17, 18, 19 ], [ 13, 14, 15, 16, 17, 18, 19 ], [ 13, 14, 15, 16, 17, 18, 19 ], [ 13, 14, 15, 16, 17, 18, 19 ], 
  [ 13, 14, 15, 16, 17, 18, 19 ], [ 7, 8, 9, 10, 11, 12, 26 ], [ 7, 8, 9, 10, 11, 12, 25 ], [ 7, 8, 9, 10, 11, 12, 24 ], [ 7, 8, 9, 10, 11, 12, 23 ], 
  [ 7, 8, 9, 10, 11, 12, 22 ], [ 7, 8, 9, 10, 11, 12, 21 ], [ 7, 8, 9, 10, 11, 12, 20 ], [ 1, 2, 3, 4, 5, 6, 19 ], [ 1, 2, 3, 4, 5, 6, 18 ], [ 1, 2, 3, 4, 5, 6, 17 ], [ 1, 2, 3, 4, 5, 6, 16 ], [ 1, 2, 3, 4, 5, 6, 15 ], 
  [ 1, 2, 3, 4, 5, 6, 14 ], [ 1, 2, 3, 4, 5, 6, 13 ] ];