k3_g10 := List([1..142], i -> []);

k3_g10[72,1] := [ [ 2, 36, 37 ], [ 1, 3, 38 ], [ 2, 4, 39 ], [ 3, 5, 40 ], [ 4, 6, 41 ], [ 5, 7, 42 ], [ 6, 8, 43 ], [ 7, 9, 44 ], [ 8, 10, 45 ], 
      [ 9, 11, 46 ], [ 10, 12, 47 ], [ 11, 13, 48 ], [ 12, 14, 49 ], [ 13, 15, 50 ], [ 14, 16, 51 ], [ 15, 17, 52 ], [ 16, 18, 53 ], [ 17, 19, 54 ], [ 18, 20, 55 ], [ 19, 21, 56 ], [ 20, 22, 57 ], [ 21, 23, 58 ], [ 22, 24, 59 ], 
      [ 23, 25, 60 ], [ 24, 26, 61 ], [ 25, 27, 62 ], [ 26, 28, 63 ], [ 27, 29, 64 ], [ 28, 30, 65 ], [ 29, 31, 66 ], [ 30, 32, 67 ], [ 31, 33, 68 ], [ 32, 34, 69 ], 
      [ 33, 35, 70 ], [ 34, 36, 71 ], [ 1, 35, 72 ], [ 1, 44, 58 ], [ 2, 47, 53 ], [ 3, 56, 66 ], [ 4, 59, 69 ], [ 5, 48, 62 ], [ 6, 51, 57 ], [ 7, 60, 70 ], [ 8, 37, 63 ], [ 9, 52, 66 ], [ 10, 55, 61 ], [ 11, 38, 64 ], 
      [ 12, 41, 67 ], [ 13, 56, 70 ], [ 14, 59, 65 ], [ 15, 42, 68 ], [ 16, 45, 71 ], [ 17, 38, 60 ], [ 18, 63, 69 ], [ 19, 46, 72 ], [ 20, 39, 49 ], [ 21, 42, 64 ], 
      [ 22, 37, 67 ], [ 23, 40, 50 ], [ 24, 43, 53 ], [ 25, 46, 68 ], [ 26, 41, 71 ], [ 27, 44, 54 ], [ 28, 47, 57 ], [ 29, 50, 72 ], [ 30, 39, 45 ], [ 31, 48, 58 ], [ 32, 51, 61 ], [ 33, 40, 54 ], [ 34, 43, 49 ], [ 35, 52, 62 ], 
      [ 36, 55, 65 ] ];

k3_g10[82,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 39 ], [ 8, 32, 40 ], [ 9, 33, 41 ], [ 10, 34, 42 ], [ 7, 35, 43 ], [ 8, 36, 44 ], [ 9, 37, 81 ], [ 10, 38, 46 ], [ 11, 47, 82 ], 
  [ 12, 48, 56 ], [ 13, 49, 57 ], [ 14, 50, 58 ], [ 11, 51, 59 ], [ 12, 52, 60 ], [ 13, 53, 61 ], [ 14, 54, 62 ], [ 15, 47, 48 ], [ 16, 47, 63 ], 
  [ 17, 53, 63 ], [ 18, 55, 67 ], [ 19, 57, 64 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 22, 59, 64 ], [ 15, 50, 66 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 18, 52, 66 ], [ 19, 54, 67 ], [ 20, 56, 68 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 24, 31, 69 ], [ 25, 37, 69 ], [ 26, 39, 73 ], [ 27, 41, 70 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 30, 43, 70 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 26, 36, 72 ], [ 27, 38, 73 ], [ 28, 40, 74 ], [ 29, 46, 74 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ] ];

k3_g10[84,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 39 ], [ 8, 32, 40 ], [ 9, 33, 41 ], [ 10, 34, 42 ], [ 7, 35, 43 ], [ 8, 36, 44 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 49, 57 ], [ 14, 50, 58 ], [ 11, 51, 59 ], [ 12, 52, 60 ], [ 13, 53, 61 ], [ 14, 54, 62 ], [ 15, 47, 48 ], [ 16, 47, 63 ], 
  [ 17, 53, 63 ], [ 18, 55, 67 ], [ 19, 57, 64 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 15, 50, 66 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 18, 52, 66 ], [ 19, 54, 67 ], [ 20, 56, 68 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 25, 37, 69 ], [ 26, 39, 73 ], [ 27, 41, 70 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 30, 43, 70 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 26, 36, 72 ], [ 27, 38, 73 ], [ 28, 40, 74 ], [ 29, 46, 74 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ] ];

k3_g10[86,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 39 ], [ 8, 32, 40 ], [ 9, 33, 41 ], [ 10, 34, 85 ], [ 7, 35, 43 ], [ 8, 36, 44 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 58 ], [ 11, 51, 59 ], [ 12, 52, 60 ], [ 13, 53, 61 ], [ 14, 54, 62 ], [ 15, 47, 48 ], [ 16, 47, 63 ], 
  [ 17, 53, 63 ], [ 18, 55, 67 ], [ 19, 57, 64 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 15, 50, 66 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 20, 56, 68 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 27, 41, 70 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 30, 43, 70 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 26, 36, 72 ], [ 27, 38, 73 ], [ 28, 40, 74 ], [ 29, 46, 74 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ] ];

k3_g10[88,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 39 ], [ 8, 32, 40 ], [ 9, 41, 87 ], [ 10, 34, 85 ], [ 7, 35, 43 ], [ 8, 36, 44 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 88 ], [ 11, 51, 59 ], [ 12, 52, 60 ], [ 13, 53, 61 ], [ 14, 54, 62 ], [ 15, 47, 48 ], [ 16, 47, 63 ], 
  [ 53, 63, 87 ], [ 18, 55, 67 ], [ 19, 57, 64 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 15, 50, 66 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 20, 56, 68 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 27, 41, 70 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 30, 43, 70 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 36, 72, 88 ], [ 27, 38, 73 ], [ 28, 40, 74 ], [ 29, 46, 74 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ], [ 17, 33, 88 ], [ 26, 58, 87 ] ];

k3_g10[90,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 39 ], [ 8, 32, 40 ], [ 9, 41, 87 ], [ 10, 34, 85 ], [ 7, 35, 43 ], [ 8, 36, 89 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 88 ], [ 11, 59, 90 ], [ 12, 52, 60 ], [ 13, 53, 61 ], [ 14, 54, 62 ], [ 15, 47, 48 ], [ 16, 47, 63 ], 
  [ 53, 63, 87 ], [ 18, 55, 67 ], [ 19, 57, 64 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 15, 50, 66 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 56, 68, 89 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 41, 70, 90 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 30, 43, 70 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 36, 72, 88 ], [ 27, 38, 73 ], [ 28, 40, 74 ], [ 29, 46, 74 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ], [ 17, 33, 88 ], [ 26, 58, 87 ], [ 20, 44, 90 ], [ 27, 51, 89 ] ];

k3_g10[92,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 39 ], [ 8, 32, 40 ], [ 9, 41, 87 ], [ 10, 34, 85 ], [ 7, 43, 91 ], [ 8, 36, 89 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 88 ], [ 11, 59, 90 ], [ 12, 52, 92 ], [ 13, 53, 61 ], [ 14, 54, 62 ], [ 15, 47, 48 ], [ 16, 47, 63 ], 
  [ 53, 63, 87 ], [ 18, 55, 67 ], [ 57, 64, 91 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 15, 50, 66 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 56, 68, 89 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 41, 70, 90 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 30, 43, 70 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 36, 72, 88 ], [ 27, 38, 73 ], [ 40, 74, 92 ], [ 29, 46, 74 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ], [ 17, 33, 88 ], [ 26, 58, 87 ], [ 20, 44, 90 ], [ 27, 51, 89 ], [ 19, 35, 92 ], [ 28, 60, 91 ] ];

k3_g10[94,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 93 ], [ 8, 32, 40 ], [ 9, 41, 87 ], [ 10, 34, 85 ], [ 7, 43, 91 ], [ 8, 36, 89 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 88 ], [ 11, 59, 90 ], [ 12, 52, 92 ], [ 13, 53, 94 ], [ 14, 54, 62 ], [ 15, 47, 48 ], [ 16, 47, 63 ], 
  [ 53, 63, 87 ], [ 18, 55, 67 ], [ 57, 64, 91 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 50, 66, 93 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 56, 68, 89 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 41, 70, 90 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 30, 43, 70 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 36, 72, 88 ], [ 27, 38, 73 ], [ 40, 74, 92 ], [ 46, 74, 94 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ], [ 17, 33, 88 ], [ 26, 58, 87 ], [ 20, 44, 90 ], [ 27, 51, 89 ], [ 19, 35, 92 ], [ 28, 60, 91 ], 
  [ 15, 39, 94 ], [ 29, 61, 93 ] ];

k3_g10[96,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 93 ], [ 8, 40, 95 ], [ 9, 41, 87 ], [ 10, 34, 85 ], [ 7, 43, 91 ], [ 8, 36, 89 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 88 ], [ 11, 59, 90 ], [ 12, 52, 92 ], [ 13, 53, 94 ], [ 14, 62, 96 ], [ 15, 47, 48 ], [ 47, 63, 95 ], 
  [ 53, 63, 87 ], [ 18, 55, 67 ], [ 57, 64, 91 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 50, 66, 93 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 56, 68, 89 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 41, 70, 90 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 43, 70, 96 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 36, 72, 88 ], [ 27, 38, 73 ], [ 40, 74, 92 ], [ 46, 74, 94 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 73 ], [ 39, 42, 76 ], [ 34, 43, 71 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 67 ], [ 55, 58, 78 ], [ 50, 59, 65 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ], [ 17, 33, 88 ], [ 26, 58, 87 ], [ 20, 44, 90 ], [ 27, 51, 89 ], [ 19, 35, 92 ], [ 28, 60, 91 ], 
  [ 15, 39, 94 ], [ 29, 61, 93 ], [ 16, 32, 96 ], [ 30, 54, 95 ] ];

k3_g10[98,1] := [ [ 2, 3, 4 ], [ 1, 5, 6 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 93 ], [ 8, 40, 95 ], [ 9, 41, 87 ], [ 10, 34, 85 ], [ 7, 43, 91 ], [ 8, 36, 89 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 88 ], [ 11, 59, 90 ], [ 12, 52, 92 ], [ 13, 53, 94 ], [ 14, 62, 96 ], [ 15, 47, 48 ], [ 47, 63, 95 ], 
  [ 53, 63, 87 ], [ 18, 55, 67 ], [ 57, 64, 91 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 50, 66, 93 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 56, 68, 89 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 41, 70, 90 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 43, 70, 96 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 36, 72, 88 ], [ 27, 38, 73 ], [ 40, 74, 92 ], [ 46, 74, 94 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 97 ], [ 39, 42, 76 ], [ 34, 43, 98 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 98 ], [ 55, 58, 78 ], [ 50, 59, 97 ], [ 60, 61, 78 ], [ 63, 64, 79 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 75, 76, 80 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ], [ 17, 33, 88 ], [ 26, 58, 87 ], [ 20, 44, 90 ], [ 27, 51, 89 ], [ 19, 35, 92 ], [ 28, 60, 91 ], 
  [ 15, 39, 94 ], [ 29, 61, 93 ], [ 16, 32, 96 ], [ 30, 54, 95 ], [ 65, 73, 98 ], [ 67, 71, 97 ] ];

