# NS4 is the list of GAP IDs (Crystcat IDs) of
# indecomposable lattice of rank 4
# whose Saltman part is not trivial.
# NS5 (resp. NS41, NS32) is the list of CARAT IDs of
# indecomposable (resp. decomposable with rank 4+1, 3+2) lattice of rank 5
# whose Saltman part is not trivial.
# NS6 (resp. NS51, NS42, NS411, NS33, NS321) is the list of CARAT IDs of
# indecomposable (resp. decomposable with rank 5+1, 4+2, 4+1+1, 3+3, 3+2+1)
# lattice of rank 6 whose Saltman part is not trivial.
# For GAP ID (Crystcat ID, CARAT ID), see http://www.ams.org/books/memo/1176/ (Chapter 3).

NS4:=
[ [ 4, 12, 4, 12 ], [ 4, 32, 1, 2 ], [ 4, 32, 3, 2 ], [ 4, 33, 3, 1 ], 
  [ 4, 33, 6, 1 ] ];
NS5:=
[ [ 5, 39, 5 ], [ 5, 71, 19 ], [ 5, 73, 37 ], [ 5, 76, 49 ], [ 5, 76, 50 ], 
  [ 5, 76, 51 ], [ 5, 79, 18 ], [ 5, 99, 23 ], [ 5, 99, 24 ], [ 5, 99, 25 ], 
  [ 5, 100, 12 ], [ 5, 100, 23 ], [ 5, 105, 5 ], [ 5, 109, 5 ], 
  [ 5, 116, 20 ], [ 5, 118, 18 ], [ 5, 119, 4 ], [ 5, 140, 23 ], 
  [ 5, 142, 14 ], [ 5, 664, 2 ], [ 5, 672, 2 ], [ 5, 673, 2 ], [ 5, 704, 3 ], 
  [ 5, 706, 8 ], [ 5, 721, 2 ], [ 5, 773, 4 ], [ 5, 774, 4 ] ];
NS41:=
[ [ 5, 63, 12 ], [ 5, 65, 12 ], [ 5, 76, 31 ], [ 5, 99, 5 ], [ 5, 100, 5 ], 
  [ 5, 664, 1 ], [ 5, 672, 1 ], [ 5, 673, 1 ], [ 5, 674, 1 ], [ 5, 675, 1 ], 
  [ 5, 691, 1 ], [ 5, 721, 1 ], [ 5, 730, 1 ], [ 5, 733, 1 ], [ 5, 734, 1 ], 
  [ 5, 773, 3 ], [ 5, 774, 3 ], [ 5, 776, 1 ] ];
