k3_g7 := List([1..48], i -> []);

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

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

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

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

k3_g7[34, 1] := [ [ 32, 33, 34 ], [ 4, 23, 27 ], [ 26, 27, 28 ], [ 2, 6, 31 ], [ 13, 16, 30 ], [ 4, 8, 15 ], [ 11, 26, 29 ], [ 6, 10, 33 ], 
  [ 13, 23, 29 ], [ 8, 12, 24 ], [ 7, 22, 30 ], [ 10, 14, 21 ], [ 5, 9, 28 ], [ 12, 16, 26 ], [ 6, 17, 30 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 2, 9, 21 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 3, 7, 14 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 5, 11, 15 ], [ 4, 18, 34 ], [ 1, 17, 25 ], [ 1, 8, 28 ], [ 1, 29, 31 ] ];

k3_g7[36, 1] := [ [ 34, 35, 36 ], [ 4, 23, 27 ], [ 26, 27, 28 ], [ 2, 6, 31 ], [ 13, 16, 35 ], [ 4, 8, 15 ], [ 11, 26, 29 ], [ 6, 10, 33 ], 
  [ 13, 23, 29 ], [ 8, 12, 24 ], [ 7, 22, 30 ], [ 10, 14, 21 ], [ 5, 9, 28 ], [ 12, 16, 26 ], [ 6, 17, 30 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 2, 9, 21 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 3, 7, 14 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 11, 15, 35 ], [ 4, 18, 34 ], [ 17, 25, 36 ], [ 8, 28, 36 ], [ 1, 29, 31 ], [ 1, 5, 30 ], [ 1, 32, 33 ] ];

k3_g7[38, 1] := [ [ 36, 37, 38 ], [ 4, 27, 37 ], [ 26, 27, 28 ], [ 2, 6, 31 ], [ 13, 16, 35 ], [ 4, 8, 15 ], [ 11, 26, 29 ], [ 6, 10, 33 ], 
  [ 13, 23, 29 ], [ 8, 12, 24 ], [ 7, 22, 30 ], [ 10, 14, 21 ], [ 5, 9, 28 ], [ 12, 16, 26 ], [ 6, 17, 30 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 9, 21, 37 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 3, 7, 14 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 11, 15, 35 ], [ 4, 18, 34 ], [ 17, 25, 36 ], [ 8, 28, 36 ], [ 29, 31, 38 ], [ 5, 30, 38 ], [ 1, 32, 33 ], [ 1, 2, 23 ], [ 1, 34, 35 ] ];

k3_g7[40, 1] := [ [ 38, 39, 40 ], [ 4, 27, 37 ], [ 27, 28, 39 ], [ 2, 6, 31 ], [ 13, 16, 35 ], [ 4, 8, 15 ], [ 11, 26, 29 ], [ 6, 10, 33 ], 
  [ 13, 23, 29 ], [ 8, 12, 24 ], [ 7, 22, 30 ], [ 10, 14, 21 ], [ 5, 9, 28 ], [ 12, 16, 26 ], [ 6, 17, 30 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 9, 21, 37 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 7, 14, 39 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 11, 15, 35 ], [ 4, 18, 34 ], [ 17, 25, 36 ], [ 8, 28, 36 ], [ 29, 31, 38 ], [ 5, 30, 38 ], [ 32, 33, 40 ], [ 2, 23, 40 ], [ 1, 34, 35 ], [ 1, 3, 26 ], [ 1, 36, 37 ] ];

k3_g7[42, 1] := [ [ 40, 41, 42 ], [ 4, 27, 37 ], [ 27, 28, 39 ], [ 2, 6, 31 ], [ 13, 16, 35 ], [ 4, 8, 41 ], [ 11, 26, 29 ], [ 6, 10, 33 ], 
  [ 13, 23, 29 ], [ 8, 12, 24 ], [ 7, 22, 30 ], [ 10, 14, 21 ], [ 5, 9, 28 ], [ 12, 16, 26 ], [ 17, 30, 41 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 9, 21, 37 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 7, 14, 39 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 11, 15, 35 ], [ 4, 18, 34 ], [ 17, 25, 36 ], [ 8, 28, 36 ], [ 29, 31, 38 ], [ 5, 30, 38 ], [ 32, 33, 40 ], [ 2, 23, 40 ], [ 34, 35, 42 ], [ 3, 26, 42 ], [ 1, 36, 37 ], [ 1, 6, 15 ], 
  [ 1, 38, 39 ] ];