k3_g10[100,1] := [ [ 3, 4, 99 ], [ 5, 6, 99 ], [ 1, 7, 9 ], [ 1, 8, 10 ], [ 2, 11, 13 ], [ 2, 12, 14 ], [ 3, 15, 19 ], [ 4, 16, 20 ], 
  [ 3, 17, 21 ], [ 4, 18, 22 ], [ 5, 23, 27 ], [ 6, 24, 28 ], [ 5, 25, 29 ], [ 6, 26, 30 ], [ 7, 31, 93 ], [ 8, 40, 95 ], [ 9, 41, 87 ], [ 10, 34, 85 ], [ 7, 43, 91 ], [ 8, 36, 89 ], [ 9, 37, 81 ], [ 10, 46, 83 ], [ 11, 47, 82 ], 
  [ 12, 56, 84 ], [ 13, 57, 86 ], [ 14, 50, 88 ], [ 11, 59, 90 ], [ 12, 52, 92 ], [ 13, 53, 94 ], [ 14, 62, 96 ], [ 15, 47, 48 ], [ 47, 63, 95 ], 
  [ 53, 63, 87 ], [ 18, 55, 67 ], [ 57, 64, 91 ], [ 20, 57, 58 ], [ 21, 49, 65 ], [ 59, 64, 83 ], [ 50, 66, 93 ], [ 16, 60, 65 ], [ 17, 51, 52 ], [ 52, 66, 85 ], [ 19, 54, 67 ], [ 56, 68, 89 ], [ 62, 68, 81 ], [ 22, 61, 62 ], 
  [ 23, 31, 32 ], [ 31, 69, 84 ], [ 37, 69, 86 ], [ 26, 39, 73 ], [ 41, 70, 90 ], [ 28, 41, 42 ], [ 29, 33, 71 ], [ 43, 70, 96 ], [ 34, 72, 82 ], 
  [ 24, 44, 71 ], [ 25, 35, 36 ], [ 36, 72, 88 ], [ 27, 38, 73 ], [ 40, 74, 92 ], [ 46, 74, 94 ], [ 30, 45, 46 ], [ 32, 33, 75 ], [ 35, 38, 75 ], [ 37, 40, 97 ], [ 39, 42, 76 ], [ 34, 43, 98 ], [ 44, 45, 76 ], [ 48, 49, 77 ], 
  [ 51, 54, 77 ], [ 53, 56, 98 ], [ 55, 58, 78 ], [ 50, 59, 97 ], [ 60, 61, 78 ], [ 63, 64, 100 ], [ 66, 68, 79 ], [ 69, 70, 80 ], [ 72, 74, 80 ], 
  [ 76, 80, 100 ], [ 77, 78, 79 ], [ 21, 45, 82 ], [ 23, 55, 81 ], [ 22, 38, 84 ], [ 24, 48, 83 ], [ 18, 42, 86 ], [ 25, 49, 85 ], [ 17, 33, 88 ], [ 26, 58, 87 ], [ 20, 44, 90 ], [ 27, 51, 89 ], [ 19, 35, 92 ], [ 28, 60, 91 ], 
  [ 15, 39, 94 ], [ 29, 61, 93 ], [ 16, 32, 96 ], [ 30, 54, 95 ], [ 65, 73, 98 ], [ 67, 71, 97 ], [ 1, 2, 100 ], [ 75, 79, 99 ] ];

k3_g10[102,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], [ 54, 64, 92 ], 
      [ 12, 81, 93 ], [ 36, 48, 68 ], [ 10, 19, 69 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 73 ], [ 12, 68, 91 ], [ 39, 49, 80 ], [ 13, 27, 91 ], [ 39, 48, 75 ], [ 29, 39, 55 ], 
      [ 14, 47, 94 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 42, 45 ], [ 50, 51, 65 ], [ 23, 58, 100 ], [ 73, 86, 88 ], [ 60, 84, 98 ], [ 43, 47, 97 ], [ 58, 79, 90 ], 
      [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 20, 22, 23 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 27, 34, 56 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], [ 2, 69, 83 ], [ 24, 32, 95 ], 
      [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 28, 49 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], [ 42, 74, 89 ], [ 60, 64, 83 ], 
      [ 29, 33, 63 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 78, 85 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], [ 4, 12, 46 ], [ 38, 52, 95 ], [ 6, 59, 75 ], 
      [ 26, 53, 102 ], [ 18, 30, 76 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 62, 89 ], [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], 
      [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 56, 78 ], [ 33, 36, 102 ], [ 19, 21, 97 ], [ 9, 59, 66 ], [ 10, 53, 59 ], [ 5, 24, 61 ], [ 47, 70, 82 ], 
      [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], [ 8, 72, 90 ] ];

k3_g10[104,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 12, 81, 93 ], [ 36, 48, 68 ], [ 10, 19, 69 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 73 ], [ 12, 68, 91 ], [ 39, 49, 80 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 94, 104 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 42, 45 ], [ 50, 51, 65 ], [ 23, 58, 100 ], [ 73, 86, 88 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 90 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 20, 22, 23 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 27, 34, 56 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 28, 49 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 89 ], [ 60, 64, 83 ], [ 29, 33, 63 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 78, 85 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], [ 4, 12, 46 ], 
  [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 18, 30, 76 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 62, 89 ], [ 33, 37, 96 ], 
  [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 56, 78 ], [ 33, 36, 102 ], [ 19, 21, 97 ], [ 59, 66, 103 ], [ 10, 53, 59 ], 
  [ 5, 24, 61 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], [ 8, 72, 90 ], [ 9, 92, 104 ], [ 24, 47, 103 ] ];

k3_g10[106,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 12, 81, 93 ], [ 36, 48, 68 ], [ 10, 19, 69 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 73 ], [ 12, 68, 91 ], [ 39, 49, 80 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 42, 45 ], [ 50, 65, 106 ], [ 23, 58, 100 ], [ 73, 86, 88 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 90 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 20, 22, 23 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 27, 34, 56 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 89 ], [ 60, 64, 83 ], [ 29, 33, 63 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 78, 85 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 12, 46 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 18, 30, 76 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 62, 89 ], [ 33, 37, 96 ], 
  [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 56, 78 ], [ 33, 36, 102 ], [ 19, 21, 97 ], [ 59, 66, 103 ], 
  [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], [ 8, 72, 90 ], [ 9, 92, 104 ], [ 24, 47, 103 ], [ 24, 94, 106 ], [ 28, 51, 105 ] ];

k3_g10[108,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 69, 107 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 73 ], [ 12, 68, 91 ], [ 39, 49, 80 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 42, 45 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 73, 86, 88 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 90 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 20, 22, 23 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 27, 34, 56 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 89 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 78, 85 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 12, 46 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 18, 30, 76 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 62, 89 ], [ 33, 37, 96 ], 
  [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 56, 78 ], [ 33, 36, 102 ], [ 19, 21, 97 ], [ 59, 66, 103 ], 
  [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], [ 8, 72, 90 ], 
  [ 9, 92, 104 ], [ 24, 47, 103 ], [ 24, 94, 106 ], [ 28, 51, 105 ], [ 10, 12, 108 ], [ 29, 58, 107 ] ];

k3_g10[110,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 69, 107 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 73 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 42, 45 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 90 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 27, 34, 56 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 89 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 78, 85 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 12, 46 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 18, 76, 110 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 62, 89 ], [ 33, 37, 96 ], 
  [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 56, 78 ], [ 33, 36, 102 ], [ 19, 21, 97 ], [ 59, 66, 103 ], 
  [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], [ 8, 72, 90 ], 
  [ 9, 92, 104 ], [ 24, 47, 103 ], [ 24, 94, 106 ], [ 28, 51, 105 ], [ 10, 12, 108 ], [ 29, 58, 107 ], [ 20, 39, 110 ], [ 30, 73, 109 ] ];

k3_g10[112,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 69, 107 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 73 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 112 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 89 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 78, 85 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 12, 46 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 18, 76, 110 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 62, 89 ], [ 33, 37, 96 ], 
  [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 56, 78 ], [ 36, 102, 112 ], [ 19, 21, 97 ], [ 59, 66, 103 ], 
  [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], [ 8, 72, 90 ], 
  [ 9, 92, 104 ], [ 24, 47, 103 ], [ 24, 94, 106 ], [ 28, 51, 105 ], [ 10, 12, 108 ], [ 29, 58, 107 ], [ 20, 39, 110 ], [ 30, 73, 109 ], [ 27, 42, 112 ], [ 33, 90, 111 ] ];

k3_g10[114,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 69, 107 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 113 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 112 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 114 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 78, 85 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 12, 46 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 76, 110, 113 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 62, 89 ], 
  [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 78, 114 ], [ 36, 102, 112 ], [ 19, 21, 97 ], 
  [ 59, 66, 103 ], [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], 
  [ 8, 72, 90 ], [ 9, 92, 104 ], [ 24, 47, 103 ], [ 24, 94, 106 ], [ 28, 51, 105 ], [ 10, 12, 108 ], [ 29, 58, 107 ], [ 20, 39, 110 ], [ 30, 73, 109 ], [ 27, 42, 112 ], [ 33, 90, 111 ], [ 18, 73, 114 ], [ 56, 89, 113 ] ];

k3_g10[116,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 107, 115 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 113 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 112 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 114 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 85, 116 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 46, 115 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 76, 110, 113 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 89, 116 ], 
  [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 78, 114 ], [ 36, 102, 112 ], [ 19, 21, 97 ], 
  [ 59, 66, 103 ], [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], 
  [ 8, 72, 90 ], [ 9, 92, 104 ], [ 24, 47, 103 ], [ 24, 94, 106 ], [ 28, 51, 105 ], [ 10, 12, 108 ], [ 29, 58, 107 ], [ 20, 39, 110 ], [ 30, 73, 109 ], [ 27, 42, 112 ], [ 33, 90, 111 ], [ 18, 73, 114 ], [ 56, 89, 113 ], 
  [ 12, 69, 116 ], [ 62, 78, 115 ] ];