NS32:=
[ [ 5, 100, 11 ] ];
NS6:=
[ [ 6, 199, 11 ], [ 6, 200, 11 ], [ 6, 225, 11 ], [ 6, 225, 37 ], 
  [ 6, 233, 36 ], [ 6, 234, 23 ], [ 6, 235, 11 ], [ 6, 236, 24 ], 
  [ 6, 367, 24 ], [ 6, 368, 24 ], [ 6, 2400, 78 ], [ 6, 2400, 90 ], 
  [ 6, 2400, 107 ], [ 6, 2400, 120 ], [ 6, 2401, 58 ], [ 6, 2401, 61 ], 
  [ 6, 2401, 64 ], [ 6, 2402, 28 ], [ 6, 2402, 42 ], [ 6, 2403, 13 ], 
  [ 6, 2403, 17 ], [ 6, 2404, 31 ], [ 6, 2404, 38 ], [ 6, 2404, 56 ], 
  [ 6, 2404, 65 ], [ 6, 2404, 77 ], [ 6, 2404, 78 ], [ 6, 2405, 47 ], 
  [ 6, 2405, 49 ], [ 6, 2407, 12 ], [ 6, 2407, 24 ], [ 6, 2407, 38 ], 
  [ 6, 2407, 47 ], [ 6, 2407, 62 ], [ 6, 2407, 63 ], [ 6, 2409, 35 ], 
  [ 6, 2412, 35 ], [ 6, 2412, 61 ], [ 6, 2412, 63 ], [ 6, 2415, 16 ], 
  [ 6, 2415, 22 ], [ 6, 2415, 24 ], [ 6, 2418, 12 ], [ 6, 2418, 16 ], 
  [ 6, 2419, 16 ], [ 6, 2419, 22 ], [ 6, 2419, 24 ], [ 6, 2420, 39 ], 
  [ 6, 2420, 51 ], [ 6, 2421, 12 ], [ 6, 2421, 24 ], [ 6, 2424, 12 ], 
  [ 6, 2424, 23 ], [ 6, 2424, 42 ], [ 6, 2424, 43 ], [ 6, 2424, 59 ], 
  [ 6, 2424, 63 ], [ 6, 2432, 38 ], [ 6, 2434, 60 ], [ 6, 2435, 65 ], 
  [ 6, 2438, 71 ], [ 6, 2438, 75 ], [ 6, 2439, 58 ], [ 6, 2439, 61 ], 
  [ 6, 2439, 64 ], [ 6, 2442, 47 ], [ 6, 2442, 49 ], [ 6, 2445, 23 ], 
  [ 6, 2445, 24 ], [ 6, 2445, 25 ], [ 6, 2447, 23 ], [ 6, 2447, 45 ], 
  [ 6, 2450, 58 ], [ 6, 2450, 61 ], [ 6, 2450, 64 ], [ 6, 2455, 19 ], 
  [ 6, 2455, 22 ], [ 6, 2455, 25 ], [ 6, 2461, 24 ], [ 6, 2465, 16 ], 
  [ 6, 2468, 19 ], [ 6, 2469, 23 ], [ 6, 2469, 24 ], [ 6, 2469, 25 ], 
  [ 6, 2469, 41 ], [ 6, 2469, 53 ], [ 6, 2470, 103 ], [ 6, 2470, 106 ], 
  [ 6, 2470, 109 ], [ 6, 2471, 23 ], [ 6, 2471, 24 ], [ 6, 2471, 25 ], 
  [ 6, 2471, 41 ], [ 6, 2471, 52 ], [ 6, 2471, 71 ], [ 6, 2471, 72 ], 
  [ 6, 2471, 114 ], [ 6, 2471, 118 ], [ 6, 2472, 23 ], [ 6, 2472, 24 ], 
  [ 6, 2472, 25 ], [ 6, 2472, 41 ], [ 6, 2472, 53 ], [ 6, 2476, 23 ], 
  [ 6, 2476, 24 ], [ 6, 2476, 25 ], [ 6, 2478, 23 ], [ 6, 2478, 24 ], 
  [ 6, 2478, 25 ], [ 6, 2480, 23 ], [ 6, 2480, 24 ], [ 6, 2480, 25 ], 
  [ 6, 2481, 100 ], [ 6, 2481, 103 ], [ 6, 2481, 106 ], [ 6, 2482, 23 ], 
  [ 6, 2482, 24 ], [ 6, 2482, 77 ], [ 6, 2482, 80 ], [ 6, 2482, 100 ], 
  [ 6, 2482, 103 ], [ 6, 2482, 106 ], [ 6, 2483, 23 ], [ 6, 2483, 24 ], 
  [ 6, 2483, 25 ], [ 6, 2483, 38 ], [ 6, 2483, 47 ], [ 6, 2483, 62 ], 
  [ 6, 2483, 63 ], [ 6, 2483, 79 ], [ 6, 2484, 23 ], [ 6, 2484, 24 ], 
  [ 6, 2484, 74 ], [ 6, 2484, 80 ], [ 6, 2484, 82 ], [ 6, 2486, 23 ], 
  [ 6, 2486, 25 ], [ 6, 2486, 74 ], [ 6, 2486, 80 ], [ 6, 2487, 23 ], 
  [ 6, 2487, 24 ], [ 6, 2487, 74 ], [ 6, 2487, 80 ], [ 6, 2487, 82 ], 
  [ 6, 2488, 12 ], [ 6, 2488, 25 ], [ 6, 2489, 23 ], [ 6, 2489, 24 ], 
  [ 6, 2489, 25 ], [ 6, 2489, 45 ], [ 6, 2489, 53 ], [ 6, 2490, 84 ], 
  [ 6, 2490, 87 ], [ 6, 2490, 90 ], [ 6, 2491, 81 ], [ 6, 2491, 84 ], 
  [ 6, 2491, 87 ], [ 6, 2492, 58 ], [ 6, 2492, 61 ], [ 6, 2492, 64 ], 
  [ 6, 2492, 81 ], [ 6, 2492, 84 ], [ 6, 2492, 87 ], [ 6, 2492, 108 ], 
  [ 6, 2492, 114 ], [ 6, 2496, 58 ], [ 6, 2496, 61 ], [ 6, 2496, 64 ], 
  [ 6, 2498, 73 ], [ 6, 2498, 76 ], [ 6, 2500, 44 ], [ 6, 2500, 50 ], 
  [ 6, 2500, 52 ], [ 6, 2500, 66 ], [ 6, 2500, 68 ], [ 6, 2500, 70 ], 
  [ 6, 2500, 71 ], [ 6, 2502, 15 ], [ 6, 2504, 32 ], [ 6, 2504, 37 ], 
  [ 6, 2505, 45 ], [ 6, 2505, 48 ], [ 6, 2505, 51 ], [ 6, 2506, 71 ], 
  [ 6, 2506, 75 ], [ 6, 2506, 77 ], [ 6, 2508, 16 ], [ 6, 2508, 22 ], 
  [ 6, 2508, 24 ], [ 6, 2508, 68 ], [ 6, 2508, 71 ], [ 6, 2508, 74 ], 
  [ 6, 2508, 75 ], [ 6, 2508, 76 ], [ 6, 2508, 77 ], [ 6, 2509, 16 ], 
  [ 6, 2509, 22 ], [ 6, 2509, 24 ], [ 6, 2509, 48 ], [ 6, 2509, 51 ], 
  [ 6, 2512, 38 ], [ 6, 2512, 40 ], [ 6, 2512, 42 ], [ 6, 2512, 43 ], 
  [ 6, 2516, 38 ], [ 6, 2517, 45 ], [ 6, 2537, 60 ], [ 6, 2543, 45 ], 
  [ 6, 2553, 58 ], [ 6, 2553, 61 ], [ 6, 2553, 64 ], [ 6, 2560, 19 ], 
  [ 6, 2560, 22 ], [ 6, 2560, 25 ], [ 6, 2566, 52 ], [ 6, 2566, 100 ], 
  [ 6, 2568, 23 ], [ 6, 2568, 24 ], [ 6, 2568, 25 ], [ 6, 2575, 102 ], 
  [ 6, 2578, 103 ], [ 6, 2582, 45 ], [ 6, 2619, 23 ], [ 6, 2630, 4 ], 
  [ 6, 2630, 30 ], [ 6, 2633, 7 ], [ 6, 2634, 6 ], [ 6, 2634, 12 ], 
  [ 6, 2634, 20 ], [ 6, 2645, 12 ], [ 6, 2646, 5 ], [ 6, 2648, 26 ], 
  [ 6, 2651, 5 ], [ 6, 2652, 5 ], [ 6, 2658, 26 ], [ 6, 2659, 12 ], 
  [ 6, 2660, 4 ], [ 6, 2662, 52 ], [ 6, 2662, 64 ], [ 6, 2664, 8 ], 
  [ 6, 2679, 14 ], [ 6, 2683, 23 ], [ 6, 2693, 35 ], [ 6, 2694, 34 ], 
  [ 6, 2695, 20 ], [ 6, 2702, 23 ], [ 6, 2702, 54 ], [ 6, 2703, 50 ], 
  [ 6, 2705, 35 ], [ 6, 2706, 14 ], [ 6, 2708, 3 ], [ 6, 2729, 6 ], 
  [ 6, 2792, 3 ], [ 6, 2799, 5 ], [ 6, 2802, 4 ], [ 6, 2865, 1 ], 
  [ 6, 2865, 3 ], [ 6, 2899, 3 ], [ 6, 2899, 5 ], [ 6, 4687, 19 ], 
  [ 6, 4687, 20 ], [ 6, 4688, 16 ], [ 6, 4691, 11 ], [ 6, 4691, 18 ], 
  [ 6, 4692, 11 ], [ 6, 4692, 13 ], [ 6, 4695, 3 ], [ 6, 4697, 9 ], 
  [ 6, 4701, 7 ], [ 6, 4761, 32 ], [ 6, 4764, 32 ], [ 6, 4765, 78 ], 
  [ 6, 4770, 74 ], [ 6, 4774, 39 ], [ 6, 4780, 39 ], [ 6, 4809, 32 ], 
  [ 6, 4810, 32 ], [ 6, 4812, 32 ], [ 6, 4813, 32 ], [ 6, 4814, 39 ], 
  [ 6, 4825, 44 ], [ 6, 4825, 54 ], [ 6, 4825, 55 ], [ 6, 4825, 56 ], 
  [ 6, 4825, 70 ], [ 6, 4825, 71 ], [ 6, 4827, 99 ], [ 6, 4827, 102 ], 
  [ 6, 4827, 103 ], [ 6, 4827, 128 ], [ 6, 4827, 129 ], [ 6, 4827, 130 ], 
  [ 6, 4827, 150 ], [ 6, 4827, 151 ], [ 6, 4827, 152 ], [ 6, 4827, 156 ], 
  [ 6, 4827, 157 ], [ 6, 4827, 158 ], [ 6, 4828, 99 ], [ 6, 4828, 102 ], 
  [ 6, 4828, 103 ], [ 6, 4828, 106 ], [ 6, 4828, 108 ], [ 6, 4828, 110 ], 
  [ 6, 4828, 111 ], [ 6, 4828, 112 ], [ 6, 4828, 113 ], [ 6, 4828, 114 ], 
  [ 6, 4828, 115 ], [ 6, 4828, 116 ], [ 6, 4828, 117 ], [ 6, 4828, 128 ], 
  [ 6, 4828, 129 ], [ 6, 4828, 130 ], [ 6, 4829, 128 ], [ 6, 4829, 129 ], 
  [ 6, 4829, 130 ], [ 6, 4830, 106 ], [ 6, 4830, 110 ], [ 6, 4830, 129 ], 
  [ 6, 4830, 130 ], [ 6, 4830, 140 ], [ 6, 4830, 143 ], [ 6, 4830, 158 ], 
  [ 6, 4830, 281 ], [ 6, 4830, 324 ], [ 6, 4831, 106 ], [ 6, 4831, 108 ], 
  [ 6, 4831, 129 ], [ 6, 4831, 130 ], [ 6, 4831, 146 ], [ 6, 4831, 152 ], 
  [ 6, 4831, 155 ], [ 6, 4832, 207 ], [ 6, 4832, 213 ], [ 6, 4832, 219 ], 
  [ 6, 4833, 47 ], [ 6, 4833, 48 ], [ 6, 4833, 49 ], [ 6, 4833, 77 ], 
  [ 6, 4833, 103 ], [ 6, 4833, 104 ], [ 6, 4833, 106 ], [ 6, 4833, 107 ], 
  [ 6, 4834, 215 ], [ 6, 4834, 216 ], [ 6, 4834, 217 ], [ 6, 4837, 62 ], 
  [ 6, 4837, 65 ], [ 6, 4837, 70 ], [ 6, 4837, 75 ], [ 6, 4837, 94 ], 
  [ 6, 4837, 99 ], [ 6, 4837, 102 ], [ 6, 4837, 108 ], [ 6, 4837, 123 ], 
  [ 6, 4837, 126 ], [ 6, 4837, 195 ], [ 6, 4837, 235 ], [ 6, 4839, 180 ], 
  [ 6, 4839, 183 ], [ 6, 4839, 188 ], [ 6, 4839, 193 ], [ 6, 4839, 213 ], 
  [ 6, 4839, 216 ], [ 6, 4839, 222 ], [ 6, 4839, 225 ], [ 6, 4841, 77 ], 
  [ 6, 4841, 102 ], [ 6, 4849, 153 ], [ 6, 4849, 156 ], [ 6, 4849, 159 ], 
  [ 6, 4850, 102 ], [ 6, 4850, 207 ], [ 6, 4853, 47 ], [ 6, 4853, 48 ], 
  [ 6, 4853, 49 ], [ 6, 4853, 102 ], [ 6, 4853, 103 ], [ 6, 4853, 104 ], 
  [ 6, 4853, 105 ], [ 6, 4853, 106 ], [ 6, 4853, 107 ], [ 6, 4856, 215 ], 
  [ 6, 4856, 216 ], [ 6, 4856, 217 ], [ 6, 4870, 200 ], [ 6, 4870, 205 ], 
  [ 6, 4870, 209 ], [ 6, 4871, 102 ], [ 6, 4872, 112 ], [ 6, 4873, 112 ], 
  [ 6, 4877, 151 ], [ 6, 4892, 48 ], [ 6, 4892, 58 ], [ 6, 4892, 67 ], 
  [ 6, 4892, 68 ], [ 6, 4892, 87 ], [ 6, 4892, 88 ], [ 6, 4892, 89 ], 
  [ 6, 4892, 96 ], [ 6, 4892, 102 ], [ 6, 4892, 103 ], [ 6, 4892, 108 ], 
  [ 6, 4892, 114 ], [ 6, 4892, 115 ], [ 6, 4892, 141 ], [ 6, 4892, 154 ], 
  [ 6, 4892, 163 ], [ 6, 4892, 181 ], [ 6, 4892, 182 ], [ 6, 5060, 27 ], 
  [ 6, 5069, 27 ], [ 6, 5155, 19 ], [ 6, 5156, 19 ], [ 6, 5189, 19 ], 
  [ 6, 5192, 19 ], [ 6, 5196, 27 ], [ 6, 5197, 27 ], [ 6, 5198, 27 ], 
  [ 6, 5200, 27 ], [ 6, 5518, 3 ], [ 6, 5518, 7 ], [ 6, 5531, 6 ], 
  [ 6, 5574, 11 ], [ 6, 5641, 3 ], [ 6, 5645, 3 ], [ 6, 5750, 3 ], 
  [ 6, 5775, 11 ], [ 6, 5775, 24 ], [ 6, 5782, 17 ], [ 6, 5789, 11 ], 
  [ 6, 5831, 5 ], [ 6, 5831, 6 ], [ 6, 5831, 7 ], [ 6, 5832, 5 ], 
  [ 6, 5832, 6 ], [ 6, 5832, 7 ], [ 6, 5834, 9 ], [ 6, 5836, 4 ], 
  [ 6, 5836, 10 ], [ 6, 5839, 5 ], [ 6, 5839, 6 ], [ 6, 5839, 7 ], 
  [ 6, 5840, 5 ], [ 6, 5842, 10 ], [ 6, 5842, 12 ], [ 6, 5842, 13 ], 
  [ 6, 5842, 24 ], [ 6, 5844, 9 ], [ 6, 5844, 13 ], [ 6, 5846, 23 ], 
  [ 6, 5847, 17 ], [ 6, 5848, 5 ], [ 6, 5849, 5 ], [ 6, 5849, 11 ], 
  [ 6, 5850, 5 ], [ 6, 5851, 5 ], [ 6, 5852, 4 ], [ 6, 5852, 5 ], 
  [ 6, 5852, 6 ], [ 6, 5907, 26 ], [ 6, 5907, 27 ], [ 6, 5908, 4 ], 
  [ 6, 5908, 18 ], [ 6, 5908, 21 ], [ 6, 5908, 22 ], [ 6, 5908, 35 ], 
  [ 6, 5909, 25 ], [ 6, 5909, 28 ], [ 6, 5909, 31 ], [ 6, 5910, 23 ], 
  [ 6, 5910, 24 ], [ 6, 5910, 26 ], [ 6, 5910, 31 ], [ 6, 5910, 32 ], 
  [ 6, 5910, 38 ], [ 6, 5919, 11 ], [ 6, 5924, 4 ], [ 6, 5924, 10 ], 
  [ 6, 5926, 5 ], [ 6, 5938, 11 ], [ 6, 5939, 6 ], [ 6, 5941, 4 ], 
  [ 6, 5941, 5 ], [ 6, 5941, 6 ], [ 6, 5946, 4 ], [ 6, 5947, 4 ], 
  [ 6, 5949, 4 ], [ 6, 5949, 5 ], [ 6, 5949, 6 ], [ 6, 5956, 5 ], 
  [ 6, 5956, 6 ], [ 6, 5957, 5 ], [ 6, 5957, 6 ], [ 6, 5958, 5 ], 
  [ 6, 5959, 5 ], [ 6, 5962, 11 ], [ 6, 5966, 5 ], [ 6, 6018, 22 ], 
  [ 6, 6020, 20 ], [ 6, 6031, 22 ], [ 6, 6031, 25 ], [ 6, 6035, 24 ], 
  [ 6, 6035, 25 ], [ 6, 6035, 26 ], [ 6, 6044, 4 ], [ 6, 6044, 5 ], 
  [ 6, 6056, 11 ], [ 6, 6060, 11 ], [ 6, 6063, 5 ], [ 6, 6063, 23 ], 
  [ 6, 6065, 11 ], [ 6, 6065, 25 ], [ 6, 6065, 31 ], [ 6, 6067, 17 ], 
  [ 6, 6069, 11 ], [ 6, 6069, 18 ], [ 6, 6069, 25 ], [ 6, 6071, 17 ], 
  [ 6, 6072, 5 ], [ 6, 6078, 9 ], [ 6, 6078, 22 ], [ 6, 6078, 23 ], 
  [ 6, 6079, 24 ], [ 6, 6080, 5 ], [ 6, 6100, 5 ], [ 6, 6100, 6 ], 
  [ 6, 6100, 7 ], [ 6, 6101, 4 ], [ 6, 6101, 6 ], [ 6, 6145, 8 ], 
  [ 6, 6148, 15 ], [ 6, 6167, 4 ], [ 6, 6200, 7 ], [ 6, 6201, 20 ], 
  [ 6, 6222, 2 ], [ 6, 6222, 5 ], [ 6, 6223, 3 ], [ 6, 6224, 2 ], 
  [ 6, 6225, 2 ], [ 6, 6226, 2 ], [ 6, 6226, 4 ], [ 6, 6323, 9 ], 
  [ 6, 6324, 2 ], [ 6, 6324, 9 ], [ 6, 6324, 13 ], [ 6, 6325, 2 ], 
  [ 6, 6325, 5 ], [ 6, 6325, 12 ], [ 6, 6326, 4 ], [ 6, 6329, 2 ], 
  [ 6, 6329, 3 ], [ 6, 6337, 5 ], [ 6, 6339, 3 ], [ 6, 6339, 7 ], 
  [ 6, 6341, 2 ], [ 6, 6342, 10 ], [ 6, 6343, 7 ], [ 6, 6343, 9 ], 
  [ 6, 6344, 4 ], [ 6, 6345, 5 ], [ 6, 6345, 6 ], [ 6, 6346, 3 ], 
  [ 6, 6346, 5 ], [ 6, 6346, 6 ], [ 6, 6347, 2 ], [ 6, 6347, 3 ], 
  [ 6, 6350, 11 ], [ 6, 6351, 8 ], [ 6, 6351, 13 ], [ 6, 6352, 7 ], 
  [ 6, 6354, 9 ], [ 6, 6354, 10 ], [ 6, 6411, 9 ], [ 6, 6412, 6 ], 
  [ 6, 6424, 4 ], [ 6, 6428, 4 ], [ 6, 6440, 8 ], [ 6, 6441, 4 ], 
  [ 6, 6442, 4 ], [ 6, 6443, 4 ], [ 6, 6444, 7 ], [ 6, 6445, 6 ], 
  [ 6, 6445, 8 ], [ 6, 6445, 9 ], [ 6, 6449, 7 ], [ 6, 6451, 18 ], 
  [ 6, 6451, 21 ], [ 6, 6454, 15 ], [ 6, 6459, 8 ], [ 6, 6464, 6 ], 
  [ 6, 6465, 6 ], [ 6, 6466, 7 ], [ 6, 6474, 7 ], [ 6, 6474, 10 ], 
  [ 6, 6737, 2 ], [ 6, 6880, 2 ], [ 6, 6888, 2 ], [ 6, 6901, 2 ], 
  [ 6, 6901, 4 ], [ 6, 7079, 2 ], [ 6, 7081, 2 ] ];