k3_g7[44, 1] := [ [ 42, 43, 44 ], [ 4, 27, 37 ], [ 27, 28, 39 ], [ 2, 6, 31 ], [ 13, 16, 35 ], [ 4, 8, 41 ], [ 11, 26, 29 ], [ 6, 10, 33 ], 
  [ 23, 29, 43 ], [ 8, 12, 24 ], [ 7, 22, 30 ], [ 10, 14, 21 ], [ 5, 28, 43 ], [ 12, 16, 26 ], [ 17, 30, 41 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 9, 21, 37 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 7, 14, 39 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 11, 15, 35 ], [ 4, 18, 34 ], [ 17, 25, 36 ], [ 8, 28, 36 ], [ 29, 31, 38 ], [ 5, 30, 38 ], [ 32, 33, 40 ], [ 2, 23, 40 ], [ 34, 35, 42 ], [ 3, 26, 42 ], [ 36, 37, 44 ], [ 6, 15, 44 ], 
  [ 1, 38, 39 ], [ 1, 9, 13 ], [ 1, 40, 41 ] ];

k3_g7[46, 1] := [ [ 44, 45, 46 ], [ 4, 27, 37 ], [ 27, 28, 39 ], [ 2, 6, 31 ], [ 13, 16, 35 ], [ 4, 8, 41 ], [ 26, 29, 45 ], [ 6, 10, 33 ], 
  [ 23, 29, 43 ], [ 8, 12, 24 ], [ 22, 30, 45 ], [ 10, 14, 21 ], [ 5, 28, 43 ], [ 12, 16, 26 ], [ 17, 30, 41 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 9, 21, 37 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 7, 14, 39 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 11, 15, 35 ], [ 4, 18, 34 ], [ 17, 25, 36 ], [ 8, 28, 36 ], [ 29, 31, 38 ], [ 5, 30, 38 ], [ 32, 33, 40 ], [ 2, 23, 40 ], [ 34, 35, 42 ], [ 3, 26, 42 ], [ 36, 37, 44 ], [ 6, 15, 44 ], 
  [ 38, 39, 46 ], [ 9, 13, 46 ], [ 1, 40, 41 ], [ 1, 7, 11 ], [ 1, 42, 43 ] ];

k3_g7[48, 1] := [ [ 46, 47, 48 ], [ 27, 37, 47 ], [ 27, 28, 39 ], [ 6, 31, 47 ], [ 13, 16, 35 ], [ 4, 8, 41 ], [ 26, 29, 45 ], [ 6, 10, 33 ], 
  [ 23, 29, 43 ], [ 8, 12, 24 ], [ 22, 30, 45 ], [ 10, 14, 21 ], [ 5, 28, 43 ], [ 12, 16, 26 ], [ 17, 30, 41 ], [ 5, 14, 18 ], [ 15, 19, 32 ], [ 16, 20, 31 ], [ 17, 20, 21 ], [ 18, 19, 22 ], 
  [ 12, 19, 23 ], [ 11, 20, 24 ], [ 9, 21, 37 ], [ 10, 22, 25 ], [ 24, 27, 32 ], [ 7, 14, 39 ], [ 2, 3, 25 ], [ 3, 13, 33 ], 
  [ 7, 9, 34 ], [ 11, 15, 35 ], [ 4, 18, 34 ], [ 17, 25, 36 ], [ 8, 28, 36 ], [ 29, 31, 38 ], [ 5, 30, 38 ], [ 32, 33, 40 ], [ 2, 23, 40 ], [ 34, 35, 42 ], [ 3, 26, 42 ], [ 36, 37, 44 ], [ 6, 15, 44 ], 
  [ 38, 39, 46 ], [ 9, 13, 46 ], [ 40, 41, 48 ], [ 7, 11, 48 ], [ 1, 42, 43 ], [ 1, 2, 4 ], [ 1, 44, 45 ] ];