k3_g10[116,2] := [ [ 31, 75, 106 ], [ 26, 84, 100 ], [ 16, 53, 104 ], [ 25, 45, 103 ], [ 38, 42, 105 ],
  [ 7, 33, 87 ], [ 6, 36, 64 ], [ 28, 103, 106 ], [ 79, 81, 105 ], [ 14, 83, 102 ], [ 53, 80, 98 ], 
  [ 47, 96, 116 ], [ 42, 43, 108 ], [ 10, 34, 67 ], [ 46, 61, 90 ], [ 3, 23, 113 ], [ 29, 68, 86 ], 
  [ 55, 88, 101 ], [ 20, 37, 40 ], [ 19, 83, 93 ], [ 74, 79, 110 ], [ 26, 72, 87 ], [ 16, 33, 62 ], 
  [ 69, 76, 113 ], [ 4, 107, 116 ], [ 2, 22, 94 ], [ 47, 59, 100 ], [ 8, 41, 74 ], [ 17, 43, 59 ], 
  [ 45, 113, 115 ], [ 1, 70, 82 ], [ 39, 50, 81 ], [ 6, 23, 79 ], [ 14, 56, 106 ], [ 63, 73, 80 ], 
  [ 7, 85, 112 ], [ 19, 39, 86 ], [ 5, 75, 80 ], [ 32, 37, 92 ], [ 19, 72, 103 ], [ 28, 55, 58 ], 
  [ 5, 13, 76 ], [ 13, 29, 102 ], [ 61, 66, 107 ], [ 4, 30, 112 ], [ 15, 57, 93 ], [ 12, 27, 77 ], 
  [ 52, 95, 115 ], [ 52, 63, 77 ], [ 32, 78, 82 ], [ 54, 69, 86 ], [ 48, 49, 110 ], [ 3, 11, 109 ], 
  [ 51, 96, 98 ], [ 18, 41, 97 ], [ 34, 69, 114 ], [ 46, 64, 96 ], [ 41, 99, 100 ], [ 27, 29, 104 ], 
  [ 64, 75, 95 ], [ 15, 44, 110 ], [ 23, 83, 111 ], [ 35, 49, 85 ], [ 7, 57, 60 ], [ 82, 85, 99 ], 
  [ 44, 78, 114 ], [ 14, 81, 101 ], [ 17, 70, 97 ], [ 24, 51, 56 ], [ 31, 68, 90 ], [ 76, 93, 99 ], 
  [ 22, 40, 73 ], [ 35, 72, 101 ], [ 21, 28, 98 ], [ 1, 38, 60 ], [ 24, 42, 71 ], [ 47, 49, 92 ], 
  [ 50, 66, 104 ], [ 9, 21, 33 ], [ 11, 35, 38 ], [ 9, 32, 67 ], [ 31, 50, 65 ], [ 10, 20, 62 ], 
  [ 2, 95, 111 ], [ 36, 63, 65 ], [ 17, 37, 51 ], [ 6, 22, 114 ], [ 18, 91, 108 ], [ 92, 108, 109 ], 
  [ 15, 70, 94 ], [ 88, 107, 111 ], [ 39, 77, 89 ], [ 20, 46, 71 ], [ 26, 90, 109 ], [ 48, 60, 84 ], 
  [ 12, 54, 57 ], [ 55, 68, 115 ], [ 11, 54, 74 ], [ 58, 65, 71 ], [ 2, 27, 58 ], [ 18, 67, 73 ], 
  [ 10, 43, 112 ], [ 4, 8, 40 ], [ 3, 59, 78 ], [ 5, 9, 116 ], [ 1, 8, 34 ], [ 25, 44, 91 ], 
  [ 13, 88, 89 ], [ 53, 89, 94 ], [ 21, 52, 61 ], [ 62, 84, 91 ], [ 36, 45, 102 ], [ 16, 24, 30 ], 
  [ 56, 66, 87 ], [ 30, 48, 97 ], [ 12, 25, 105 ] ];

k3_g10[118,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 107, 115 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 113 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 117 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 114 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 85, 116 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 46, 115 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 76, 110, 113 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 89, 116 ], 
  [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 78, 114 ], [ 36, 102, 112 ], [ 19, 21, 97 ], 
  [ 59, 66, 103 ], [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], 
  [ 8, 72, 90 ], [ 9, 92, 118 ], [ 24, 47, 118 ], [ 24, 94, 106 ], [ 28, 51, 105 ], [ 10, 12, 108 ], [ 29, 58, 107 ], [ 20, 39, 110 ], [ 30, 73, 109 ], [ 27, 42, 112 ], [ 90, 111, 117 ], [ 18, 73, 114 ], [ 56, 89, 113 ], 
  [ 12, 69, 116 ], [ 62, 78, 115 ], [ 33, 112, 118 ], [ 103, 104, 117 ] ];

k3_g10[118,2] := [ [ 33, 77, 108 ], [ 28, 86, 102 ], [ 18, 55, 106 ], [ 27, 47, 105 ], [ 40, 44, 107 ],
  [ 7, 35, 89 ], [ 6, 38, 66 ], [ 30, 105, 108 ], [ 81, 83, 107 ], [ 16, 85, 104 ], [ 33, 64, 72 ], 
  [ 55, 82, 100 ], [ 85, 86, 113 ], [ 49, 98, 118 ], [ 44, 45, 110 ], [ 10, 36, 69 ], [ 48, 63, 92 ], 
  [ 3, 25, 115 ], [ 31, 70, 88 ], [ 57, 90, 103 ], [ 22, 39, 42 ], [ 21, 85, 95 ], [ 76, 81, 112 ], 
  [ 28, 74, 89 ], [ 18, 35, 64 ], [ 71, 78, 115 ], [ 4, 109, 118 ], [ 2, 24, 96 ], [ 49, 61, 102 ], 
  [ 8, 43, 76 ], [ 19, 45, 61 ], [ 47, 115, 117 ], [ 1, 11, 84 ], [ 41, 52, 83 ], [ 6, 25, 81 ], 
  [ 16, 58, 108 ], [ 65, 75, 82 ], [ 7, 87, 114 ], [ 21, 41, 88 ], [ 5, 77, 82 ], [ 34, 39, 94 ], 
  [ 21, 74, 105 ], [ 30, 57, 60 ], [ 5, 15, 78 ], [ 15, 31, 104 ], [ 63, 68, 109 ], [ 4, 32, 114 ], 
  [ 17, 59, 95 ], [ 14, 29, 79 ], [ 54, 97, 117 ], [ 54, 65, 79 ], [ 34, 80, 84 ], [ 56, 71, 88 ], 
  [ 50, 51, 112 ], [ 3, 12, 111 ], [ 53, 98, 100 ], [ 20, 43, 99 ], [ 36, 71, 116 ], [ 48, 66, 98 ], 
  [ 43, 101, 102 ], [ 29, 31, 106 ], [ 66, 77, 97 ], [ 17, 46, 112 ], [ 11, 25, 113 ], [ 37, 51, 87 ], 
  [ 7, 59, 62 ], [ 84, 87, 101 ], [ 46, 80, 116 ], [ 16, 83, 103 ], [ 19, 72, 99 ], [ 26, 53, 58 ], 
  [ 11, 70, 92 ], [ 78, 95, 101 ], [ 24, 42, 75 ], [ 37, 74, 103 ], [ 23, 30, 100 ], [ 1, 40, 62 ], 
  [ 26, 44, 73 ], [ 49, 51, 94 ], [ 52, 68, 106 ], [ 9, 23, 35 ], [ 12, 37, 40 ], [ 9, 34, 69 ], 
  [ 33, 52, 67 ], [ 10, 13, 22 ], [ 2, 13, 97 ], [ 38, 65, 67 ], [ 19, 39, 53 ], [ 6, 24, 116 ], 
  [ 20, 93, 110 ], [ 94, 110, 111 ], [ 17, 72, 96 ], [ 90, 109, 113 ], [ 41, 79, 91 ], [ 22, 48, 73 ], 
  [ 28, 92, 111 ], [ 50, 62, 86 ], [ 14, 56, 59 ], [ 57, 70, 117 ], [ 12, 56, 76 ], [ 60, 67, 73 ], 
  [ 2, 29, 60 ], [ 20, 69, 75 ], [ 10, 45, 114 ], [ 4, 8, 42 ], [ 3, 61, 80 ], [ 5, 9, 118 ], 
  [ 1, 8, 36 ], [ 27, 46, 93 ], [ 15, 90, 91 ], [ 55, 91, 96 ], [ 23, 54, 63 ], [ 13, 64, 93 ], 
  [ 38, 47, 104 ], [ 18, 26, 32 ], [ 58, 68, 89 ], [ 32, 50, 99 ], [ 14, 27, 107 ] ];

k3_g10[120,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 107, 115 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 119 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 105 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 117 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 114 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 85, 116 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 46, 115 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 76, 110, 113 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 89, 116 ], 
  [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 78, 114 ], [ 36, 102, 112 ], [ 19, 21, 97 ], 
  [ 59, 66, 103 ], [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], 
  [ 8, 72, 90 ], [ 9, 92, 118 ], [ 24, 47, 118 ], [ 24, 94, 106 ], [ 28, 51, 105 ], [ 10, 12, 120 ], [ 29, 58, 120 ], [ 20, 39, 110 ], [ 30, 73, 109 ], [ 27, 42, 112 ], [ 90, 111, 117 ], [ 73, 114, 119 ], [ 56, 89, 113 ], 
  [ 12, 69, 116 ], [ 62, 78, 115 ], [ 33, 112, 118 ], [ 103, 104, 117 ], [ 18, 113, 120 ], [ 107, 108, 119 ] ];

k3_g10[120,2] := [ [ 77, 79, 110 ], [ 28, 88, 104 ], [ 18, 55, 108 ], [ 27, 47, 107 ], [ 40, 44, 109 ],
  [ 7, 35, 91 ], [ 6, 38, 66 ], [ 30, 107, 110 ], [ 82, 84, 109 ], [ 16, 87, 106 ], [ 33, 64, 79 ], 
  [ 55, 83, 102 ], [ 87, 88, 115 ], [ 49, 85, 120 ], [ 44, 45, 112 ], [ 10, 36, 69 ], [ 48, 63, 94 ], 
  [ 3, 25, 117 ], [ 31, 70, 90 ], [ 57, 92, 105 ], [ 22, 39, 42 ], [ 21, 87, 97 ], [ 76, 82, 114 ], 
  [ 28, 74, 91 ], [ 18, 35, 64 ], [ 71, 78, 117 ], [ 4, 111, 120 ], [ 2, 24, 98 ], [ 49, 61, 104 ], 
  [ 8, 43, 76 ], [ 19, 45, 61 ], [ 47, 117, 119 ], [ 11, 85, 86 ], [ 41, 52, 84 ], [ 6, 25, 82 ], 
  [ 16, 58, 110 ], [ 65, 75, 83 ], [ 7, 89, 116 ], [ 21, 41, 90 ], [ 5, 77, 83 ], [ 34, 39, 96 ], 
  [ 21, 74, 107 ], [ 30, 57, 60 ], [ 5, 15, 78 ], [ 15, 31, 106 ], [ 63, 68, 111 ], [ 4, 32, 116 ], 
  [ 17, 59, 97 ], [ 14, 29, 80 ], [ 54, 99, 119 ], [ 54, 65, 80 ], [ 34, 81, 86 ], [ 56, 71, 90 ], 
  [ 50, 51, 114 ], [ 3, 12, 113 ], [ 53, 100, 102 ], [ 20, 43, 101 ], [ 36, 71, 118 ], [ 48, 66, 100 ],
  [ 43, 103, 104 ], [ 29, 31, 108 ], [ 66, 77, 99 ], [ 17, 46, 114 ], [ 11, 25, 115 ], [ 37, 51, 89 ], 
  [ 7, 59, 62 ], [ 86, 89, 103 ], [ 46, 81, 118 ], [ 16, 84, 105 ], [ 19, 72, 101 ], [ 26, 53, 58 ], 
  [ 70, 79, 94 ], [ 78, 97, 103 ], [ 24, 42, 75 ], [ 37, 74, 105 ], [ 23, 30, 102 ], [ 1, 40, 62 ], 
  [ 26, 44, 73 ], [ 1, 11, 72 ], [ 49, 51, 96 ], [ 52, 68, 108 ], [ 9, 23, 35 ], [ 12, 37, 40 ], 
  [ 9, 34, 69 ], [ 14, 33, 100 ], [ 33, 52, 67 ], [ 10, 13, 22 ], [ 2, 13, 99 ], [ 38, 65, 67 ], 
  [ 19, 39, 53 ], [ 6, 24, 118 ], [ 20, 95, 112 ], [ 96, 112, 113 ], [ 17, 72, 98 ], [ 92, 111, 115 ], 
  [ 41, 80, 93 ], [ 22, 48, 73 ], [ 28, 94, 113 ], [ 50, 62, 88 ], [ 56, 59, 85 ], [ 57, 70, 119 ], 
  [ 12, 56, 76 ], [ 60, 67, 73 ], [ 2, 29, 60 ], [ 20, 69, 75 ], [ 10, 45, 116 ], [ 4, 8, 42 ], 
  [ 3, 61, 81 ], [ 5, 9, 120 ], [ 1, 8, 36 ], [ 27, 46, 95 ], [ 15, 92, 93 ], [ 55, 93, 98 ], 
  [ 23, 54, 63 ], [ 13, 64, 95 ], [ 38, 47, 106 ], [ 18, 26, 32 ], [ 58, 68, 91 ], [ 32, 50, 101 ], 
  [ 14, 27, 109 ] ];