NS51:=
[ [ 6, 2322, 4 ], [ 6, 2323, 16 ], [ 6, 2326, 14 ], [ 6, 2332, 12 ], 
  [ 6, 2336, 16 ], [ 6, 2352, 23 ], [ 6, 2359, 19 ], [ 6, 2400, 76 ], 
  [ 6, 2400, 103 ], [ 6, 2401, 47 ], [ 6, 2403, 8 ], [ 6, 2404, 27 ], 
  [ 6, 2405, 39 ], [ 6, 2407, 10 ], [ 6, 2412, 53 ], [ 6, 2415, 10 ], 
  [ 6, 2418, 10 ], [ 6, 2419, 10 ], [ 6, 2420, 37 ], [ 6, 2421, 10 ], 
  [ 6, 2424, 57 ], [ 6, 2438, 66 ], [ 6, 2439, 47 ], [ 6, 2442, 39 ], 
  [ 6, 2450, 47 ], [ 6, 2455, 8 ], [ 6, 2469, 39 ], [ 6, 2470, 92 ], 
  [ 6, 2471, 112 ], [ 6, 2472, 39 ], [ 6, 2484, 68 ], [ 6, 2487, 68 ], 
  [ 6, 2488, 8 ], [ 6, 2490, 73 ], [ 6, 2492, 47 ], [ 6, 2496, 47 ], 
  [ 6, 2500, 38 ], [ 6, 2505, 34 ], [ 6, 2508, 10 ], [ 6, 2509, 10 ], 
  [ 6, 2553, 47 ], [ 6, 2560, 8 ], [ 6, 4682, 3 ], [ 6, 4687, 10 ], 
  [ 6, 4691, 4 ], [ 6, 4692, 5 ], [ 6, 4761, 19 ], [ 6, 4761, 22 ], 
  [ 6, 4761, 25 ], [ 6, 4764, 19 ], [ 6, 4764, 22 ], [ 6, 4764, 25 ], 
  [ 6, 4765, 65 ], [ 6, 4770, 62 ], [ 6, 4773, 19 ], [ 6, 4774, 23 ], 
  [ 6, 4774, 57 ], [ 6, 4778, 47 ], [ 6, 4780, 23 ], [ 6, 4780, 24 ], 
  [ 6, 4780, 25 ], [ 6, 4785, 16 ], [ 6, 4809, 12 ], [ 6, 4809, 19 ], 
  [ 6, 4809, 53 ], [ 6, 4809, 64 ], [ 6, 4810, 19 ], [ 6, 4810, 22 ], 
  [ 6, 4810, 25 ], [ 6, 4812, 19 ], [ 6, 4812, 22 ], [ 6, 4812, 25 ], 
  [ 6, 4813, 12 ], [ 6, 4813, 19 ], [ 6, 4814, 23 ], [ 6, 4814, 24 ], 
  [ 6, 4814, 25 ], [ 6, 4825, 16 ], [ 6, 4827, 31 ], [ 6, 4827, 51 ], 
  [ 6, 4827, 60 ], [ 6, 4827, 97 ], [ 6, 4827, 100 ], [ 6, 4827, 101 ], 
  [ 6, 4828, 12 ], [ 6, 4828, 31 ], [ 6, 4828, 97 ], [ 6, 4828, 100 ], 
  [ 6, 4828, 101 ], [ 6, 4829, 31 ], [ 6, 4830, 31 ], [ 6, 4830, 78 ], 
  [ 6, 4830, 230 ], [ 6, 4831, 31 ], [ 6, 4831, 54 ], [ 6, 4832, 178 ], 
  [ 6, 4833, 43 ], [ 6, 4833, 44 ], [ 6, 4833, 45 ], [ 6, 4833, 63 ], 
  [ 6, 4834, 152 ], [ 6, 4837, 34 ], [ 6, 4837, 43 ], [ 6, 4837, 51 ], 
  [ 6, 4837, 181 ], [ 6, 4839, 152 ], [ 6, 4839, 161 ], [ 6, 4839, 166 ], 
  [ 6, 4839, 169 ], [ 6, 4841, 51 ], [ 6, 4849, 62 ], [ 6, 4853, 43 ], 
  [ 6, 4853, 44 ], [ 6, 4853, 45 ], [ 6, 4856, 152 ], [ 6, 4870, 169 ], 
  [ 6, 4892, 23 ], [ 6, 4892, 41 ], [ 6, 4892, 51 ], [ 6, 4892, 61 ], 
  [ 6, 4892, 83 ], [ 6, 5641, 2 ], [ 6, 5649, 2 ], [ 6, 5650, 2 ], 
  [ 6, 5678, 7 ], [ 6, 5679, 4 ], [ 6, 5694, 2 ], [ 6, 5750, 2 ], 
  [ 6, 5751, 2 ], [ 6, 5831, 2 ], [ 6, 5831, 3 ], [ 6, 5832, 2 ], 
  [ 6, 5832, 3 ], [ 6, 5839, 2 ], [ 6, 5839, 3 ], [ 6, 5848, 2 ], 
  [ 6, 5849, 2 ], [ 6, 5850, 2 ], [ 6, 5851, 2 ], [ 6, 5852, 2 ], 
  [ 6, 5907, 17 ], [ 6, 5908, 14 ], [ 6, 5909, 18 ], [ 6, 5910, 17 ], 
  [ 6, 5910, 19 ], [ 6, 5941, 2 ], [ 6, 5946, 2 ], [ 6, 5947, 2 ], 
  [ 6, 5949, 2 ], [ 6, 5956, 2 ], [ 6, 5956, 3 ], [ 6, 5957, 2 ], 
  [ 6, 5957, 3 ], [ 6, 5958, 3 ], [ 6, 5959, 3 ], [ 6, 6031, 17 ], 
  [ 6, 6035, 14 ], [ 6, 6044, 2 ], [ 6, 6100, 2 ], [ 6, 6100, 3 ], 
  [ 6, 6101, 2 ] ];
