k6_g4 := List([1..25], i -> []);

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

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

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

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

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

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

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

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

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

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