k3_g10[122,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 107, 115 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 119 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 121 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 117 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 114 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 85, 116 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 46, 115 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 76, 110, 113 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 89, 116 ], 
  [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 78, 114 ], [ 36, 102, 112 ], [ 19, 21, 97 ], 
  [ 59, 66, 103 ], [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], 
  [ 8, 72, 90 ], [ 9, 92, 118 ], [ 24, 47, 118 ], [ 94, 106, 121 ], [ 28, 51, 105 ], [ 10, 12, 122 ], [ 29, 58, 120 ], [ 20, 39, 110 ], [ 30, 73, 109 ], [ 27, 42, 112 ], [ 90, 111, 117 ], [ 73, 114, 119 ], [ 56, 89, 113 ], 
  [ 12, 69, 116 ], [ 62, 78, 115 ], [ 33, 112, 118 ], [ 103, 104, 117 ], [ 18, 113, 120 ], [ 108, 119, 122 ], [ 24, 105, 122 ], [ 107, 120, 121 ] ];

k3_g10[122,2] := [ [ 78, 80, 112 ], [ 29, 89, 106 ], [ 19, 56, 110 ], [ 28, 48, 109 ], [ 41, 45, 111 ], 
  [ 7, 36, 92 ], [ 6, 39, 67 ], [ 25, 75, 97 ], [ 31, 109, 112 ], [ 83, 85, 111 ], [ 17, 88, 108 ], 
  [ 34, 65, 80 ], [ 56, 84, 104 ], [ 88, 89, 117 ], [ 50, 86, 122 ], [ 45, 46, 114 ], [ 11, 37, 70 ], 
  [ 49, 64, 95 ], [ 3, 26, 119 ], [ 32, 71, 91 ], [ 58, 93, 107 ], [ 23, 40, 43 ], [ 22, 88, 99 ], 
  [ 77, 83, 116 ], [ 8, 29, 92 ], [ 19, 36, 65 ], [ 72, 79, 119 ], [ 4, 113, 122 ], [ 2, 25, 100 ], 
  [ 50, 62, 106 ], [ 9, 44, 77 ], [ 20, 46, 62 ], [ 48, 119, 121 ], [ 12, 87, 97 ], [ 42, 53, 85 ], 
  [ 6, 26, 83 ], [ 17, 59, 112 ], [ 66, 76, 84 ], [ 7, 90, 118 ], [ 22, 42, 91 ], [ 5, 78, 84 ], 
  [ 35, 40, 98 ], [ 22, 75, 109 ], [ 31, 58, 61 ], [ 5, 16, 79 ], [ 16, 32, 108 ], [ 64, 69, 113 ], 
  [ 4, 33, 118 ], [ 18, 60, 99 ], [ 15, 30, 81 ], [ 55, 101, 121 ], [ 55, 66, 81 ], [ 35, 82, 87 ], 
  [ 57, 72, 91 ], [ 51, 52, 116 ], [ 3, 13, 115 ], [ 54, 102, 104 ], [ 21, 44, 103 ], [ 37, 72, 120 ], 
  [ 49, 67, 102 ], [ 44, 105, 106 ], [ 30, 32, 110 ], [ 67, 78, 101 ], [ 18, 47, 116 ], [ 12, 26, 117 ],
  [ 38, 52, 90 ], [ 7, 60, 63 ], [ 87, 90, 105 ], [ 47, 82, 120 ], [ 17, 85, 107 ], [ 20, 73, 103 ], 
  [ 27, 54, 59 ], [ 71, 80, 95 ], [ 79, 99, 105 ], [ 8, 43, 76 ], [ 38, 75, 107 ], [ 24, 31, 104 ], 
  [ 1, 41, 63 ], [ 27, 45, 74 ], [ 1, 12, 73 ], [ 50, 52, 98 ], [ 53, 69, 110 ], [ 10, 24, 36 ], 
  [ 13, 38, 41 ], [ 10, 35, 70 ], [ 15, 97, 102 ], [ 34, 53, 68 ], [ 11, 14, 23 ], [ 2, 14, 101 ], 
  [ 39, 66, 68 ], [ 20, 40, 54 ], [ 6, 25, 120 ], [ 21, 96, 114 ], [ 98, 114, 115 ], [ 18, 73, 100 ], 
  [ 93, 113, 117 ], [ 8, 34, 86 ], [ 42, 81, 94 ], [ 23, 49, 74 ], [ 29, 95, 115 ], [ 51, 63, 89 ], 
  [ 57, 60, 86 ], [ 58, 71, 121 ], [ 13, 57, 77 ], [ 61, 68, 74 ], [ 2, 30, 61 ], [ 21, 70, 76 ], 
  [ 11, 46, 118 ], [ 4, 9, 43 ], [ 3, 62, 82 ], [ 5, 10, 122 ], [ 1, 9, 37 ], [ 28, 47, 96 ], 
  [ 16, 93, 94 ], [ 56, 94, 100 ], [ 24, 55, 64 ], [ 14, 65, 96 ], [ 39, 48, 108 ], [ 19, 27, 33 ], 
  [ 59, 69, 92 ], [ 33, 51, 103 ], [ 15, 28, 111 ] ];

k3_g10[124,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 107, 123 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 119 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 121 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 117 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 114 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 85, 116 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 46, 115 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 76, 110, 113 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 89, 116 ], 
  [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 78, 114 ], [ 36, 102, 112 ], [ 19, 21, 97 ], 
  [ 59, 66, 103 ], [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], 
  [ 8, 72, 90 ], [ 9, 92, 118 ], [ 24, 47, 118 ], [ 94, 106, 121 ], [ 28, 51, 105 ], [ 10, 12, 122 ], [ 29, 58, 120 ], [ 20, 39, 124 ], [ 30, 73, 124 ], [ 27, 42, 112 ], [ 90, 111, 117 ], [ 73, 114, 119 ], [ 56, 89, 113 ], 
  [ 69, 116, 123 ], [ 62, 78, 115 ], [ 33, 112, 118 ], [ 103, 104, 117 ], [ 18, 113, 120 ], [ 108, 119, 122 ], [ 24, 105, 122 ], [ 107, 120, 121 ], [ 12, 115, 124 ], [ 109, 110, 123 ] ];

k3_g10[124,2] := [ [ 80, 82, 114 ], [ 29, 91, 108 ], [ 19, 58, 112 ], [ 28, 50, 111 ], [ 43, 47, 113 ], 
  [ 7, 38, 94 ], [ 6, 41, 69 ], [ 25, 35, 77 ], [ 31, 111, 114 ], [ 85, 87, 113 ], [ 17, 90, 110 ], 
  [ 34, 67, 82 ], [ 58, 86, 106 ], [ 90, 91, 119 ], [ 52, 88, 124 ], [ 47, 48, 116 ], [ 11, 39, 72 ], 
  [ 51, 66, 97 ], [ 3, 26, 121 ], [ 32, 73, 93 ], [ 60, 95, 109 ], [ 23, 42, 45 ], [ 22, 90, 101 ], 
  [ 79, 85, 118 ], [ 8, 29, 94 ], [ 19, 38, 67 ], [ 74, 81, 121 ], [ 4, 115, 124 ], [ 2, 25, 102 ], 
  [ 52, 64, 108 ], [ 9, 46, 79 ], [ 20, 36, 48 ], [ 50, 121, 123 ], [ 12, 89, 99 ], [ 8, 48, 99 ], 
  [ 32, 64, 110 ], [ 44, 55, 87 ], [ 6, 26, 85 ], [ 17, 61, 114 ], [ 68, 78, 86 ], [ 7, 92, 120 ], 
  [ 22, 44, 93 ], [ 5, 80, 86 ], [ 37, 42, 100 ], [ 22, 77, 111 ], [ 31, 60, 63 ], [ 5, 16, 81 ], 
  [ 16, 32, 35 ], [ 66, 71, 115 ], [ 4, 33, 120 ], [ 18, 62, 101 ], [ 15, 30, 83 ], [ 57, 103, 123 ], 
  [ 57, 68, 83 ], [ 37, 84, 89 ], [ 59, 74, 93 ], [ 53, 54, 118 ], [ 3, 13, 117 ], [ 56, 104, 106 ], 
  [ 21, 46, 105 ], [ 39, 74, 122 ], [ 51, 69, 104 ], [ 46, 107, 108 ], [ 30, 36, 112 ], [ 69, 80, 103 ],
  [ 18, 49, 118 ], [ 12, 26, 119 ], [ 40, 54, 92 ], [ 7, 62, 65 ], [ 89, 92, 107 ], [ 49, 84, 122 ], 
  [ 17, 87, 109 ], [ 20, 75, 105 ], [ 27, 56, 61 ], [ 73, 82, 97 ], [ 81, 101, 107 ], [ 8, 45, 78 ], 
  [ 40, 77, 109 ], [ 24, 31, 106 ], [ 1, 43, 65 ], [ 27, 47, 76 ], [ 1, 12, 75 ], [ 52, 54, 100 ], 
  [ 55, 71, 112 ], [ 10, 24, 38 ], [ 13, 40, 43 ], [ 10, 37, 72 ], [ 15, 99, 104 ], [ 34, 55, 70 ], 
  [ 11, 14, 23 ], [ 2, 14, 103 ], [ 41, 68, 70 ], [ 20, 42, 56 ], [ 6, 25, 122 ], [ 21, 98, 116 ], 
  [ 100, 116, 117 ], [ 18, 75, 102 ], [ 95, 115, 119 ], [ 34, 35, 88 ], [ 44, 83, 96 ], [ 23, 51, 76 ], 
  [ 29, 97, 117 ], [ 53, 65, 91 ], [ 59, 62, 88 ], [ 60, 73, 123 ], [ 13, 59, 79 ], [ 63, 70, 76 ], 
  [ 2, 30, 63 ], [ 21, 72, 78 ], [ 11, 36, 120 ], [ 4, 9, 45 ], [ 3, 64, 84 ], [ 5, 10, 124 ], 
  [ 1, 9, 39 ], [ 28, 49, 98 ], [ 16, 95, 96 ], [ 58, 96, 102 ], [ 24, 57, 66 ], [ 14, 67, 98 ], 
  [ 41, 50, 110 ], [ 19, 27, 33 ], [ 61, 71, 94 ], [ 33, 53, 105 ], [ 15, 28, 113 ] ];