NS42:=
[ [ 6, 199, 5 ], [ 6, 200, 5 ], [ 6, 206, 5 ], [ 6, 207, 5 ], [ 6, 225, 5 ], 
  [ 6, 225, 31 ], [ 6, 233, 11 ], [ 6, 233, 30 ], [ 6, 234, 17 ], 
  [ 6, 234, 37 ], [ 6, 235, 5 ], [ 6, 235, 31 ], [ 6, 236, 5 ], 
  [ 6, 236, 18 ], [ 6, 242, 5 ], [ 6, 242, 18 ], [ 6, 283, 5 ], 
  [ 6, 367, 5 ], [ 6, 367, 18 ], [ 6, 368, 5 ], [ 6, 368, 18 ], 
  [ 6, 410, 5 ], [ 6, 420, 5 ], [ 6, 424, 5 ], [ 6, 424, 18 ], 
  [ 6, 425, 5 ], [ 6, 425, 18 ], [ 6, 428, 5 ], [ 6, 570, 5 ], 
  [ 6, 2400, 71 ], [ 6, 2400, 100 ], [ 6, 2404, 30 ], [ 6, 2404, 53 ], 
  [ 6, 2407, 5 ], [ 6, 2407, 34 ], [ 6, 2418, 11 ], [ 6, 2420, 32 ], 
  [ 6, 2421, 5 ], [ 6, 2424, 5 ], [ 6, 2424, 11 ], [ 6, 2424, 58 ], 
  [ 6, 2445, 5 ], [ 6, 2469, 5 ], [ 6, 2469, 34 ], [ 6, 2471, 5 ], 
  [ 6, 2471, 34 ], [ 6, 2471, 40 ], [ 6, 2471, 113 ], [ 6, 2472, 5 ], 
  [ 6, 2472, 34 ], [ 6, 2476, 5 ], [ 6, 2478, 5 ], [ 6, 2480, 5 ], 
  [ 6, 2483, 5 ], [ 6, 2483, 34 ], [ 6, 2488, 5 ], [ 6, 2489, 5 ], 
  [ 6, 2568, 5 ], [ 6, 2633, 2 ], [ 6, 2634, 2 ], [ 6, 2634, 15 ], 
  [ 6, 4691, 10 ], [ 6, 4691, 26 ], [ 6, 4749, 10 ], [ 6, 4761, 31 ], 
  [ 6, 4764, 31 ], [ 6, 4809, 31 ], [ 6, 4810, 31 ], [ 6, 4812, 31 ], 
  [ 6, 4813, 31 ], [ 6, 4825, 28 ], [ 6, 4825, 36 ], [ 6, 4825, 42 ], 
  [ 6, 4827, 98 ], [ 6, 4828, 98 ], [ 6, 4828, 105 ], [ 6, 4828, 107 ], 
  [ 6, 4828, 109 ], [ 6, 4830, 109 ], [ 6, 4830, 280 ], [ 6, 4831, 107 ], 
  [ 6, 4833, 46 ], [ 6, 4837, 58 ], [ 6, 4837, 61 ], [ 6, 4837, 194 ], 
  [ 6, 4839, 176 ], [ 6, 4841, 75 ], [ 6, 4853, 46 ], [ 6, 4892, 57 ], 
  [ 6, 4892, 86 ], [ 6, 4892, 95 ], [ 6, 4892, 107 ], [ 6, 5831, 4 ], 
  [ 6, 5832, 4 ], [ 6, 5839, 4 ], [ 6, 5840, 4 ], [ 6, 5848, 4 ], 
  [ 6, 5849, 4 ], [ 6, 5850, 4 ], [ 6, 5851, 4 ], [ 6, 5852, 3 ], 
  [ 6, 5877, 2 ], [ 6, 5941, 3 ], [ 6, 5946, 3 ], [ 6, 5947, 3 ], 
  [ 6, 5949, 3 ], [ 6, 5956, 4 ], [ 6, 5957, 4 ], [ 6, 5958, 4 ], 
  [ 6, 5959, 4 ], [ 6, 6002, 2 ], [ 6, 6004, 2 ], [ 6, 6044, 3 ], 
  [ 6, 6100, 4 ], [ 6, 6101, 3 ], [ 6, 6120, 2 ], [ 6, 6124, 2 ], 
  [ 6, 6125, 2 ], [ 6, 6126, 2 ], [ 6, 6167, 3 ], [ 6, 6224, 1 ], 
  [ 6, 6225, 1 ], [ 6, 6226, 1 ], [ 6, 6226, 5 ], [ 6, 6246, 1 ], 
  [ 6, 6248, 1 ], [ 6, 6251, 1 ], [ 6, 6251, 2 ], [ 6, 6252, 1 ], 
  [ 6, 6326, 3 ], [ 6, 6329, 1 ], [ 6, 6333, 4 ], [ 6, 6334, 3 ], 
  [ 6, 6343, 6 ], [ 6, 6343, 8 ], [ 6, 6344, 3 ], [ 6, 6347, 1 ], 
  [ 6, 6347, 4 ], [ 6, 6354, 6 ], [ 6, 6354, 8 ], [ 6, 6355, 6 ], 
  [ 6, 6355, 8 ], [ 6, 6380, 1 ], [ 6, 6424, 3 ], [ 6, 6428, 3 ], 
  [ 6, 6440, 5 ], [ 6, 6440, 7 ], [ 6, 6441, 3 ], [ 6, 6442, 3 ], 
  [ 6, 6443, 3 ], [ 6, 6444, 6 ], [ 6, 6444, 8 ], [ 6, 6445, 5 ], 
  [ 6, 6445, 7 ], [ 6, 6519, 1 ], [ 6, 6521, 1 ], [ 6, 6571, 1 ], 
  [ 6, 6577, 1 ], [ 6, 6578, 1 ], [ 6, 6584, 1 ], [ 6, 6584, 2 ], 
  [ 6, 6592, 1 ], [ 6, 6592, 2 ], [ 6, 6714, 1 ], [ 6, 6737, 1 ], 
  [ 6, 6738, 1 ], [ 6, 6739, 1 ], [ 6, 6740, 1 ], [ 6, 6740, 3 ], 
  [ 6, 6741, 1 ], [ 6, 6748, 1 ], [ 6, 6758, 1 ], [ 6, 6764, 1 ], 
  [ 6, 6764, 2 ], [ 6, 6765, 1 ], [ 6, 6765, 2 ], [ 6, 6766, 1 ], 
  [ 6, 6880, 1 ], [ 6, 6881, 1 ], [ 6, 6891, 1 ], [ 6, 6892, 1 ], 
  [ 6, 6893, 1 ], [ 6, 6894, 1 ], [ 6, 6897, 1 ], [ 6, 6897, 3 ], 
  [ 6, 6898, 1 ], [ 6, 6899, 1 ], [ 6, 6899, 3 ], [ 6, 6901, 1 ], 
  [ 6, 6901, 3 ], [ 6, 6912, 1 ], [ 6, 6912, 3 ], [ 6, 6913, 1 ], 
  [ 6, 6913, 3 ], [ 6, 6914, 1 ], [ 6, 6914, 3 ], [ 6, 6915, 1 ], 
  [ 6, 6915, 3 ], [ 6, 6918, 1 ], [ 6, 6918, 3 ], [ 6, 6919, 1 ], 
  [ 6, 6919, 3 ], [ 6, 6946, 1 ], [ 6, 6977, 1 ], [ 6, 7036, 1 ], 
  [ 6, 7080, 1 ], [ 6, 7081, 1 ], [ 6, 7092, 1 ], [ 6, 7093, 1 ], 
  [ 6, 7095, 1 ], [ 6, 7095, 3 ], [ 6, 7096, 1 ], [ 6, 7096, 3 ], 
  [ 6, 7097, 1 ], [ 6, 7097, 3 ], [ 6, 7098, 1 ], [ 6, 7098, 3 ], 
  [ 6, 7100, 1 ] ];
