Project
Loading...
Searching...
No Matches
dslist.cxx
Go to the documentation of this file.
1// Copyright 2019-2020 CERN and copyright holders of ALICE O2.
2// See https://alice-o2.web.cern.ch/copyright for details of the copyright holders.
3// All rights not expressly granted are reserved.
4//
5// This software is distributed under the terms of the GNU General Public
6// License v3 (GPL Version 3), copied verbatim in the file "COPYING".
7//
8// In applying this license CERN does not waive the privileges and immunities
9// granted to it by virtue of its status as an Intergovernmental Organization
10// or submit itself to any jurisdiction.
11
12#include "dslist.h"
13#include <map>
14
15std::function<std::set<int>(int deId)> createDualSampaMapper()
16{
17 std::map<int, std::set<int>> dsids;
18 dsids[100] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
19 dsids[101] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
20 dsids[102] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
21 dsids[103] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
22 dsids[200] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
23 dsids[201] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
24 dsids[202] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
25 dsids[203] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267};
26 dsids[300] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
27 dsids[301] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
28 dsids[302] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
29 dsids[303] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
30 dsids[400] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
31 dsids[401] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
32 dsids[402] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
33 dsids[403] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279};
34 dsids[500] = {1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 104, 105, 106, 107, 111, 112, 113, 114, 115, 201, 202, 203, 204, 205, 209, 210, 211, 212, 213, 304, 305, 306, 307, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 1028, 1029, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1125, 1126, 1127, 1132, 1133, 1134, 1230, 1231, 1232, 1238, 1239, 1240, 1241, 1325, 1326, 1327, 1332, 1333, 1334, 1335, 1336, 1337, 1338};
35 dsids[501] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 109, 110, 111, 112, 113, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 204, 205, 206, 207, 211, 212, 213, 214, 215, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1138, 1139, 1140, 1141, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1225, 1226, 1227, 1232, 1233, 1234, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
36 dsids[502] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 111, 112, 113, 114, 115, 119, 120, 121, 122, 123, 201, 202, 203, 204, 205, 209, 210, 211, 212, 213, 218, 219, 220, 221, 222, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1132, 1133, 1134, 1140, 1141, 1142, 1230, 1231, 1232, 1238, 1239, 1240, 1241, 1247, 1248, 1249, 1250, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
37 dsids[503] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
38 dsids[504] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
39 dsids[505] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
40 dsids[506] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
41 dsids[507] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 111, 112, 113, 114, 115, 119, 120, 121, 122, 123, 201, 202, 203, 204, 205, 209, 210, 211, 212, 213, 218, 219, 220, 221, 222, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1132, 1133, 1134, 1140, 1141, 1142, 1230, 1231, 1232, 1238, 1239, 1240, 1241, 1247, 1248, 1249, 1250, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
42 dsids[508] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 109, 110, 111, 112, 113, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 204, 205, 206, 207, 211, 212, 213, 214, 215, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1138, 1139, 1140, 1141, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1225, 1226, 1227, 1232, 1233, 1234, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
43 dsids[509] = {1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 104, 105, 106, 107, 111, 112, 113, 114, 115, 201, 202, 203, 204, 205, 209, 210, 211, 212, 213, 304, 305, 306, 307, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 1028, 1029, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1125, 1126, 1127, 1132, 1133, 1134, 1230, 1231, 1232, 1238, 1239, 1240, 1241, 1325, 1326, 1327, 1332, 1333, 1334, 1335, 1336, 1337, 1338};
44 dsids[510] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 109, 110, 111, 112, 113, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 204, 205, 206, 207, 211, 212, 213, 214, 215, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1138, 1139, 1140, 1141, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1225, 1226, 1227, 1232, 1233, 1234, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
45 dsids[511] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 111, 112, 113, 114, 115, 119, 120, 121, 122, 123, 201, 202, 203, 204, 205, 209, 210, 211, 212, 213, 218, 219, 220, 221, 222, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1132, 1133, 1134, 1140, 1141, 1142, 1230, 1231, 1232, 1238, 1239, 1240, 1241, 1247, 1248, 1249, 1250, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
46 dsids[512] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
47 dsids[513] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
48 dsids[514] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
49 dsids[515] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
50 dsids[516] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 111, 112, 113, 114, 115, 119, 120, 121, 122, 123, 201, 202, 203, 204, 205, 209, 210, 211, 212, 213, 218, 219, 220, 221, 222, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1132, 1133, 1134, 1140, 1141, 1142, 1230, 1231, 1232, 1238, 1239, 1240, 1241, 1247, 1248, 1249, 1250, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
51 dsids[517] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 109, 110, 111, 112, 113, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 204, 205, 206, 207, 211, 212, 213, 214, 215, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1138, 1139, 1140, 1141, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1225, 1226, 1227, 1232, 1233, 1234, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
52 dsids[600] = {1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 104, 105, 106, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 204, 205, 210, 211, 212, 213, 214, 304, 305, 306, 307, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 1028, 1029, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1125, 1126, 1127, 1133, 1134, 1135, 1230, 1231, 1232, 1233, 1239, 1240, 1241, 1242, 1325, 1326, 1327, 1332, 1333, 1334, 1335, 1336, 1337, 1338};
53 dsids[601] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 204, 205, 206, 207, 208, 212, 213, 214, 215, 216, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1225, 1226, 1227, 1233, 1234, 1235, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
54 dsids[602] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 108, 112, 113, 114, 115, 116, 120, 121, 122, 123, 124, 201, 202, 203, 204, 205, 210, 211, 212, 213, 214, 219, 220, 221, 222, 223, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1133, 1134, 1135, 1141, 1142, 1143, 1230, 1231, 1232, 1233, 1239, 1240, 1241, 1242, 1248, 1249, 1250, 1251, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
55 dsids[603] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
56 dsids[604] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
57 dsids[605] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
58 dsids[606] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
59 dsids[607] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 108, 112, 113, 114, 115, 116, 120, 121, 122, 123, 124, 201, 202, 203, 204, 205, 210, 211, 212, 213, 214, 219, 220, 221, 222, 223, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1133, 1134, 1135, 1141, 1142, 1143, 1230, 1231, 1232, 1233, 1239, 1240, 1241, 1242, 1248, 1249, 1250, 1251, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
60 dsids[608] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 204, 205, 206, 207, 208, 212, 213, 214, 215, 216, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1225, 1226, 1227, 1233, 1234, 1235, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
61 dsids[609] = {1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 104, 105, 106, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 204, 205, 210, 211, 212, 213, 214, 304, 305, 306, 307, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 1028, 1029, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1125, 1126, 1127, 1133, 1134, 1135, 1230, 1231, 1232, 1233, 1239, 1240, 1241, 1242, 1325, 1326, 1327, 1332, 1333, 1334, 1335, 1336, 1337, 1338};
62 dsids[610] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 204, 205, 206, 207, 208, 212, 213, 214, 215, 216, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1225, 1226, 1227, 1233, 1234, 1235, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
63 dsids[611] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 108, 112, 113, 114, 115, 116, 120, 121, 122, 123, 124, 201, 202, 203, 204, 205, 210, 211, 212, 213, 214, 219, 220, 221, 222, 223, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1133, 1134, 1135, 1141, 1142, 1143, 1230, 1231, 1232, 1233, 1239, 1240, 1241, 1242, 1248, 1249, 1250, 1251, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
64 dsids[612] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
65 dsids[613] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
66 dsids[614] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 1025, 1026, 1027, 1033, 1034, 1035, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142};
67 dsids[615] = {4, 5, 6, 7, 8, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 1025, 1026, 1027, 1033, 1034, 1035, 1041, 1042, 1043, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1148, 1149, 1150, 1151};
68 dsids[616] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 104, 105, 106, 107, 108, 112, 113, 114, 115, 116, 120, 121, 122, 123, 124, 201, 202, 203, 204, 205, 210, 211, 212, 213, 214, 219, 220, 221, 222, 223, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1125, 1126, 1127, 1133, 1134, 1135, 1141, 1142, 1143, 1230, 1231, 1232, 1233, 1239, 1240, 1241, 1242, 1248, 1249, 1250, 1251, 1325, 1326, 1327, 1328, 1329, 1330, 1331};
69 dsids[617] = {4, 5, 6, 7, 101, 102, 103, 104, 105, 110, 111, 112, 113, 114, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 204, 205, 206, 207, 208, 212, 213, 214, 215, 216, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1025, 1026, 1027, 1130, 1131, 1132, 1133, 1139, 1140, 1141, 1142, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1225, 1226, 1227, 1233, 1234, 1235, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333};
70 dsids[700] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
71 dsids[701] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
72 dsids[702] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
73 dsids[703] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
74 dsids[704] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
75 dsids[705] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
76 dsids[706] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
77 dsids[707] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
78 dsids[708] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
79 dsids[709] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
80 dsids[710] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
81 dsids[711] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
82 dsids[712] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
83 dsids[713] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
84 dsids[714] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
85 dsids[715] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
86 dsids[716] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
87 dsids[717] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
88 dsids[718] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
89 dsids[719] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
90 dsids[720] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
91 dsids[721] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
92 dsids[722] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
93 dsids[723] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
94 dsids[724] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
95 dsids[725] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
96 dsids[800] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
97 dsids[801] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
98 dsids[802] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
99 dsids[803] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
100 dsids[804] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
101 dsids[805] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
102 dsids[806] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
103 dsids[807] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
104 dsids[808] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
105 dsids[809] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
106 dsids[810] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
107 dsids[811] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
108 dsids[812] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
109 dsids[813] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
110 dsids[814] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
111 dsids[815] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
112 dsids[816] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
113 dsids[817] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
114 dsids[818] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
115 dsids[819] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
116 dsids[820] = {3, 4, 7, 8, 101, 102, 103, 106, 107, 108, 1025, 1026, 1029, 1030, 1128, 1129, 1133, 1134};
117 dsids[821] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
118 dsids[822] = {1, 2, 3, 4, 5, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 1030, 1031, 1032, 1033, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327};
119 dsids[823] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1333, 1334, 1335};
120 dsids[824] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 103, 104, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 201, 202, 203, 206, 207, 208, 209, 210, 215, 216, 217, 218, 219, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1125, 1126, 1129, 1130, 1131, 1137, 1138, 1139, 1228, 1229, 1235, 1236, 1237, 1238, 1244, 1245, 1246, 1247, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348};
121 dsids[825] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
122 dsids[900] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
123 dsids[901] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
124 dsids[902] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
125 dsids[903] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
126 dsids[904] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
127 dsids[905] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
128 dsids[906] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
129 dsids[907] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
130 dsids[908] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
131 dsids[909] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
132 dsids[910] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
133 dsids[911] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
134 dsids[912] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
135 dsids[913] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
136 dsids[914] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
137 dsids[915] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
138 dsids[916] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
139 dsids[917] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
140 dsids[918] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
141 dsids[919] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
142 dsids[920] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
143 dsids[921] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
144 dsids[922] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
145 dsids[923] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
146 dsids[924] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
147 dsids[925] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
148 dsids[1000] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
149 dsids[1001] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
150 dsids[1002] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
151 dsids[1003] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
152 dsids[1004] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
153 dsids[1005] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
154 dsids[1006] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
155 dsids[1007] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
156 dsids[1008] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
157 dsids[1009] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
158 dsids[1010] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
159 dsids[1011] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
160 dsids[1012] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
161 dsids[1013] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 321, 322, 323, 324, 325, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1047, 1048, 1049, 1050, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344};
162 dsids[1014] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
163 dsids[1015] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
164 dsids[1016] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
165 dsids[1017] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
166 dsids[1018] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
167 dsids[1019] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
168 dsids[1020] = {3, 4, 7, 8, 11, 12, 101, 102, 103, 106, 107, 108, 111, 112, 113, 1025, 1026, 1029, 1030, 1033, 1034, 1128, 1129, 1133, 1134, 1138, 1139};
169 dsids[1021] = {1, 2, 3, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 303, 304, 1028, 1029, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326};
170 dsids[1022] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335};
171 dsids[1023] = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 19, 20, 21, 22, 23, 103, 104, 107, 108, 111, 112, 201, 202, 203, 206, 207, 208, 211, 212, 213, 304, 305, 306, 307, 308, 312, 313, 314, 315, 316, 320, 321, 322, 323, 324, 1030, 1031, 1032, 1033, 1039, 1040, 1041, 1042, 1048, 1049, 1050, 1051, 1125, 1126, 1129, 1130, 1133, 1134, 1228, 1229, 1233, 1234, 1238, 1239, 1325, 1326, 1327, 1333, 1334, 1335, 1341, 1342, 1343};
172 dsids[1024] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 35, 36, 37, 38, 39, 103, 104, 107, 108, 112, 113, 114, 115, 116, 201, 202, 203, 206, 207, 208, 211, 212, 213, 214, 215, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 338, 339, 340, 341, 342, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1064, 1065, 1066, 1067, 1125, 1126, 1129, 1130, 1133, 1134, 1135, 1228, 1229, 1233, 1234, 1240, 1241, 1242, 1243, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1359, 1360, 1361};
173 dsids[1025] = {1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 101, 102, 103, 106, 107, 108, 111, 112, 113, 114, 115, 203, 204, 207, 208, 212, 213, 214, 215, 216, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 328, 329, 330, 331, 332, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1043, 1044, 1045, 1128, 1129, 1133, 1134, 1140, 1141, 1142, 1143, 1225, 1226, 1229, 1230, 1233, 1234, 1235, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1357, 1358, 1359, 1360};
174
175 return [dsids](int deId) -> std::set<int> {
176 auto p = dsids.find(deId);
177 if (p != dsids.end()) {
178 return p->second;
179 } else {
180 return {};
181 }
182 };
183}
std::function< std::set< int >(int deId)> createDualSampaMapper()
Definition dslist.cxx:15