k3_g10[126,1] := [ [ 40, 55, 101 ], [ 46, 74, 82 ], [ 41, 54, 89 ], [ 40, 61, 69 ], [ 45, 86, 94 ], [ 37, 65, 71 ], [ 35, 63, 99 ], [ 51, 83, 102 ], 
  [ 54, 64, 103 ], [ 81, 93, 107 ], [ 36, 48, 68 ], [ 19, 107, 123 ], [ 21, 49, 99 ], [ 24, 48, 98 ], [ 45, 77, 100 ], [ 18, 36, 38 ], [ 18, 40, 66 ], [ 16, 17, 119 ], [ 12, 68, 91 ], [ 49, 80, 109 ], [ 13, 27, 91 ], [ 39, 48, 75 ], 
  [ 29, 39, 55 ], [ 14, 104, 121 ], [ 37, 76, 97 ], [ 43, 72, 78 ], [ 21, 45, 111 ], [ 50, 65, 106 ], [ 23, 100, 108 ], [ 86, 88, 110 ], [ 60, 84, 98 ], 
  [ 43, 47, 97 ], [ 58, 79, 117 ], [ 42, 84, 101 ], [ 7, 62, 98 ], [ 11, 16, 90 ], [ 6, 25, 79 ], [ 16, 70, 77 ], [ 22, 23, 109 ], [ 1, 4, 17 ], [ 3, 80, 96 ], [ 34, 56, 111 ], [ 26, 32, 55 ], [ 63, 82, 88 ], [ 5, 15, 27 ], 
  [ 2, 69, 83 ], [ 32, 95, 104 ], [ 11, 14, 22 ], [ 13, 20, 51 ], [ 28, 87, 101 ], [ 8, 49, 106 ], [ 70, 80, 81 ], [ 72, 86, 93 ], [ 3, 9, 67 ], [ 1, 23, 43 ], 
  [ 42, 74, 114 ], [ 60, 64, 83 ], [ 33, 63, 108 ], [ 71, 92, 93 ], [ 31, 57, 76 ], [ 4, 94, 96 ], [ 35, 85, 116 ], [ 7, 44, 58 ], [ 9, 57, 100 ], [ 6, 28, 85 ], [ 17, 92, 99 ], [ 54, 68, 87 ], [ 11, 19, 67 ], 
  [ 4, 46, 115 ], [ 38, 52, 95 ], [ 6, 59, 75 ], [ 26, 53, 102 ], [ 76, 110, 113 ], [ 2, 56, 75 ], [ 22, 71, 74 ], [ 25, 60, 73 ], [ 15, 38, 85 ], [ 26, 89, 116 ], 
  [ 33, 37, 96 ], [ 20, 41, 52 ], [ 10, 52, 84 ], [ 2, 44, 95 ], [ 8, 46, 57 ], [ 31, 34, 81 ], [ 62, 65, 77 ], [ 5, 30, 53 ], [ 50, 67, 88 ], [ 30, 44, 87 ], [ 3, 78, 114 ], [ 36, 102, 112 ], [ 19, 21, 97 ], 
  [ 59, 66, 103 ], [ 10, 53, 59 ], [ 5, 61, 105 ], [ 47, 70, 82 ], [ 41, 61, 79 ], [ 25, 32, 91 ], [ 14, 31, 35 ], [ 7, 13, 66 ], [ 15, 29, 64 ], [ 1, 34, 50 ], 
  [ 8, 72, 90 ], [ 9, 92, 125 ], [ 24, 47, 118 ], [ 94, 106, 121 ], [ 28, 51, 105 ], [ 10, 12, 122 ], [ 29, 58, 120 ], [ 20, 39, 126 ], [ 30, 73, 124 ], [ 27, 42, 112 ], [ 90, 111, 117 ], [ 73, 114, 119 ], [ 56, 89, 113 ], 
  [ 69, 116, 123 ], [ 62, 78, 115 ], [ 33, 112, 118 ], [ 104, 117, 125 ], [ 18, 113, 120 ], [ 108, 119, 122 ], [ 24, 105, 122 ], [ 107, 120, 121 ], [ 12, 115, 124 ], [ 110, 123, 126 ], [ 103, 118, 126 ], [ 109, 124, 125 ] ];

k3_g10[126,2] := [ [ 82, 84, 116 ], [ 30, 93, 110 ], [ 19, 60, 114 ], [ 29, 52, 113 ], [ 45, 49, 115 ], 
  [ 7, 40, 96 ], [ 6, 43, 71 ], [ 26, 37, 79 ], [ 33, 113, 116 ], [ 87, 89, 115 ], [ 17, 92, 112 ], 
  [ 36, 69, 84 ], [ 60, 88, 108 ], [ 92, 93, 121 ], [ 54, 90, 126 ], [ 49, 50, 118 ], [ 11, 41, 74 ], 
  [ 31, 53, 99 ], [ 3, 27, 123 ], [ 53, 80, 111 ], [ 34, 75, 95 ], [ 62, 97, 111 ], [ 24, 44, 47 ], 
  [ 23, 92, 103 ], [ 81, 87, 120 ], [ 8, 30, 96 ], [ 19, 40, 69 ], [ 76, 83, 123 ], [ 4, 117, 126 ], 
  [ 2, 26, 104 ], [ 18, 68, 103 ], [ 54, 66, 110 ], [ 9, 48, 81 ], [ 21, 38, 50 ], [ 52, 123, 125 ], 
  [ 12, 91, 101 ], [ 8, 50, 101 ], [ 34, 66, 112 ], [ 46, 57, 89 ], [ 6, 27, 87 ], [ 17, 63, 116 ], 
  [ 70, 80, 88 ], [ 7, 94, 122 ], [ 23, 46, 95 ], [ 5, 82, 88 ], [ 39, 44, 102 ], [ 23, 79, 113 ], 
  [ 33, 62, 65 ], [ 5, 16, 83 ], [ 16, 34, 37 ], [ 68, 73, 117 ], [ 4, 35, 122 ], [ 18, 20, 64 ], 
  [ 15, 32, 85 ], [ 59, 105, 125 ], [ 59, 70, 85 ], [ 39, 86, 91 ], [ 61, 76, 95 ], [ 55, 56, 120 ], 
  [ 3, 13, 119 ], [ 58, 106, 108 ], [ 22, 48, 107 ], [ 41, 76, 124 ], [ 53, 71, 106 ], [ 48, 109, 110 ],
  [ 32, 38, 114 ], [ 71, 82, 105 ], [ 31, 51, 120 ], [ 12, 27, 121 ], [ 42, 56, 94 ], [ 7, 64, 67 ], 
  [ 91, 94, 109 ], [ 51, 86, 124 ], [ 17, 89, 111 ], [ 21, 77, 107 ], [ 28, 58, 63 ], [ 75, 84, 99 ], 
  [ 83, 103, 109 ], [ 8, 47, 80 ], [ 20, 42, 79 ], [ 25, 33, 108 ], [ 1, 45, 67 ], [ 28, 49, 78 ], 
  [ 1, 12, 77 ], [ 54, 56, 102 ], [ 57, 73, 114 ], [ 10, 25, 40 ], [ 13, 42, 45 ], [ 10, 39, 74 ], 
  [ 15, 101, 106 ], [ 36, 57, 72 ], [ 11, 14, 24 ], [ 2, 14, 105 ], [ 43, 70, 72 ], [ 21, 44, 58 ], 
  [ 6, 26, 124 ], [ 22, 100, 118 ], [ 102, 118, 119 ], [ 18, 77, 104 ], [ 97, 117, 121 ], 
  [ 36, 37, 90 ], [ 46, 85, 98 ], [ 24, 31, 78 ], [ 30, 99, 119 ], [ 55, 67, 93 ], [ 61, 64, 90 ], 
  [ 62, 75, 125 ], [ 13, 61, 81 ], [ 65, 72, 78 ], [ 2, 32, 65 ], [ 20, 22, 74 ], [ 11, 38, 122 ], 
  [ 4, 9, 47 ], [ 3, 66, 86 ], [ 5, 10, 126 ], [ 1, 9, 41 ], [ 29, 51, 100 ], [ 16, 97, 98 ], 
  [ 60, 98, 104 ], [ 25, 59, 68 ], [ 14, 69, 100 ], [ 43, 52, 112 ], [ 19, 28, 35 ], [ 63, 73, 96 ], 
  [ 35, 55, 107 ], [ 15, 29, 115 ] ];

k3_g10[128,1] := [ [ 84, 86, 118 ], [ 30, 95, 112 ], [ 19, 61, 116 ], [ 29, 52, 115 ], [ 45, 49, 117 ], 
  [ 7, 40, 98 ], [ 6, 43, 73 ], [ 26, 37, 81 ], [ 33, 115, 118 ], [ 89, 91, 117 ], [ 17, 94, 114 ], 
  [ 36, 71, 86 ], [ 61, 90, 110 ], [ 94, 95, 123 ], [ 54, 92, 128 ], [ 50, 66, 120 ], [ 11, 41, 76 ], 
  [ 31, 53, 101 ], [ 3, 27, 125 ], [ 53, 82, 113 ], [ 34, 77, 97 ], [ 63, 99, 113 ], [ 24, 44, 47 ], 
  [ 23, 94, 105 ], [ 83, 89, 122 ], [ 8, 30, 98 ], [ 19, 40, 71 ], [ 78, 85, 125 ], [ 4, 119, 128 ], 
  [ 2, 26, 106 ], [ 18, 70, 105 ], [ 54, 68, 112 ], [ 9, 48, 83 ], [ 21, 38, 50 ], [ 52, 125, 127 ], 
  [ 12, 93, 103 ], [ 8, 50, 103 ], [ 34, 68, 114 ], [ 46, 57, 91 ], [ 6, 27, 89 ], [ 17, 64, 118 ], 
  [ 72, 82, 90 ], [ 7, 96, 124 ], [ 23, 46, 97 ], [ 5, 60, 90 ], [ 39, 44, 104 ], [ 23, 81, 115 ], 
  [ 33, 63, 67 ], [ 5, 66, 85 ], [ 16, 34, 37 ], [ 70, 75, 119 ], [ 4, 35, 124 ], [ 18, 20, 65 ], 
  [ 15, 32, 87 ], [ 59, 107, 127 ], [ 59, 72, 87 ], [ 39, 88, 93 ], [ 62, 78, 97 ], [ 55, 56, 122 ], 
  [ 45, 77, 109 ], [ 3, 13, 121 ], [ 58, 108, 110 ], [ 22, 48, 109 ], [ 41, 78, 126 ], [ 53, 73, 108 ], 
  [ 16, 49, 84 ], [ 48, 111, 112 ], [ 32, 38, 116 ], [ 73, 84, 107 ], [ 31, 51, 122 ], [ 12, 27, 123 ], 
  [ 42, 56, 96 ], [ 7, 65, 69 ], [ 93, 96, 111 ], [ 51, 88, 126 ], [ 17, 91, 113 ], [ 21, 60, 79 ], 
  [ 28, 58, 64 ], [ 77, 86, 101 ], [ 85, 105, 111 ], [ 8, 47, 82 ], [ 20, 42, 81 ], [ 25, 33, 110 ], 
  [ 1, 66, 69 ], [ 28, 49, 80 ], [ 1, 12, 79 ], [ 54, 56, 104 ], [ 57, 75, 116 ], [ 10, 25, 40 ], 
  [ 13, 42, 45 ], [ 10, 39, 76 ], [ 15, 103, 108 ], [ 36, 57, 74 ], [ 11, 14, 24 ], [ 2, 14, 107 ], 
  [ 43, 72, 74 ], [ 21, 44, 58 ], [ 6, 26, 126 ], [ 22, 102, 120 ], [ 104, 120, 121 ], [ 18, 79, 106 ], 
  [ 99, 119, 123 ], [ 36, 37, 92 ], [ 46, 87, 100 ], [ 24, 31, 80 ], [ 30, 101, 121 ], [ 55, 69, 95 ], 
  [ 62, 65, 92 ], [ 60, 63, 127 ], [ 13, 62, 83 ], [ 67, 74, 80 ], [ 2, 32, 67 ], [ 20, 22, 76 ], 
  [ 11, 38, 124 ], [ 4, 9, 47 ], [ 3, 68, 88 ], [ 5, 10, 128 ], [ 1, 9, 41 ], [ 29, 51, 102 ], 
  [ 16, 99, 100 ], [ 61, 100, 106 ], [ 25, 59, 70 ], [ 14, 71, 102 ], [ 43, 52, 114 ], [ 19, 28, 35 ], 
  [ 64, 75, 98 ], [ 35, 55, 109 ], [ 15, 29, 117 ] ];