NS411:=
[ [ 6, 4732, 5 ], [ 6, 4735, 5 ], [ 6, 4749, 5 ], [ 6, 4761, 8 ], 
  [ 6, 4764, 8 ], [ 6, 4780, 5 ], [ 6, 4809, 8 ], [ 6, 4809, 46 ], 
  [ 6, 4810, 8 ], [ 6, 4812, 8 ], [ 6, 4813, 8 ], [ 6, 4814, 5 ], 
  [ 6, 4827, 10 ], [ 6, 4828, 10 ], [ 6, 4833, 5 ], [ 6, 4837, 12 ], 
  [ 6, 4839, 130 ], [ 6, 4853, 5 ], [ 6, 4892, 8 ], [ 6, 5641, 1 ], 
  [ 6, 5649, 1 ], [ 6, 5650, 1 ], [ 6, 5651, 1 ], [ 6, 5652, 1 ], 
  [ 6, 5669, 1 ], [ 6, 5694, 1 ], [ 6, 5710, 1 ], [ 6, 5713, 1 ], 
  [ 6, 5714, 1 ], [ 6, 5750, 1 ], [ 6, 5751, 1 ], [ 6, 5755, 1 ], 
  [ 6, 5831, 1 ], [ 6, 5832, 1 ], [ 6, 5839, 1 ], [ 6, 5840, 1 ], 
  [ 6, 5848, 1 ], [ 6, 5849, 1 ], [ 6, 5850, 1 ], [ 6, 5851, 1 ], 
  [ 6, 5852, 1 ], [ 6, 5877, 1 ], [ 6, 5941, 1 ], [ 6, 5946, 1 ], 
  [ 6, 5947, 1 ], [ 6, 5949, 1 ], [ 6, 5956, 1 ], [ 6, 5957, 1 ], 
  [ 6, 5958, 1 ], [ 6, 5959, 1 ], [ 6, 6002, 1 ], [ 6, 6004, 1 ], 
  [ 6, 6044, 1 ], [ 6, 6100, 1 ], [ 6, 6101, 1 ], [ 6, 6120, 1 ], 
  [ 6, 6124, 1 ], [ 6, 6125, 1 ], [ 6, 6126, 1 ] ];
NS33:=
[ [ 6, 4809, 28 ], [ 6, 4809, 69 ], [ 6, 4813, 28 ], [ 6, 4828, 104 ], 
  [ 6, 4892, 47 ] ];
NS321:=
[ [ 6, 4809, 11 ], [ 6, 4809, 52 ], [ 6, 4813, 11 ], [ 6, 4828, 11 ], 
  [ 6, 4892, 22 ] ];