k4_g8 := List([1..160], i -> []);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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