k3_g10[130,1] := [ [ 86, 88, 120 ], [ 32, 97, 114 ], [ 21, 63, 118 ], [ 31, 54, 117 ], [ 47, 51, 119 ], 
  [ 14, 16, 96 ], [ 8, 42, 100 ], [ 7, 45, 75 ], [ 28, 39, 83 ], [ 35, 117, 120 ], [ 91, 93, 119 ], 
  [ 19, 96, 116 ], [ 38, 73, 88 ], [ 6, 15, 92 ], [ 14, 63, 112 ], [ 6, 97, 125 ], [ 56, 94, 130 ], 
  [ 52, 68, 122 ], [ 12, 43, 78 ], [ 33, 55, 103 ], [ 3, 29, 127 ], [ 55, 84, 115 ], [ 36, 79, 99 ], 
  [ 65, 101, 115 ], [ 26, 46, 49 ], [ 25, 96, 107 ], [ 85, 91, 124 ], [ 9, 32, 100 ], [ 21, 42, 73 ], 
  [ 80, 87, 127 ], [ 4, 121, 130 ], [ 2, 28, 108 ], [ 20, 72, 107 ], [ 56, 70, 114 ], [ 10, 50, 85 ], 
  [ 23, 40, 52 ], [ 54, 127, 129 ], [ 13, 95, 105 ], [ 9, 52, 105 ], [ 36, 70, 116 ], [ 48, 59, 93 ], 
  [ 7, 29, 91 ], [ 19, 66, 120 ], [ 74, 84, 92 ], [ 8, 98, 126 ], [ 25, 48, 99 ], [ 5, 62, 92 ], 
  [ 41, 46, 106 ], [ 25, 83, 117 ], [ 35, 65, 69 ], [ 5, 68, 87 ], [ 18, 36, 39 ], [ 72, 77, 121 ], 
  [ 4, 37, 126 ], [ 20, 22, 67 ], [ 17, 34, 89 ], [ 61, 109, 129 ], [ 61, 74, 89 ], [ 41, 90, 95 ], 
  [ 64, 80, 99 ], [ 57, 58, 124 ], [ 47, 79, 111 ], [ 3, 15, 123 ], [ 60, 110, 112 ], [ 24, 50, 111 ], 
  [ 43, 80, 128 ], [ 55, 75, 110 ], [ 18, 51, 86 ], [ 50, 113, 114 ], [ 34, 40, 118 ], [ 75, 86, 109 ], 
  [ 33, 53, 124 ], [ 13, 29, 125 ], [ 44, 58, 98 ], [ 8, 67, 71 ], [ 95, 98, 113 ], [ 53, 90, 128 ], 
  [ 19, 93, 115 ], [ 23, 62, 81 ], [ 30, 60, 66 ], [ 79, 88, 103 ], [ 87, 107, 113 ], [ 9, 49, 84 ], 
  [ 22, 44, 83 ], [ 27, 35, 112 ], [ 1, 68, 71 ], [ 30, 51, 82 ], [ 1, 13, 81 ], [ 56, 58, 106 ], 
  [ 59, 77, 118 ], [ 11, 27, 42 ], [ 14, 44, 47 ], [ 11, 41, 78 ], [ 17, 105, 110 ], [ 38, 59, 76 ], 
  [ 6, 12, 26 ], [ 2, 16, 109 ], [ 45, 74, 76 ], [ 23, 46, 60 ], [ 7, 28, 128 ], [ 24, 104, 122 ], 
  [ 106, 122, 123 ], [ 20, 81, 108 ], [ 101, 121, 125 ], [ 38, 39, 94 ], [ 48, 89, 102 ], 
  [ 26, 33, 82 ], [ 32, 103, 123 ], [ 57, 71, 97 ], [ 64, 67, 94 ], [ 62, 65, 129 ], [ 15, 64, 85 ], 
  [ 69, 76, 82 ], [ 2, 34, 69 ], [ 22, 24, 78 ], [ 12, 40, 126 ], [ 4, 10, 49 ], [ 3, 70, 90 ], 
  [ 5, 11, 130 ], [ 1, 10, 43 ], [ 31, 53, 104 ], [ 18, 101, 102 ], [ 63, 102, 108 ], [ 27, 61, 72 ], 
  [ 16, 73, 104 ], [ 45, 54, 116 ], [ 21, 30, 37 ], [ 66, 77, 100 ], [ 37, 57, 111 ], [ 17, 31, 119 ] ];

k3_g10[132,1] := [ [ 29, 38, 126 ], [ 88, 90, 122 ], [ 34, 99, 116 ], [ 23, 65, 120 ], [ 33, 56, 119 ], 
  [ 49, 53, 121 ], [ 16, 18, 98 ], [ 9, 44, 102 ], [ 8, 47, 77 ], [ 25, 42, 72 ], [ 30, 41, 85 ], 
  [ 37, 119, 122 ], [ 93, 95, 121 ], [ 21, 98, 118 ], [ 40, 75, 90 ], [ 7, 17, 94 ], [ 16, 65, 114 ], 
  [ 7, 99, 127 ], [ 58, 96, 132 ], [ 54, 70, 124 ], [ 14, 45, 80 ], [ 35, 57, 105 ], [ 4, 31, 129 ], 
  [ 57, 86, 117 ], [ 10, 81, 101 ], [ 67, 103, 117 ], [ 28, 48, 51 ], [ 27, 98, 109 ], [ 1, 87, 93 ], 
  [ 11, 34, 102 ], [ 23, 44, 75 ], [ 82, 89, 129 ], [ 5, 123, 132 ], [ 3, 30, 110 ], [ 22, 74, 109 ], 
  [ 58, 72, 116 ], [ 12, 52, 87 ], [ 1, 42, 54 ], [ 56, 129, 131 ], [ 15, 97, 107 ], [ 11, 54, 107 ], 
  [ 10, 38, 118 ], [ 50, 61, 95 ], [ 8, 31, 93 ], [ 21, 68, 122 ], [ 76, 86, 94 ], [ 9, 100, 128 ], 
  [ 27, 50, 101 ], [ 6, 64, 94 ], [ 43, 48, 108 ], [ 27, 85, 119 ], [ 37, 67, 71 ], [ 6, 70, 89 ], 
  [ 20, 38, 41 ], [ 74, 79, 123 ], [ 5, 39, 128 ], [ 22, 24, 69 ], [ 19, 36, 91 ], [ 63, 111, 131 ], 
  [ 63, 76, 91 ], [ 43, 92, 97 ], [ 66, 82, 101 ], [ 59, 60, 126 ], [ 49, 81, 113 ], [ 4, 17, 125 ], 
  [ 62, 112, 114 ], [ 26, 52, 113 ], [ 45, 82, 130 ], [ 57, 77, 112 ], [ 20, 53, 88 ], [ 52, 115, 116 ],
  [ 10, 36, 120 ], [ 77, 88, 111 ], [ 35, 55, 126 ], [ 15, 31, 127 ], [ 46, 60, 100 ], [ 9, 69, 73 ], 
  [ 97, 100, 115 ], [ 55, 92, 130 ], [ 21, 95, 117 ], [ 25, 64, 83 ], [ 32, 62, 68 ], [ 81, 90, 105 ], 
  [ 89, 109, 115 ], [ 11, 51, 86 ], [ 24, 46, 85 ], [ 29, 37, 114 ], [ 2, 70, 73 ], [ 32, 53, 84 ], 
  [ 2, 15, 83 ], [ 58, 60, 108 ], [ 61, 79, 120 ], [ 13, 29, 44 ], [ 16, 46, 49 ], [ 13, 43, 80 ], 
  [ 19, 107, 112 ], [ 40, 61, 78 ], [ 7, 14, 28 ], [ 3, 18, 111 ], [ 47, 76, 78 ], [ 25, 48, 62 ], 
  [ 8, 30, 130 ], [ 26, 106, 124 ], [ 108, 124, 125 ], [ 22, 83, 110 ], [ 103, 123, 127 ], 
  [ 40, 41, 96 ], [ 50, 91, 104 ], [ 28, 35, 84 ], [ 34, 105, 125 ], [ 59, 73, 99 ], [ 66, 69, 96 ], 
  [ 64, 67, 131 ], [ 17, 66, 87 ], [ 71, 78, 84 ], [ 3, 36, 71 ], [ 24, 26, 80 ], [ 14, 42, 128 ], 
  [ 5, 12, 51 ], [ 4, 72, 92 ], [ 6, 13, 132 ], [ 2, 12, 45 ], [ 33, 55, 106 ], [ 20, 103, 104 ], 
  [ 65, 104, 110 ], [ 1, 63, 74 ], [ 18, 75, 106 ], [ 47, 56, 118 ], [ 23, 32, 39 ], [ 68, 79, 102 ], 
  [ 39, 59, 113 ], [ 19, 33, 121 ] ];

k3_g10[134,1] := [ [ 31, 40, 128 ], [ 90, 92, 124 ], [ 36, 101, 118 ], [ 25, 67, 122 ], [ 35, 58, 121 ],
  [ 51, 55, 123 ], [ 29, 30, 110 ], [ 52, 61, 113 ], [ 18, 20, 100 ], [ 11, 46, 104 ], [ 10, 49, 79 ], 
  [ 27, 44, 74 ], [ 32, 43, 87 ], [ 39, 121, 124 ], [ 95, 97, 123 ], [ 23, 100, 120 ], [ 42, 77, 92 ], 
  [ 9, 19, 96 ], [ 18, 67, 116 ], [ 9, 101, 129 ], [ 60, 98, 134 ], [ 56, 72, 126 ], [ 16, 47, 82 ], 
  [ 37, 59, 107 ], [ 4, 33, 131 ], [ 59, 88, 119 ], [ 12, 83, 103 ], [ 69, 105, 119 ], [ 7, 50, 53 ], 
  [ 7, 100, 111 ], [ 1, 89, 95 ], [ 13, 36, 104 ], [ 25, 46, 77 ], [ 84, 91, 131 ], [ 5, 125, 134 ], 
  [ 3, 32, 112 ], [ 24, 76, 111 ], [ 60, 74, 118 ], [ 14, 54, 89 ], [ 1, 44, 56 ], [ 58, 131, 133 ], 
  [ 17, 99, 109 ], [ 13, 56, 109 ], [ 12, 40, 120 ], [ 52, 63, 97 ], [ 10, 33, 95 ], [ 23, 70, 124 ], 
  [ 78, 88, 96 ], [ 11, 102, 130 ], [ 29, 52, 103 ], [ 6, 66, 96 ], [ 8, 45, 50 ], [ 29, 87, 121 ], 
  [ 39, 69, 73 ], [ 6, 72, 91 ], [ 22, 40, 43 ], [ 76, 81, 125 ], [ 5, 41, 130 ], [ 24, 26, 71 ], 
  [ 21, 38, 93 ], [ 8, 65, 133 ], [ 65, 78, 93 ], [ 45, 94, 99 ], [ 68, 84, 103 ], [ 61, 62, 128 ], 
  [ 51, 83, 115 ], [ 4, 19, 127 ], [ 64, 114, 116 ], [ 28, 54, 115 ], [ 47, 84, 132 ], [ 59, 79, 114 ], 
  [ 22, 55, 90 ], [ 54, 117, 118 ], [ 12, 38, 122 ], [ 79, 90, 113 ], [ 37, 57, 128 ], [ 17, 33, 129 ], 
  [ 48, 62, 102 ], [ 11, 71, 75 ], [ 99, 102, 117 ], [ 57, 94, 132 ], [ 23, 97, 119 ], [ 27, 66, 85 ], 
  [ 34, 64, 70 ], [ 83, 92, 107 ], [ 91, 111, 117 ], [ 13, 53, 88 ], [ 26, 48, 87 ], [ 31, 39, 116 ], 
  [ 2, 72, 75 ], [ 34, 55, 86 ], [ 2, 17, 85 ], [ 60, 62, 110 ], [ 63, 81, 122 ], [ 15, 31, 46 ], 
  [ 18, 48, 51 ], [ 15, 45, 82 ], [ 21, 109, 114 ], [ 42, 63, 80 ], [ 9, 16, 30 ], [ 3, 20, 113 ], 
  [ 49, 78, 80 ], [ 27, 50, 64 ], [ 10, 32, 132 ], [ 28, 108, 126 ], [ 110, 126, 127 ], [ 24, 85, 112 ],
  [ 105, 125, 129 ], [ 42, 43, 98 ], [ 7, 93, 106 ], [ 30, 37, 86 ], [ 36, 107, 127 ], [ 8, 75, 101 ], 
  [ 68, 71, 98 ], [ 66, 69, 133 ], [ 19, 68, 89 ], [ 73, 80, 86 ], [ 3, 38, 73 ], [ 26, 28, 82 ], 
  [ 16, 44, 130 ], [ 5, 14, 53 ], [ 4, 74, 94 ], [ 6, 15, 134 ], [ 2, 14, 47 ], [ 35, 57, 108 ], 
  [ 22, 105, 106 ], [ 67, 106, 112 ], [ 1, 65, 76 ], [ 20, 77, 108 ], [ 49, 58, 120 ], [ 25, 34, 41 ], 
  [ 70, 81, 104 ], [ 41, 61, 115 ], [ 21, 35, 123 ] ];

k3_g10[136,1] := [ [ 33, 42, 130 ], [ 92, 94, 126 ], [ 34, 72, 134 ], [ 38, 103, 120 ], 
  [ 68, 106, 117 ], [ 27, 69, 124 ], [ 37, 60, 123 ], [ 53, 57, 125 ], [ 31, 32, 112 ], [ 54, 63, 115 ],
  [ 20, 22, 102 ], [ 13, 48, 106 ], [ 12, 51, 81 ], [ 29, 46, 76 ], [ 34, 45, 89 ], [ 41, 123, 126 ], 
  [ 97, 99, 125 ], [ 25, 102, 122 ], [ 44, 79, 94 ], [ 11, 21, 98 ], [ 20, 69, 118 ], [ 11, 103, 131 ], 
  [ 62, 100, 136 ], [ 58, 74, 128 ], [ 18, 49, 84 ], [ 39, 61, 109 ], [ 6, 35, 133 ], [ 61, 90, 121 ], 
  [ 14, 85, 105 ], [ 71, 107, 121 ], [ 9, 52, 55 ], [ 9, 102, 113 ], [ 1, 91, 97 ], [ 3, 15, 38 ], 
  [ 27, 48, 79 ], [ 86, 93, 133 ], [ 7, 127, 136 ], [ 4, 34, 114 ], [ 26, 78, 113 ], [ 62, 76, 120 ], 
  [ 16, 56, 91 ], [ 1, 46, 58 ], [ 60, 133, 135 ], [ 19, 101, 111 ], [ 15, 58, 111 ], [ 14, 42, 122 ], 
  [ 54, 65, 99 ], [ 12, 35, 97 ], [ 25, 72, 126 ], [ 80, 90, 98 ], [ 13, 104, 132 ], [ 31, 54, 105 ], 
  [ 8, 68, 98 ], [ 10, 47, 52 ], [ 31, 89, 123 ], [ 41, 71, 75 ], [ 8, 74, 93 ], [ 24, 42, 45 ], 
  [ 78, 83, 127 ], [ 7, 43, 132 ], [ 26, 28, 73 ], [ 23, 40, 95 ], [ 10, 67, 135 ], [ 67, 80, 95 ], 
  [ 47, 96, 101 ], [ 70, 86, 105 ], [ 63, 64, 130 ], [ 5, 53, 85 ], [ 6, 21, 129 ], [ 66, 116, 118 ], 
  [ 30, 56, 117 ], [ 3, 49, 86 ], [ 61, 81, 116 ], [ 24, 57, 92 ], [ 56, 119, 120 ], [ 14, 40, 124 ], 
  [ 81, 92, 115 ], [ 39, 59, 130 ], [ 19, 35, 131 ], [ 50, 64, 104 ], [ 13, 73, 77 ], [ 101, 104, 119 ],
  [ 59, 96, 134 ], [ 25, 99, 121 ], [ 29, 68, 87 ], [ 36, 66, 72 ], [ 85, 94, 109 ], [ 93, 113, 119 ], 
  [ 15, 55, 90 ], [ 28, 50, 89 ], [ 33, 41, 118 ], [ 2, 74, 77 ], [ 36, 57, 88 ], [ 2, 19, 87 ], 
  [ 62, 64, 112 ], [ 65, 83, 124 ], [ 17, 33, 48 ], [ 20, 50, 53 ], [ 17, 47, 84 ], [ 23, 111, 116 ], 
  [ 44, 65, 82 ], [ 11, 18, 32 ], [ 4, 22, 115 ], [ 51, 80, 82 ], [ 29, 52, 66 ], [ 5, 12, 134 ], 
  [ 30, 110, 128 ], [ 112, 128, 129 ], [ 26, 87, 114 ], [ 107, 127, 131 ], [ 44, 45, 100 ], 
  [ 9, 95, 108 ], [ 32, 39, 88 ], [ 38, 109, 129 ], [ 10, 77, 103 ], [ 70, 73, 100 ], [ 5, 71, 135 ], 
  [ 21, 70, 91 ], [ 75, 82, 88 ], [ 4, 40, 75 ], [ 28, 30, 84 ], [ 18, 46, 132 ], [ 7, 16, 55 ], 
  [ 6, 76, 96 ], [ 8, 17, 136 ], [ 2, 16, 49 ], [ 37, 59, 110 ], [ 24, 107, 108 ], [ 69, 108, 114 ], 
  [ 1, 67, 78 ], [ 22, 79, 110 ], [ 51, 60, 122 ], [ 27, 36, 43 ], [ 3, 83, 106 ], [ 43, 63, 117 ], 
  [ 23, 37, 125 ] ];

k3_g10[138,1] := [ [ 35, 44, 132 ], [ 67, 71, 98 ], [ 94, 96, 128 ], [ 8, 30, 92 ], [ 36, 74, 136 ], 
  [ 40, 105, 122 ], [ 70, 108, 119 ], [ 4, 29, 126 ], [ 39, 62, 125 ], [ 55, 59, 127 ], [ 33, 34, 114 ],
  [ 56, 65, 117 ], [ 22, 24, 104 ], [ 15, 50, 108 ], [ 14, 53, 83 ], [ 31, 48, 78 ], [ 36, 47, 91 ], 
  [ 43, 125, 128 ], [ 99, 101, 127 ], [ 27, 104, 124 ], [ 46, 81, 96 ], [ 13, 23, 100 ], 
  [ 22, 71, 120 ], [ 13, 105, 133 ], [ 64, 102, 138 ], [ 60, 76, 130 ], [ 20, 51, 86 ], [ 41, 63, 111 ],
  [ 8, 37, 135 ], [ 4, 63, 123 ], [ 16, 87, 107 ], [ 73, 109, 123 ], [ 11, 54, 57 ], [ 11, 104, 115 ], 
  [ 1, 93, 99 ], [ 5, 17, 40 ], [ 29, 50, 81 ], [ 88, 95, 135 ], [ 9, 129, 138 ], [ 6, 36, 116 ], 
  [ 28, 80, 115 ], [ 64, 78, 122 ], [ 18, 58, 93 ], [ 1, 48, 60 ], [ 62, 135, 137 ], [ 21, 103, 113 ], 
  [ 17, 60, 113 ], [ 16, 44, 124 ], [ 56, 67, 101 ], [ 14, 37, 99 ], [ 27, 74, 128 ], [ 82, 92, 100 ], 
  [ 15, 106, 134 ], [ 33, 56, 107 ], [ 10, 70, 100 ], [ 12, 49, 54 ], [ 33, 91, 125 ], [ 43, 73, 77 ], 
  [ 10, 76, 95 ], [ 26, 44, 47 ], [ 80, 85, 129 ], [ 9, 45, 134 ], [ 28, 30, 75 ], [ 25, 42, 97 ], 
  [ 12, 69, 137 ], [ 69, 82, 97 ], [ 2, 49, 103 ], [ 72, 88, 107 ], [ 65, 66, 132 ], [ 7, 55, 87 ], 
  [ 2, 23, 131 ], [ 68, 118, 120 ], [ 32, 58, 119 ], [ 5, 51, 88 ], [ 63, 83, 118 ], [ 26, 59, 94 ], 
  [ 58, 121, 122 ], [ 16, 42, 126 ], [ 83, 94, 117 ], [ 41, 61, 132 ], [ 21, 37, 133 ], [ 52, 66, 106 ],
  [ 15, 75, 79 ], [ 103, 106, 121 ], [ 61, 98, 136 ], [ 27, 101, 123 ], [ 31, 70, 89 ], [ 38, 68, 74 ], 
  [ 87, 96, 111 ], [ 95, 115, 121 ], [ 17, 57, 92 ], [ 4, 52, 91 ], [ 35, 43, 120 ], [ 3, 76, 79 ], 
  [ 38, 59, 90 ], [ 3, 21, 89 ], [ 64, 66, 114 ], [ 2, 85, 126 ], [ 19, 35, 50 ], [ 22, 52, 55 ], 
  [ 19, 49, 86 ], [ 25, 113, 118 ], [ 46, 67, 84 ], [ 13, 20, 34 ], [ 6, 24, 117 ], [ 53, 82, 84 ], 
  [ 31, 54, 68 ], [ 7, 14, 136 ], [ 32, 112, 130 ], [ 114, 130, 131 ], [ 28, 89, 116 ], 
  [ 109, 129, 133 ], [ 46, 47, 102 ], [ 11, 97, 110 ], [ 34, 41, 90 ], [ 40, 111, 131 ], 
  [ 12, 79, 105 ], [ 72, 75, 102 ], [ 7, 73, 137 ], [ 23, 72, 93 ], [ 77, 84, 90 ], [ 6, 42, 77 ], 
  [ 30, 32, 86 ], [ 20, 48, 134 ], [ 9, 18, 57 ], [ 8, 78, 98 ], [ 10, 19, 138 ], [ 3, 18, 51 ], 
  [ 39, 61, 112 ], [ 26, 109, 110 ], [ 71, 110, 116 ], [ 1, 69, 80 ], [ 24, 81, 112 ], [ 53, 62, 124 ], 
  [ 29, 38, 45 ], [ 5, 85, 108 ], [ 45, 65, 119 ], [ 25, 39, 127 ] ];

k3_g10[140,1] := [ [ 37, 46, 134 ], [ 5, 20, 96 ], [ 69, 73, 100 ], [ 68, 99, 130 ], [ 2, 98, 130 ], 
  [ 10, 32, 94 ], [ 38, 76, 138 ], [ 42, 107, 124 ], [ 72, 110, 121 ], [ 6, 31, 128 ], [ 41, 64, 127 ], 
  [ 57, 61, 129 ], [ 35, 36, 116 ], [ 58, 67, 119 ], [ 24, 26, 106 ], [ 17, 52, 110 ], [ 16, 55, 85 ], 
  [ 33, 50, 80 ], [ 38, 49, 93 ], [ 2, 45, 127 ], [ 101, 103, 129 ], [ 29, 106, 126 ], [ 48, 83, 98 ], 
  [ 15, 25, 102 ], [ 24, 73, 122 ], [ 15, 107, 135 ], [ 66, 104, 140 ], [ 62, 78, 132 ], 
  [ 22, 53, 88 ], [ 43, 65, 113 ], [ 10, 39, 137 ], [ 6, 65, 125 ], [ 18, 89, 109 ], [ 75, 111, 125 ], 
  [ 13, 56, 59 ], [ 13, 106, 117 ], [ 1, 95, 101 ], [ 7, 19, 42 ], [ 31, 52, 83 ], [ 90, 97, 137 ], 
  [ 11, 131, 140 ], [ 8, 38, 118 ], [ 30, 82, 117 ], [ 66, 80, 124 ], [ 20, 60, 95 ], [ 1, 50, 62 ], 
  [ 64, 137, 139 ], [ 23, 105, 115 ], [ 19, 62, 115 ], [ 18, 46, 126 ], [ 58, 69, 103 ], 
  [ 16, 39, 101 ], [ 29, 76, 130 ], [ 84, 94, 102 ], [ 17, 108, 136 ], [ 35, 58, 109 ], [ 12, 72, 102 ],
  [ 14, 51, 56 ], [ 35, 93, 127 ], [ 45, 75, 79 ], [ 12, 78, 97 ], [ 28, 46, 49 ], [ 82, 87, 131 ], 
  [ 11, 47, 136 ], [ 30, 32, 77 ], [ 27, 44, 99 ], [ 14, 71, 139 ], [ 4, 71, 84 ], [ 3, 51, 105 ], 
  [ 74, 90, 109 ], [ 67, 68, 134 ], [ 9, 57, 89 ], [ 3, 25, 133 ], [ 70, 120, 122 ], [ 34, 60, 121 ], 
  [ 7, 53, 90 ], [ 65, 85, 120 ], [ 28, 61, 96 ], [ 60, 123, 124 ], [ 18, 44, 128 ], [ 85, 96, 119 ], 
  [ 43, 63, 134 ], [ 23, 39, 135 ], [ 54, 68, 108 ], [ 17, 77, 81 ], [ 105, 108, 123 ], 
  [ 63, 100, 138 ], [ 29, 103, 125 ], [ 33, 72, 91 ], [ 40, 70, 76 ], [ 89, 98, 113 ], [ 97, 117, 123 ],
  [ 19, 59, 94 ], [ 6, 54, 93 ], [ 37, 45, 122 ], [ 2, 78, 81 ], [ 40, 61, 92 ], [ 5, 23, 91 ], 
  [ 4, 66, 116 ], [ 3, 87, 128 ], [ 21, 37, 52 ], [ 24, 54, 57 ], [ 21, 51, 88 ], [ 27, 115, 120 ], 
  [ 48, 69, 86 ], [ 15, 22, 36 ], [ 8, 26, 119 ], [ 55, 84, 86 ], [ 33, 56, 70 ], [ 9, 16, 138 ], 
  [ 34, 114, 132 ], [ 116, 132, 133 ], [ 30, 91, 118 ], [ 111, 131, 135 ], [ 48, 49, 104 ], 
  [ 13, 99, 112 ], [ 36, 43, 92 ], [ 42, 113, 133 ], [ 14, 81, 107 ], [ 74, 77, 104 ], [ 9, 75, 139 ], 
  [ 25, 74, 95 ], [ 79, 86, 92 ], [ 8, 44, 79 ], [ 32, 34, 88 ], [ 22, 50, 136 ], [ 11, 20, 59 ], 
  [ 10, 80, 100 ], [ 12, 21, 140 ], [ 4, 5, 53 ], [ 41, 63, 114 ], [ 28, 111, 112 ], [ 73, 112, 118 ], 
  [ 1, 71, 82 ], [ 26, 83, 114 ], [ 55, 64, 126 ], [ 31, 40, 47 ], [ 7, 87, 110 ], [ 47, 67, 121 ], 
  [ 27, 41, 129 ] ];

k3_g10[142,1] := [ [ 39, 48, 136 ], [ 7, 22, 98 ], [ 4, 15, 118 ], [ 3, 18, 54 ], [ 71, 75, 102 ], 
  [ 70, 101, 132 ], [ 2, 100, 132 ], [ 12, 34, 96 ], [ 40, 78, 140 ], [ 44, 109, 126 ], 
  [ 74, 112, 123 ], [ 8, 33, 130 ], [ 43, 66, 129 ], [ 59, 63, 131 ], [ 3, 37, 38 ], [ 60, 69, 121 ], 
  [ 26, 28, 108 ], [ 4, 19, 112 ], [ 18, 57, 87 ], [ 35, 52, 82 ], [ 40, 51, 95 ], [ 2, 47, 129 ], 
  [ 103, 105, 131 ], [ 31, 108, 128 ], [ 50, 85, 100 ], [ 17, 27, 104 ], [ 26, 75, 124 ], 
  [ 17, 109, 137 ], [ 68, 106, 142 ], [ 64, 80, 134 ], [ 24, 55, 90 ], [ 45, 67, 115 ], [ 12, 41, 139 ],
  [ 8, 67, 127 ], [ 20, 91, 111 ], [ 77, 113, 127 ], [ 15, 58, 61 ], [ 15, 108, 119 ], [ 1, 97, 103 ], 
  [ 9, 21, 44 ], [ 33, 54, 85 ], [ 92, 99, 139 ], [ 13, 133, 142 ], [ 10, 40, 120 ], [ 32, 84, 119 ], 
  [ 68, 82, 126 ], [ 22, 62, 97 ], [ 1, 52, 64 ], [ 66, 139, 141 ], [ 25, 107, 117 ], [ 21, 64, 117 ], 
  [ 20, 48, 128 ], [ 60, 71, 105 ], [ 4, 41, 103 ], [ 31, 78, 132 ], [ 86, 96, 104 ], [ 19, 110, 138 ], 
  [ 37, 60, 111 ], [ 14, 74, 104 ], [ 16, 53, 58 ], [ 37, 95, 129 ], [ 47, 77, 81 ], [ 14, 80, 99 ], 
  [ 30, 48, 51 ], [ 84, 89, 133 ], [ 13, 49, 138 ], [ 32, 34, 79 ], [ 29, 46, 101 ], [ 16, 73, 141 ], 
  [ 6, 73, 86 ], [ 5, 53, 107 ], [ 76, 92, 111 ], [ 69, 70, 136 ], [ 11, 59, 91 ], [ 5, 27, 135 ], 
  [ 72, 122, 124 ], [ 36, 62, 123 ], [ 9, 55, 92 ], [ 67, 87, 122 ], [ 30, 63, 98 ], [ 62, 125, 126 ], 
  [ 20, 46, 130 ], [ 87, 98, 121 ], [ 45, 65, 136 ], [ 25, 41, 137 ], [ 56, 70, 110 ], [ 19, 79, 83 ], 
  [ 107, 110, 125 ], [ 65, 102, 140 ], [ 31, 105, 127 ], [ 35, 74, 93 ], [ 42, 72, 78 ], 
  [ 91, 100, 115 ], [ 99, 119, 125 ], [ 21, 61, 96 ], [ 8, 56, 95 ], [ 39, 47, 124 ], [ 2, 80, 83 ], 
  [ 42, 63, 94 ], [ 7, 25, 93 ], [ 6, 68, 118 ], [ 5, 89, 130 ], [ 23, 39, 54 ], [ 26, 56, 59 ], 
  [ 23, 53, 90 ], [ 29, 117, 122 ], [ 50, 71, 88 ], [ 17, 24, 38 ], [ 10, 28, 121 ], [ 57, 86, 88 ], 
  [ 35, 58, 72 ], [ 11, 18, 140 ], [ 36, 116, 134 ], [ 118, 134, 135 ], [ 32, 93, 120 ], 
  [ 113, 133, 137 ], [ 50, 51, 106 ], [ 3, 101, 114 ], [ 38, 45, 94 ], [ 44, 115, 135 ], 
  [ 16, 83, 109 ], [ 76, 79, 106 ], [ 11, 77, 141 ], [ 27, 76, 97 ], [ 81, 88, 94 ], [ 10, 46, 81 ], 
  [ 34, 36, 90 ], [ 24, 52, 138 ], [ 13, 22, 61 ], [ 12, 82, 102 ], [ 14, 23, 142 ], [ 6, 7, 55 ], 
  [ 43, 65, 116 ], [ 30, 113, 114 ], [ 75, 114, 120 ], [ 1, 73, 84 ], [ 28, 85, 116 ], [ 57, 66, 128 ], 
  [ 33, 42, 49 ], [ 9, 89, 112 ], [ 49, 69, 123 ], [ 29, 43, 131 ] ];