Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/GAP/pkg/ctbllib/data/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 5.4.2025 mit Größe 1 MB

SSL grp_indiv.json Sprache: unbekannt

{
"version": "01-May-2025, 05:40:21 UTC",
"idenum": "CTblLib.Data.IdEnumerator",
"attrid": "indiv",
"automatic": [
],
"nonautomatic": [
["(L3(2)xL3(4)).2",[
["IndividualGroupConstruction","perms",
[[2,3,7,4,8,6,5,1,61,23,55,33,43,17,45,59,63,47,21,42,35,26,40,19,37,31,16,15,11,60,56,13,44,10,39,29,9,52,18,53,46,48,49,62,27,58,57,64,32,34,41,28,30,12,25,20,24,51,38,50,36,14,54,22],
[6,2,1,3,7,8,4,5,61,59,12,26,63,49,13,48,43,52,55,57,9,39,18,23,47,16,40,51,64,25,56,41,15,45,53,42,27,54,31,33,60,19,11,34,24,21,20,17,36,14,10,44,30,58,50,29,35,28,38,46,32,22,37,62]],
"subdirect product of L3(2).2 and L3(4).2_1"]]],
["(L3(2)xL3(4).2_2).2",[
["IndividualGroupConstruction","perms",
[[1,2,10,6,3,9,7,8,5,4,113,84,75,87,51,118,96,48,53,57,78,26,82,16,97,70,13,62,14,66,108,39,67,11,88,42,104,103,64,81,63,21,71,76,45,60,12,46,35,54,105,61,89,95,65,122,32,93,33,79,38,15,40,22,114,30,23,121,56,20,59,111,37,17,34,41,44,31,92,107,101,100,55,68,80,27,58,47,91,120,109,90,69,74,19,85,72,110,86,43,77,36,52,106,24,73,112,115,50,119,25,94,99,116,102,98,117,28,83,18,49,29],
[2,1,4,9,8,7,5,10,6,3,76,52,93,88,58,38,79,107,61,50,104,71,57,101,66,99,74,63,113,51,82,46,110,112,103,120,85,15,72,12,62,19,42,95,92,81,22,45,44,96,77,49,64,14,28,24,121,33,36,31,109,87,118,60,100,25,83,69,89,18,117,70,116,68,32,90,105,54,39,11,27,114,73,41,47,29,97,80,102,26,40,17,34,37,21,86,56,106,78,122,35,75,84,115,98,55,48,67,108,111,65,53,119,13,91,43,23,30,59,20,94,16]],
"subdirect product of L3(2).2 and L3(4).2^2"]]],
["12.A6.2_3",[
["IndividualGroupConstruction","perms",
[[2,5,8,7,11,3,1,14,17,16,4,21,10,13,24,23,27,30,29,12,33,35,20,37,40,39,41,45,44,46,49,48,6,52,28,54,56,59,58,53,19,43,25,61,9,63,66,65,68,57,70,38,62,47,73,26,75,71,15,78,22,42,32,76,80,18,79,83,84,85,34,77,69,60,87,67,81,88,82,36,90,89,51,31,86,55,72,50,64,74,92,94,96,98,95,100,102,91,105,107,109,111,113,115,117,118,93,119,121,110,123,125,103,116,127,129,131,124,133,135,137,106,97,122,139,140,141,142,143,145,99,108,132,126,120,147,101,148,149,151,104,138,114,153,155,150,157,128,112,159,134,154,161,163,165,166,162,167,169,144,160,136,168,170,130,158,156,152,146,164],
[3,6,9,10,12,7,13,15,18,19,20,22,11,4,25,26,28,31,32,2,34,36,5,38,41,42,43,40,27,47,50,51,1,53,44,55,57,60,37,24,21,61,39,62,16,64,67,46,69,71,72,58,45,65,74,33,76,77,23,79,8,52,35,81,82,29,75,84,86,68,14,59,85,56,88,63,89,90,66,17,87,78,54,48,83,30,73,70,80,49,93,95,97,99,94,101,103,104,106,108,110,112,114,116,117,118,92,120,122,109,124,126,102,115,128,130,132,123,134,136,138,105,96,121,139,140,141,142,144,146,98,107,131,125,119,148,100,147,150,152,91,137,113,154,156,149,158,127,111,160,133,153,162,164,165,166,161,168,170,143,159,135,167,169,129,157,155,151,145,163],
[4,7,10,5,1,13,11,16,19,12,2,3,20,23,26,21,29,32,22,6,8,9,33,39,42,34,44,27,35,48,51,36,14,15,17,18,58,37,52,43,61,53,62,28,41,65,46,54,70,72,55,24,25,30,31,71,77,38,56,57,45,40,80,82,47,63,64,85,68,73,59,74,49,50,81,89,60,75,76,66,78,67,86,83,69,84,90,87,79,88,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,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170]],
"subdirect product of 3.A6.2_3 and 4.A6.2_3"]]],
["12_1.L3(4).2_2",[
["IndividualGroupConstruction","perms",
[[34,18,9,38,15,41,20,52,11,61,22,13,55,4,2,21,37,47,57,54,59,35,33,3,45,60,63,53,14,51,58,43,49,26,24,16,39,25,17,44,62,1,32,10,29,42,48,5,6,50,36,40,27,7,56,19,12,28,30,46,8,23,31,449,1382,1314,674,1374,262,219,277,686,859,869,421,740,737,525,481,1188,991,439,310,350,1335,1377,208,273,116,328,958,864,142,71,623,606,165,1287,781,679,1286,923,473,406,1013,718,1373,1371,339,192,1261,534,430,391,113,1275,1303,90,564,1150,605,683,458,1320,312,840,1291,461,780,1277,742,440,1032,704,1173,758,269,757,537,620,146,237,750,140,267,390,396,1053,907,1099,598,715,1220,816,120,624,1074,790,1030,256,325,115,1024,1062,1109,1034,404,1367,527,342,1405,592,673,1389,300,386,1311,1131,1279,375,400,975,452,693,394,879,766,433,853,353,642,1313,508,1249,700,1153,263,201,459,666,723,650,276,672,684,194,1164,1213,435,569,1020,696,1394,1041,941,252,363,1239,1185,554,657,283,1072,1338,553,628,625,108,311,222,1083,261,428,1143,1241,600,462,460,384,308,540,1096,1404,1246,645,374,558,611,1195,957,675,1305,945,456,1208,75,341,667,506,395,1186,776,1116,431,827,1107,1201,409,1297,424,211,583,1001,1349,1071,1023,538,467,221,789,783,226,463,1390,478,492,1209,1193,235,362,912,432,1243,1110,1196,446,244,1139,775,1111,889,419,420,156,145,835,905,359,891,626,824,702,947,782,298,1169,434,1130,743,1008,67,1260,1238,643,199,1176,1026,491,913,646,914,202,1386,266,613,983,541,1172,1229,1402,377,898,385,1198,196,810,1144,722,68,594,73,1387,652,507,924,441,584,617,465,669,1343,572,595,1340,639,593,230,70,448,934,1219,596,561,571,1217,698,1148,932,802,511,272,412,1270,1194,1265,1090,903,1084,1233,260,1224,1114,1294,79,800,302,107,93,398,1268,1267,655,130,1256,1051,1094,1073,662,999,1200,1145,647,784,1166,515,691,831,1212,215,981,183,826,516,770,204,129,414,1007,163,477,336,1128,1197,1061,1304,574,313,314,1156,285,74,935,212,1088,697,1009,1255,151,984,1005,136,160,293,1264,834,939,338,185,862,618,356,399,500,368,1398,65,615,967,563,1019,946,1082,1065,1132,1048,986,551,187,251,85,123,1003,1310,135,1302,822,635,890,81,413,487,746,1077,1125,1342,685,805,1179,622,367,92,1004,1381,1360,542,888,930,1376,993,372,656,850,1407,1093,857,1103,1044,213,867,1368,820,951,811,455,1329,1391,798,161,961,988,236,1091,575,1092,1122,316,748,519,475,241,843,690,717,852,464,164,893,1401,821,127,162,721,369,949,817,1117,334,1223,885,197,990,468,644,1365,1378,1288,1067,997,1059,1289,627,1323,522,974,1395,517,565,1384,203,348,335,856,568,954,503,1076,901,1014,808,860,1068,1123,330,445,417,174,1300,225,91,103,830,326,189,849,1137,292,134,772,1258,973,288,842,1095,376,897,1046,814,426,876,423,102,1202,1332,689,1042,546,880,767,630,1269,1210,205,980,488,118,1178,444,971,755,578,306,637,1031,150,1142,868,884,1045,1063,959,250,471,175,1181,754,1158,112,218,1295,210,1035,653,1309,1155,786,1119,1399,214,1358,911,699,169,1308,139,234,1056,352,855,317,172,529,182,751,1075,1240,985,200,1017,521,97,1347,76,848,588,773,104,825,832,1039,813,1040,411,1400,1136,149,176,608,970,769,663,1134,96,995,1393,1317,1231,705,382,191,937,345,340,254,105,324,383,670,1230,1207,358,1192,329,906,964,381,1334,1151,246,232,1054,1089,1216,361,1221,1055,1133,732,321,1232,1184,474,909,1214,148,109,1043,303,180,1129,179,319,357,925,114,131,132,494,158,290,603,1370,838,1029,612,839,499,227,1070,1392,238,1328,171,966,87,819,762,1350,247,1227,681,121,797,1355,1296,922,1058,749,425,280,141,895,1299,184,1152,660,1064,295,678,1206,586,692,1263,530,126,787,829,1012,654,1327,304,760,1154,943,536,84,1283,1318,926,486,823,1118,1087,258,228,360,931,727,729,728,730,552,567,1027,714,944,1252,379,378,1319,1344,1050,271,270,1182,1353,275,155,761,1242,1383,190,528,793,193,1069,1396,94,1174,128,1276,1127,95,752,1330,138,759,495,393,1321,738,1097,416,88,106,796,1180,1354,621,1272,969,764,1341,1171,1112,716,122,178,512,469,1397,828,1406,387,159,601,1175,1085,602,1331,510,591,1021,1211,557,549,454,1245,186,438,1028,651,1298,259,1364,371,333,774,220,854,110,257,803,1351,801,992,1138,809,703,198,143,147,1124,307,866,1149,861,173,747,392,920,1126,1060,1100,665,731,978,1098,1000,482,1271,768,555,239,616,548,604,349,998,80,1141,1356,98,1010,216,1105,785,1359,1189,1165,582,875,902,133,484,355,739,101,1251,659,294,78,77,680,299,881,734,735,638,972,485,520,1215,332,560,765,726,397,682,1348,245,1316,874,1222,1120,1366,938,1170,580,963,1362,119,177,418,137,1086,1199,168,1325,1104,1369,388,264,240,573,795,886,479,1357,778,741,1081,472,756,1022,1162,1337,1234,206,792,794,1385,1346,1225,523,1016,346,589,389,497,1161,1226,83,788,870,531,833,927,837,581,1282,633,1290,607,1333,535,676,687,614,322,609,504,777,380,725,543,248,1078,719,344,447,791,279,872,443,865,882,1339,1280,899,1247,566,111,144,364,320,1038,331,968,505,1379,408,1167,125,928,1121,502,1388,217,493,1052,1336,632,509,1301,282,166,1292,712,1312,1345,278,896,153,711,1278,407,532,323,658,1244,807,610,1037,1002,1113,570,1262,836,933,415,442,977,841,154,871,550,955,231,343,863,818,1080,1372,1191,908,89,710,99,229,929,117,86,64,366,1204,979,976,1352,305,301,952,688,457,410,545,476,1281,634,1266,664,422,249,1025,470,1157,708,403,701,636,940,498,69,1049,1147,619,1307,707,1168,799,1380,948,579,490,1160,779,450,451,1177,1163,286,744,513,649,309,402,100,287,284,365,994,370,1203,559,851,847,661,1248,892,315,157,877,526,152,1187,1363,640,577,1006,539,845,195,1140,720,265,706,480,1403,648,547,590,585,733,956,987,1011,812,904,466,1115,1237,917,1036,405,1228,427,597,188,1254,915,921,846,671,207,243,1361,916,268,556,982,533,82,1190,1250,1326,942,1047,429,1236,1315,806,989,599,1259,518,436,713,1253,437,894,918,576,1205,354,1273,1235,1159,453,1135,281,296,483,1066,709,960,736,224,1218,255,489,962,274,514,496,950,167,629,996,878,1306,695,936,289,858,170,844,694,242,124,873,631,1375,327,1057,887,753,1108,677,641,900,668,1257,544,1324,72,291,1285,337,883,401,1274,524,763,233,562,253,501,1183,953,373,815,1102,181,1079,297,66,587,1106,1101,910,771,351,347,318,209,223,1293,804,1033,1322,745,1284,1018,1015,965,919,1146,724],
[49,17,32,6,1,45,5,56,26,14,47,43,20,28,57,12,48,60,10,44,29,21,46,62,42,51,22,35,8,13,25,59,11,37,36,19,54,50,24,9,7,58,63,31,39,18,4,2,34,52,30,16,38,23,15,27,33,40,53,41,3,55,61,1337,806,677,616,873,620,260,800,206,777,239,1407,1001,593,289,1092,1293,532,621,743,1174,529,536,94,1117,735,1366,1356,1264,600,1319,249,999,774,1305,1064,193,448,977,174,151,523,470,1362,343,501,935,452,181,991,1228,1133,1269,654,816,1120,736,556,150,979,960,1374,1113,570,596,1238,1273,168,875,339,697,720,1231,522,1190,493,592,583,1281,771,1370,1332,531,461,132,804,335,1300,397,715,89,354,1326,553,318,145,496,1192,1147,907,67,216,1102,756,1002,614,561,957,559,1382,383,576,1094,724,660,1124,1395,749,1198,637,1227,832,263,1359,1318,420,131,352,514,455,379,727,1357,454,254,1383,1158,440,1328,1391,414,925,90,499,387,705,471,613,1364,1033,394,754,1135,494,608,1339,1065,447,631,1296,453,854,416,1401,177,615,710,247,1272,393,1168,747,633,753,368,601,204,1141,1164,676,744,437,668,1354,941,211,817,1194,658,683,1136,900,278,415,1347,1393,366,1275,1079,172,375,544,1183,1239,456,547,228,348,560,828,1093,1099,1343,791,937,129,1108,329,1282,550,1289,275,563,1235,1307,82,81,518,336,1321,364,246,698,778,253,87,545,351,179,782,1118,667,706,732,1029,785,96,961,1292,716,1119,573,1237,610,793,515,908,473,346,886,1088,733,356,133,1310,506,372,1204,1266,373,1233,526,1048,418,365,347,345,464,641,1335,866,642,509,99,989,223,1361,349,928,992,1089,598,784,1138,626,442,474,468,472,269,337,84,530,412,273,830,146,1127,834,849,411,1390,1116,1027,940,323,569,1334,755,446,210,656,267,1301,571,568,839,666,511,1255,1405,858,259,121,944,1376,1121,929,436,1224,264,186,114,1287,709,867,597,1036,757,1071,371,118,969,1188,1283,152,92,672,669,1144,1201,480,1288,694,105,95,895,565,237,909,702,1320,916,86,1114,1169,792,1112,881,798,112,812,1073,1149,504,1385,465,341,636,491,863,1193,965,486,1115,1380,1372,767,406,538,640,1285,903,707,1333,250,207,917,78,870,362,235,688,212,1346,759,1248,144,775,139,915,931,947,1177,1128,1095,451,1010,1047,66,648,1387,768,281,358,1022,938,226,1084,1043,1049,110,674,1146,1306,1207,1056,423,88,829,1223,450,1038,910,1072,1085,388,159,1398,1338,847,1246,877,1082,1216,1068,894,316,1404,507,840,1349,128,1212,708,665,1186,534,242,153,113,1181,1245,98,185,1159,1055,1034,950,160,294,773,841,964,1276,1106,996,525,445,1250,921,1015,227,1090,1215,607,203,117,942,109,1229,851,1330,209,123,286,1137,701,1406,1340,201,595,255,1028,1166,796,664,1151,649,783,369,1386,815,395,381,533,307,1039,431,646,103,284,623,1032,1132,1341,219,524,1066,1081,726,302,1152,790,539,1110,1179,360,1211,892,738,497,994,919,1274,236,844,638,1172,198,1062,1077,1218,1397,1389,225,591,163,869,590,879,1139,125,173,1371,934,963,562,106,1242,155,887,889,1058,478,245,949,1060,671,490,319,1221,897,998,1256,1213,933,549,1249,75,124,956,460,805,1196,77,102,157,1176,918,1260,136,1402,68,1078,1126,955,1155,432,1184,1011,315,120,948,882,195,1083,943,627,122,1295,70,1345,466,802,73,1368,1254,1076,687,980,1214,604,831,1322,761,334,689,1377,503,119,500,891,1145,574,1316,603,141,997,528,279,280,1040,324,1148,484,752,959,421,766,311,126,860,218,622,635,367,970,477,355,512,287,1087,1165,183,540,182,72,986,673,1143,862,885,850,712,438,728,578,1004,901,580,914,836,283,1348,1086,537,865,1185,485,1323,164,983,946,884,402,1019,1280,400,972,880,184,331,639,405,403,1226,1315,662,741,293,657,187,229,1157,510,487,1392,498,974,1329,659,737,69,868,1013,233,967,717,158,859,1059,966,517,1131,902,920,1042,1331,527,995,265,1222,810,719,1180,906,567,566,330,913,190,585,878,799,883,1101,1268,1336,1069,936,1163,200,303,602,271,856,469,1206,176,872,1225,116,74,871,224,380,76,1290,541,359,166,1257,1103,427,985,390,138,826,1286,108,350,729,1017,822,801,1140,993,101,696,577,1046,300,1203,482,425,111,189,305,618,1277,630,713,1298,632,589,762,389,555,268,1236,188,846,1312,628,599,310,439,422,408,818,1122,606,781,1403,429,1247,435,1259,404,899,1178,488,243,1267,344,1037,1153,564,363,911,462,1109,222,220,1253,543,353,333,399,1313,1098,1197,513,1244,1205,625,208,982,711,848,1271,551,1358,257,695,814,813,1074,1129,888,1171,196,833,794,1351,162,861,1167,1045,904,1396,647,238,976,1016,296,476,258,430,651,1304,945,407,171,1160,1104,213,262,1352,292,79,385,396,1187,952,340,1018,1096,680,843,410,1170,723,611,361,797,137,619,134,1261,142,1024,874,1091,1041,953,962,1220,924,990,147,954,1199,811,973,502,312,971,852,1052,1327,169,1006,104,926,194,83,1299,586,838,923,1399,764,483,309,215,1154,1394,685,80,546,686,1182,1270,691,1378,143,730,313,1284,1369,681,357,835,1097,1012,401,819,552,1355,180,939,231,968,520,419,197,746,582,587,1251,148,845,1360,1375,704,645,1080,1297,588,1252,443,739,1025,722,652,457,1367,301,1400,629,740,1381,232,605,718,609,765,288,426,475,1379,1123,1020,409,256,1309,1363,167,760,1234,458,820,444,1035,1265,932,1384,1230,579,519,434,548,1208,314,653,663,825,261,107,1021,326,266,1005,463,594,987,1051,130,721,175,100,857,1075,424,1294,251,693,1344,1210,376,202,758,624,981,930,1241,1061,984,459,1031,650,557,770,417,377,1009,234,1000,803,725,1107,898,241,682,1142,572,156,734,449,975,199,742,505,1070,634,384,1219,170,700,1217,535,1314,1053,178,321,467,951,295,1008,1373,1209,1173,272,1365,64,85,1050,855,304,1311,675,1100,391,277,244,230,1195,1278,71,1023,922,978,140,322,392,342,1353,780,479,97,1279,617,481,1134,325,927,214,297,912,382,1057,1150,374,1303,1063,905,165,135,495,1388,670,1350,248,192,282,154,386,508,1325,643,1191,1324,807,221,308,306,864,327,824,370,745,703,489,788,772,1240,441,779,1308,581,554,240,1014,1161,276,890,748,575,398,492,1232,542,678,1263,679,988,270,1200,93,823,787,65,378,1342,750,714,690,876,692,1044,655,332,612,1302,1030,584,821,191,1105,290,217,776,299,684,808,413,161,795,115,893,1067,149,751,786,521,1162,91,1125,1175,1189,1054,317,896,1003,285,252,1130,1026,291,1258,731,1202,958,1317,320,661,827,205,1156,433,789,298,1243,1111,558,769,644,842,338,699,516,837,853,763,127,1007,428,328,1291,274,1262,809]],
"subdirect product of 4_1.L3(4).2_2 and 3.L3(4).2_2"]]],
["12_1.L3(4).2_3",[
["IndividualGroupConstruction","perms",
[[26,87,24,31,117,58,14,12,82,36,18,66,17,109,71,116,65,114,86,28,99,29,23,68,69,84,104,44,96,34,100,95,126,85,56,55,54,115,25,113,15,32,57,20,125,70,72,46,35,88,74,47,105,111,10,49,90,77,92,60,98,91,101,112,13,8,89,3,39,48,41,52,27,103,75,33,6,2,59,61,81,108,38,1,30,119,78,106,124,43,102,79,16,45,42,22,40,80,122,4,110,62,51,73,123,50,64,9,7,63,37,107,97,11,83,93,118,5,19,120,121,21,53,67,94,76,285,286,221,222,284,283,220,219,323,324,325,326,233,234,231,232,178,177,176,175,226,225,224,223,209,210,208,207,164,163,166,165,268,267,270,269,187,188,190,189,179,180,181,182,259,260,261,262,277,278,275,276,271,272,274,273,199,200,202,201,155,156,158,157,340,339,342,341,141,142,140,139,297,298,296,295,192,191,194,193,317,318,315,316,212,211,214,213,160,159,161,162,241,242,239,240,290,289,287,288,308,307,310,309,196,195,197,198,132,131,127,128,130,129,133,134,333,334,331,332,338,337,336,335,311,312,313,314,135,136,138,137,291,292,293,294,251,252,253,254,216,215,217,218,168,167,169,170,143,144,145,146,303,304,306,305,236,235,238,237,147,148,150,149,172,171,174,173,186,185,184,183,245,246,243,244,322,321,320,319,348,347,349,350,264,263,266,265,152,151,153,154,282,281,279,280,256,255,257,258,250,249,248,247,300,299,302,301,328,327,330,329,204,203,206,205,344,343,346,345,228,227,229,230],
[83,92,84,67,68,123,103,104,119,3,93,75,19,8,21,51,23,90,69,30,62,48,24,86,117,65,89,55,44,73,45,122,66,116,101,17,71,6,124,70,105,111,58,114,87,34,37,59,27,63,98,115,81,113,25,43,96,2,110,5,52,109,22,42,26,57,60,32,91,74,39,46,35,38,125,79,9,11,4,97,64,40,88,28,76,54,49,126,100,12,107,33,50,13,7,99,80,120,56,29,106,53,82,36,41,121,15,47,94,118,1,72,14,31,10,18,61,78,20,108,77,85,95,16,112,102,180,179,249,250,181,182,248,247,150,149,147,148,231,232,234,233,136,135,138,137,253,254,251,252,279,280,281,282,189,190,187,188,215,216,218,217,291,292,294,293,169,170,168,167,305,306,303,304,198,197,195,196,165,166,164,163,307,308,310,309,317,318,315,316,159,160,161,162,347,348,349,350,337,338,336,335,326,325,323,324,185,186,183,184,152,151,154,153,219,220,221,222,241,242,239,240,203,204,206,205,171,172,173,174,267,268,269,270,223,224,226,225,192,191,194,193,286,285,283,284,328,327,329,330,263,264,265,266,321,322,319,320,287,288,290,289,227,228,230,229,256,255,257,258,243,244,245,246,144,143,146,145,132,131,127,128,238,237,235,236,130,129,134,133,334,333,332,331,278,277,275,276,200,199,201,202,296,295,297,298,299,300,302,301,178,177,175,176,271,272,274,273,260,259,262,261,158,157,156,155,140,139,141,142,344,343,345,346,313,314,311,312,214,213,211,212,340,339,342,341,210,209,208,207]],
"subdirect product of 4_1.L3(4).2_3 and 3.L3(4).2_3"]]],
["12_1.U4(3)",[
["IndividualGroupConstruction","perms",
[[158,269,213,2,141,151,66,48,25,228,287,274,248,254,170,199,123,113,109,112,309,172,292,257,266,265,307,310,348,352,163,148,264,149,74,154,88,78,162,12,164,49,165,159,111,267,340,126,270,160,183,373,246,140,372,166,34,73,353,315,215,377,252,4,271,272,308,323,346,17,371,105,46,303,316,262,65,301,312,104,305,219,224,136,198,231,235,285,341,200,131,10,61,121,134,223,258,194,145,334,26,338,229,281,321,44,237,185,152,238,232,277,339,43,142,328,217,144,311,378,284,306,324,331,227,244,214,329,67,33,327,286,51,320,118,326,197,189,5,291,283,72,41,87,84,16,236,289,29,133,106,358,81,276,263,68,110,304,193,124,218,102,275,294,122,57,360,169,9,168,242,101,13,361,278,80,314,191,129,135,82,114,128,293,290,100,333,279,332,366,375,94,345,127,245,240,364,325,30,157,156,45,330,139,344,90,359,319,182,20,239,318,55,317,47,367,376,282,186,143,362,250,91,322,103,233,288,14,18,3,370,161,96,11,280,7,268,335,115,8,42,64,77,313,38,130,93,350,132,97,225,117,176,273,343,187,153,137,92,204,150,24,23,167,60,15,36,192,300,75,31,357,259,342,243,58,249,230,70,180,205,202,369,107,173,210,337,50,40,216,155,54,220,184,69,241,179,351,21,171,177,247,27,19,76,209,174,354,28,298,86,119,196,195,22,296,212,98,108,190,211,120,178,347,89,207,226,138,261,83,125,62,39,374,206,234,255,256,251,302,363,32,336,253,6,59,188,56,147,37,299,52,71,368,85,95,349,1,99,53,35,63,355,222,356,365,208,297,260,79,295,175,146,181,201,221,116,203,1959,2038,1632,1888,1957,1887,1183,1018,2277,1936,1616,2275,690,2318,880,1301,771,2264,2085,2373,877,2381,1185,2077,1859,2484,2534,1043,831,2357,1247,1707,948,2427,2439,1911,1182,1015,1618,2001,2231,718,750,434,1140,1463,1668,1034,1261,1417,1626,1540,1661,1260,1453,2313,1958,473,2117,1161,2250,2065,2136,721,1384,1418,2254,1615,1298,1451,1960,1395,897,929,464,1578,1821,1315,784,1788,2090,1873,2110,1676,1814,2524,2278,529,2453,1597,1924,1469,1313,2169,1447,1978,397,1446,1952,1175,2261,779,2179,620,1830,673,1019,2570,1480,580,530,2087,1243,1493,486,1361,1364,2197,1570,706,1906,900,1760,590,2366,2084,1704,1812,573,1770,1200,1232,522,2062,2016,1719,959,2190,2371,2242,2449,1045,2208,2563,2035,635,2569,2073,1717,1985,1808,766,413,1534,2274,1539,2510,954,2476,810,2213,861,1302,2613,1827,581,636,497,1664,1837,542,1752,1755,712,2056,783,1971,2173,1024,2180,1086,1782,1128,550,844,1660,2243,1367,1639,2168,2229,1429,591,689,1310,408,2507,2414,1394,454,658,2054,428,1137,767,1284,2579,2181,563,1210,1001,2558,1642,2543,1602,1787,891,433,958,1461,1637,2495,1457,2375,1545,1979,2504,1203,2176,691,1402,2438,1452,2207,675,1047,1629,1656,628,707,2305,2147,1259,2480,1551,1536,1495,787,1004,2384,1504,825,1929,1035,2145,2037,2206,943,444,1868,2379,1872,2372,1254,2350,570,2490,1167,1708,2591,2011,682,826,553,2113,2218,648,2172,1094,1553,1307,2412,478,2188,1572,656,1152,2109,1468,1527,2097,1908,2498,1793,692,876,1715,424,2608,2351,1769,512,846,458,1577,944,1694,1938,2413,665,1638,1287,1953,1455,2331,2076,1460,1194,463,1258,1819,2095,2606,585,1386,1375,2285,2048,1922,702,1521,2457,1945,1067,2296,1198,1528,2237,1917,1907,2599,1129,999,381,1687,1831,813,1581,528,1334,717,1926,2225,1299,1325,1030,1085,1688,1332,1088,1669,1020,1092,2616,2479,2425,2583,1854,1585,1187,1700,2234,646,829,1089,1138,1358,1311,1142,1619,1738,996,1286,403,2177,1475,1817,527,1804,1223,840,2404,2464,847,1564,705,516,1611,2391,2365,686,1762,736,2402,2323,1098,2140,2397,1022,1842,2523,739,582,925,2175,2590,2586,496,1556,878,1776,1523,1813,592,863,1050,1440,2043,818,479,1943,2465,1675,748,1882,1869,1839,962,1290,2034,1848,1134,769,1316,2463,790,1396,1244,502,2238,2416,2241,1923,776,1986,672,2329,2137,990,2302,775,1135,596,1961,2492,837,1471,1884,1713,1946,534,2401,777,845,1590,2448,1824,568,977,753,1430,2192,879,1181,2144,455,2420,1996,2182,618,604,2061,1245,2008,1103,1902,853,2096,576,1900,1548,1444,1100,1818,1624,521,795,727,2443,1381,2601,2269,1342,1401,1627,569,2501,1099,1490,1963,997,1285,383,2126,1982,1122,1508,634,586,896,2009,1913,1705,1519,1312,1355,720,1730,1357,2118,1303,1360,2594,2036,2556,2000,2227,2067,788,743,2500,593,1041,1750,1716,1580,484,2162,1282,1695,419,2377,1481,2209,633,2202,1647,1148,2338,1428,1154,782,622,2081,2032,873,2178,915,1379,2387,1365,2360,1026,1305,2220,2343,918,683,1228,1008,989,1892,552,1197,1809,588,908,905,1790,2588,871,1710,2112,1109,2148,2368,1454,2072,910,524,1691,2262,920,1890,460,2222,1886,2006,2058,1403,1449,698,2309,1682,681,1372,2014,572,613,2005,1010,1767,1400,2335,841,410,2022,1419,1510,1164,1083,1576,465,2282,566,1579,452,1841,432,2122,2193,631,1130,1542,1474,2066,938,774,1601,1473,2216,1696,1436,1701,2028,1222,1889,2336,1091,984,2424,1359,1272,801,1136,2380,904,855,1560,768,1389,2472,1174,1561,505,1729,2027,2565,939,469,1916,2466,1294,1779,380,1753,2593,2138,881,1322,710,2120,474,2494,2364,1392,1221,870,1652,1048,1277,2244,595,2581,1625,2471,2344,713,1340,2493,2165,1448,1079,2482,772,645,2094,2508,1084,1746,1955,589,2041,693,1169,1326,1803,2320,1127,535,2267,2121,927,715,2239,762,1262,1697,2315,2223,1574,946,564,1427,965,1771,1665,608,2502,2328,1535,1492,952,2289,860,1442,1278,1399,951,1575,697,1973,2577,1145,1097,2142,2270,640,2359,435,1153,440,2584,2211,670,1265,755,1794,1184,1614,1965,513,1506,1552,1505,808,2431,1666,2299,1369,2251,1160,2444,678,2249,1879,1806,973,1498,627,970,906,1758,2618,1950,431,789,2091,671,2568,1366,1834,760,1283,1032,387,2456,998,1567,1851,824,687,1199,2300,2256,557,1858,1031,1747,899,2156,1749,1390,1709,1751,2559,2316,2340,2298,2497,1080,963,922,1909,694,1466,1507,540,2473,1693,2131,450,2539,1828,2487,823,2485,2102,1586,1934,1591,957,812,2437,2314,1178,1993,1218,1756,2542,1524,2533,1309,1711,1211,1208,2191,1915,1176,2139,1393,390,1962,2536,481,2382,1213,630,2129,1038,1023,518,2023,1517,2428,1777,1810,885,2521,1069,869,1532,674,803,603,1775,2527,1149,441,2310,1789,1388,1600,1353,2060,523,1007,668,2063,510,2219,462,2454,821,409,1875,1033,1239,950,1101,1479,2491,759,1800,744,1076,2555,1557,1685,1111,740,1207,1162,404,945,1765,2604,1549,405,611,2155,757,2566,1240,492,764,1413,490,382,1405,1186,1374,889,1415,2031,1434,1646,2105,1051,1689,696,1904,1432,2390,892,1735,723,1014,1351,1515,949,835,2442,1397,1354,2199,1276,1057,968,1248,2552,1042,1438,1256,1968,1433,1064,1920,1159,577,1894,1499,1631,519,2518,993,796,1009,1296,1989,1105,2617,2312,916,1987,447,531,1188,765,647,2400,1115,1333,2550,1458,2597,1229,1406,1352,2576,642,1861,684,578,2352,1975,1308,746,525,1984,838,1905,2135,1273,1681,625,2421,1196,1289,2248,2615,982,1238,2051,1078,504,1093,2013,1382,912,602,1658,2394,1380,1266,1763,1500,2321,2499,517,1829,2106,1217,2082,953,1845,1825,2268,729,2370,2458,917,1065,728,1522,1865,1439,680,2531,907,587,2235,1802,868,1737,1897,2573,606,1912,2376,1981,503,1437,1513,547,2505,1114,1385,2046,2040,1622,2334,1068,2326,1227,384,2130,621,1387,456,1994,2516,2440,1246,2561,1362,1345,2055,1680,1742,2426,1107,2125,2541,2079,902,1297,1503,1744,1856,1249,1144,1970,1772,2330,1895,828,1300,2571,1424,476,1155,2520,780,1002,1123,988,1410,2214,1844,1118,1241,1102,802,1722,2152,704,711,883,1604,1520,2201,2361,1571,641,2362,786,1230,894,2503,785,2132,2525,2496,666,1932,2114,798,1931,1836,1252,2514,426,1502,1690,1774,1251,2059,884,1977,1901,1583,2462,2409,830,1983,495,470,1964,2488,858,1678,932,1617,2083,2280,619,1850,1883,1849,2115,1487,1529,2410,1596,1462,866,1921,2018,2204,571,817,1090,1209,980,461,964,859,1537,1525,2215,937,436,1314,395,2574,972,482,1133,874,1628,1488,659,2230,1202,2467,709,1766,2171,2612,2369,2528,2045,2607,488,1082,1225,1939,1823,981,756,1990,508,2374,2012,2589,1132,719,1928,2068,1976,1016,1257,1121,2294,1643,1860,2578,1636,2481,2258,1609,561,1768,398,2279,2595,537,575,820,1948,1319,1306,624,1028,1956,1189,1344,1866,862,1113,2186,2337,1587,499,2522,1891,1764,1467,1745,2430,629,1292,856,708,616,520,1944,425,2015,487,1250,1826,2411,936,923,1348,392,919,1635,1598,420,2564,1880,421,2029,934,2557,548,941,1785,546,386,1778,477,1192,1988,1798,2101,2446,1327,2127,2252,1796,2544,1195,2160,1039,1323,1494,1674,1797,1339,2259,1595,679,2049,1843,2092,1910,1280,971,1293,1702,2291,1371,2580,1219,2290,637,1620,942,836,2332,1512,2611,1816,565,1653,594,832,1431,1980,1714,1146,1949,1073,1686,2123,815,716,1511,1036,2392,1270,1659,1350,610,485,1759,1215,703,2107,2546,1757,1679,2406,623,2212,2398,472,1059,1253,1483,1421,1550,1220,688,976,2200,1947,2247,2255,1377,2287,609,1801,1855,653,2052,1559,1761,2322,2317,599,2423,1343,2408,1651,388,1544,811,514,2295,2598,1667,2592,1739,2166,2333,1373,1205,1703,1847,1670,1582,2284,2183,1443,2246,1706,2342,1791,532,1592,2399,955,1288,1568,1470,1046,1563,1662,1368,1112,2150,2419,781,890,857,1967,1318,1141,468,1006,1698,2403,2560,1337,1025,1878,1857,1407,2325,2532,967,1330,1263,445,969,483,1903,1546,2363,1565,406,1740,2253,1741,2358,2355,411,1329,1075,1648,491,1992,1645,1271,1095,651,2221,1477,1555,2265,699,1190,1193,1056,1641,539,805,1501,2263,994,1005,1158,1608,654,2141,1728,1304,749,1435,1518,1157,1644,2515,1718,501,567,1027,1464,2119,2033,1000,816,554,449,1391,2301,834,848,2308,1822,1216,2433,886,1459,471,1942,2347,901,2367,1408,1833,2547,562,807,850,1736,2088,1569,986,1486,1472,2154,612,1954,2224,2609,574,1516,1119,2356,643,2327,1267,978,2276,2100,875,1264,2483,2286,1441,1255,1526,555,1049,407,2111,393,2553,956,667,1317,1594,833,584,2435,1003,662,745,2210,724,797,1773,1378,669,827,839,2174,1649,1104,2610,864,1606,913,822,2133,1509,2143,909,961,1654,960,2007,854,995,2047,385,1538,2217,601,1846,2128,2185,1672,2429,1139,2288,551,493,761,1972,1165,2086,1991,809,2021,2451,1863,2551,1820,1172,2260,733,1126,605,1268,1166,1870,466,429,538,735,1179,1420,1832,2602,888,1930,2349,2537,2587,2348,544,1269,933,2292,614,2538,2303,1941,734,898,1514,1081,1935,556,1566,2232,2080,663,414,1899,677,2272,1721,1712,814,1621,2236,1168,1558,379,975,1997,475,819,1699,1163,480,806,626,437,2304,543,1671,2010,1927,1237,1226,400,2093,2074,451,2044,2019,1414,1235,1951,1242,2189,652,394,2039,533,794,2396,1411,2506,2195,1320,1724,1838,2196,1734,2417,2071,867,2324,1692,1416,1060,1531,2415,1096,1445,725,695,1795,1584,1995,1347,2004,2455,1124,895,1853,2393,1683,2108,1743,800,541,1383,2388,1106,2489,979,1881,2271,1898,738,799,2025,2228,842,987,747,700,1456,396,1877,1120,974,2116,2562,2163,2526,1108,1634,732,2064,726,2477,1805,1896,558,2529,638,1017,2548,526,1291,2549,1733,1465,1054,1780,2407,1087,1485,1376,2535,2053,422,2164,442,1727,742,2293,1684,1623,1331,2345,600,583,1021,1998,843,2461,928,1799,2099,1914,2146,607,579,1125,597,507,2517,1143,2266,559,1204,1781,664,1117,2161,498,1274,722,1478,2026,2422,676,2513,2395,1180,1677,1919,1673,1862,430,423,2450,401,2572,1720,2070,685,924,903,2184,1147,1554,2103,1370,1170,731,1131,2459,1852,2386,1212,893,1792,931,446,1754,1233,1349,2153,935,1404,598,2024,1052,1630,752,2596,2170,2030,1231,966,991,2585,2540,506,1593,418,2575,1723,2151,778,439,2205,2134,1530,701,453,560,1784,737,2567,1640,2478,940,1029,1224,2445,2339,1633,793,2159,657,2198,1053,1885,549,1783,1610,416,1116,1573,399,2187,2383,443,1876,1040,1110,1191,770,1497,650,1840,1363,1807,2418,661,887,1011,1605,2226,1062,2297,1893,983,1173,2050,448,2603,714,500,1491,1650,515,1867,2017,758,1236,1063,930,2089,1281,1974,389,1871,1484,791,2389,1541,2341,2233,1607,2509,2240,459,644,914,1612,1940,1058,1234,1966,804,1933,1201,1074,489,2436,851,865,2512,2149,1603,402,1599,536,467,2519,649,2441,509,1066,2307,1786,985,2273,1663,1055,639,2378,1072,1335,1398,882,2194,1070,2545,2124,2447,2167,1999,2020,2511,1425,2311,1150,1275,926,1815,412,2452,2474,911,2432,2203,1423,660,632,730,1356,427,1013,1044,921,1151,2582,2257,852,1562,2554,1613,2003,1489,1496,417,2614,2434,872,1206,1077,2385,1328,754,1655,2069,1450,2460,1864,511,2098,2605,1937,2470,494,655,2057,415,1426,1321,391,947,763,849,2078,2245,1835,2104,2306,751,1338,1071,1725,1061,1156,1732,2469,1177,2530,2319,2405,617,2486,545,1969,2475,1012,1811,1171,1037,1324,1588,2353,1214,2468,792,2075,773,2281,1748,438,1726,1346,1918,1279,1925,2158,1422,1482,1547,1409,1874,1533,1657,741,2354,615,1341,2346,1731,1412,2600,457,1589,2042,2002,1336,2283,1295,1543,1476,2157,992],
[188,296,242,263,24,53,375,256,218,275,293,13,50,261,86,8,31,300,347,294,70,203,279,280,276,42,288,106,215,210,125,6,36,77,201,209,348,257,63,374,195,307,71,56,372,126,110,20,4,12,52,283,79,111,226,316,366,245,271,370,64,62,260,367,246,9,57,222,202,255,349,196,32,73,107,313,314,14,47,344,292,359,356,193,124,284,334,72,68,133,236,16,306,239,212,302,335,96,116,216,189,136,289,10,59,197,191,97,225,214,281,295,117,194,273,342,336,27,357,55,67,235,337,190,338,320,221,227,219,361,29,61,230,26,192,81,278,135,358,290,84,85,360,169,21,368,310,312,369,378,377,341,371,17,33,254,211,309,355,233,319,376,330,18,92,252,327,198,224,322,311,346,131,340,351,251,329,155,229,89,154,352,129,231,286,171,166,48,65,82,164,138,141,148,160,183,158,58,282,23,163,205,244,353,120,88,83,241,184,217,324,161,248,74,317,78,30,66,11,140,269,159,28,75,49,321,151,103,69,90,45,174,108,98,80,142,172,285,249,362,156,223,143,182,262,303,176,270,139,113,119,46,267,123,100,122,149,60,350,180,145,105,121,91,132,299,332,339,325,364,326,238,363,274,308,287,298,277,250,175,147,240,237,150,343,204,25,318,228,220,187,265,206,134,365,272,208,128,200,144,137,354,104,185,3,7,1,101,305,35,40,234,328,51,199,44,167,170,15,152,179,243,76,157,304,168,259,22,37,54,19,253,315,162,146,266,268,43,297,232,291,333,373,165,345,34,331,186,181,173,38,323,127,114,39,207,87,93,264,118,213,99,130,115,112,109,102,41,5,258,2,178,153,177,94,247,301,95,2508,1397,1968,1772,1010,2549,524,2183,603,2560,630,1906,2378,1154,2461,2477,704,2352,820,1959,2540,1591,2582,559,2063,424,2233,1458,1722,995,874,2588,781,2531,1129,2038,562,1016,2575,661,708,455,2499,1816,2150,1281,1179,1358,1914,738,1653,2497,1048,1952,1322,1465,1763,2556,1612,2200,2512,771,1915,956,1975,997,1888,664,1299,1890,849,480,513,2579,725,1942,1447,1750,2257,917,2106,2607,1051,2274,1374,730,2179,2340,2082,2483,2354,948,2155,835,1567,2151,1391,677,2438,1305,1553,1222,1460,989,1202,1587,1365,1704,614,1038,2413,1762,1882,992,721,390,609,1503,1821,590,2258,1256,1980,1283,1018,852,1705,1023,1156,536,619,1938,904,2266,1808,710,2363,1220,2398,2348,1327,2379,477,909,2476,2528,1059,1919,2029,1144,972,1450,1767,865,1523,1711,1884,1076,1818,1277,1631,1406,1524,1452,804,1319,1902,2178,715,1279,900,398,799,1847,2016,691,2227,2557,1617,853,2017,1178,2132,1931,1332,2586,767,2116,2330,1675,1000,794,718,1671,1210,1193,2123,395,2065,1514,1824,2192,1034,435,1134,574,1434,1569,2580,2278,817,604,990,754,490,1456,2222,2305,878,1662,763,1166,2414,1407,1363,2346,1656,1674,2286,436,1301,1159,557,1306,1593,642,809,1103,1207,2418,2206,889,2535,1645,2040,1058,1521,2416,533,1212,2350,2587,1334,2003,1414,1582,429,1811,1545,1171,589,2140,1979,1348,1498,1689,2092,1779,1860,1813,1114,1721,2251,1993,894,1691,1203,414,1109,1951,2086,1160,2306,1611,2007,1538,1730,1892,944,2452,1443,2121,1286,969,897,2119,1638,1623,2455,411,1469,1074,2211,1315,465,1574,676,1798,2055,2415,2035,1126,705,1278,931,546,1815,2495,1943,1183,2111,940,1029,2351,1780,1754,2530,2043,2173,919,1985,2298,1055,1549,1926,955,2448,1313,2473,1879,735,1795,1426,2424,1052,2078,2616,1271,1608,872,1836,2235,980,567,2344,1056,483,2068,1841,830,1720,2308,1839,2174,684,1477,2138,506,469,2353,2171,814,1563,1242,748,1663,927,1826,2067,618,770,426,1828,1153,911,1451,2568,766,2368,974,1887,487,2170,1600,890,1972,1719,2021,1387,1102,1996,491,1093,2610,2320,1853,2472,893,1341,745,1527,474,2578,1725,965,2406,750,2339,2403,466,1707,1595,659,1712,2069,832,1119,1369,1635,2552,1396,1192,2567,2100,2317,1333,1381,2328,639,1640,1986,2335,586,1903,1786,2064,459,1543,1375,1606,690,2360,2285,1742,1842,2127,988,2232,2041,1559,2149,2410,2294,1197,2129,1632,445,2273,1448,1596,993,2081,1453,1871,2156,2244,1245,2600,1805,786,1695,1089,1200,579,2096,2089,1945,442,486,741,2488,523,2058,864,2197,432,1398,1504,1570,782,1690,1078,652,1412,2606,2267,1616,2450,1241,2037,2045,1330,1880,2009,1255,2584,1717,981,2018,914,2194,792,2555,1328,2002,2594,1684,1998,1177,2217,976,1268,669,2390,1331,539,1081,2219,1139,2148,2520,762,1554,871,1424,1405,612,492,1967,2349,1123,407,2112,1230,2010,1080,808,947,456,2012,495,1214,1812,1537,943,2536,572,1936,543,2383,1467,1541,2147,2309,1368,1552,547,485,2565,2361,1435,2604,1196,1736,924,568,530,1889,1518,1085,2550,929,1937,1229,2484,1250,2342,1807,2372,1260,987,1604,522,386,958,2404,544,2478,1047,1525,1471,493,2295,438,449,859,564,2293,2337,2028,608,1526,383,1390,1655,1238,825,1037,1679,2168,1614,1096,2436,2246,2331,1359,678,692,2541,2596,1832,1715,2208,2006,2097,1399,1070,1209,709,2031,1990,1304,2139,385,508,1002,2387,2319,1246,1235,1296,1336,1182,1025,1878,2367,1066,998,2603,1908,1284,1989,753,1644,1310,2513,638,481,1017,1510,816,800,963,1905,916,405,625,1340,2175,1117,1127,1226,1751,2394,1108,1495,1757,2548,454,1393,1654,2262,2181,1227,670,2365,636,1022,1857,1355,2611,1232,2265,885,1098,1143,554,2397,538,2095,984,2201,784,2292,582,2615,1781,787,1734,2470,2136,2071,847,2141,2433,1141,1564,1529,2093,1039,1771,1987,2395,747,1512,1758,1436,829,2098,2289,2527,687,1485,2024,2432,517,1876,736,731,877,2533,2402,2166,2220,2457,1276,2318,403,1969,2551,1981,1626,1948,1957,503,1809,2072,1280,2437,1814,1446,2467,2504,1666,991,2203,961,2131,1629,681,2444,1433,2269,500,542,920,629,2428,1170,712,462,1773,1848,2056,957,2128,1350,841,1784,2362,2085,1496,790,2321,1728,2019,2300,1673,1964,2145,1269,733,1217,1917,967,2426,1726,773,2559,2030,2297,1610,1922,1264,1681,857,2544,1729,645,489,2493,791,1962,2399,939,1885,1176,1791,1778,802,548,2282,1095,1568,423,2301,488,1118,1248,514,2303,551,1641,2207,1870,1244,2595,674,2264,649,975,1874,2465,2521,1528,1883,653,541,2566,2534,1799,2564,1511,2161,2529,2205,1923,1676,1275,2077,628,394,1258,2338,650,2605,1050,1861,1097,549,468,507,666,1473,2425,2313,798,1862,387,1766,2042,1659,1318,1106,2083,1005,1896,1444,1557,866,879,563,560,2214,2144,1004,1517,977,1774,1345,1637,888,1988,1710,561,389,1288,2542,2405,1667,985,1702,1732,1615,1308,1403,1694,2291,755,2099,1912,828,537,1300,1388,1125,1110,1082,1949,1219,421,815,1735,1008,1562,1571,1650,2546,796,2370,512,1768,1417,1651,858,2032,826,1054,1747,2583,1064,1189,1581,597,1026,644,2443,1272,959,1966,683,2392,2187,962,2159,2084,1586,1497,640,1317,2503,746,1079,689,1181,599,952,2462,1776,1370,2074,1584,651,578,880,2396,2157,2073,516,1493,501,2122,1367,1703,400,737,1991,2375,2371,1708,1198,1592,417,1303,2431,1580,525,2204,1292,846,1827,1069,2322,882,1718,2464,2459,1324,1021,502,1237,1224,1438,431,1413,680,602,2519,1090,1935,922,1215,528,2245,884,2271,1625,1900,854,2613,913,1422,2167,1607,1963,1787,1904,1053,1392,2562,1430,821,867,584,1929,2229,1865,2026,2571,2053,1298,2411,482,2391,2420,384,1353,1187,2146,1958,1506,388,1745,788,2538,2324,743,2336,2034,1835,1150,379,2481,1822,1602,1499,656,1670,2385,409,1920,1831,2539,1894,531,1759,739,1693,1415,2618,1163,1104,1489,1764,2310,2449,2228,1749,2364,1956,2008,1060,932,2617,627,1461,1685,569,1259,2281,870,2393,2400,1262,593,2249,777,641,484,2558,819,707,811,471,1482,1113,1148,1634,1371,2252,1223,1251,1660,404,1873,1652,1472,598,1339,2347,1579,408,1863,2441,1320,1932,2290,2376,926,1854,1800,1138,1547,2514,1439,623,1040,915,910,1379,2380,2494,2601,1688,2381,419,2283,1389,2287,2090,2272,2277,591,2382,1692,1457,1534,2602,2048,2115,768,2486,1261,1440,869,1462,1797,1950,606,648,473,1605,891,520,2184,2223,433,1257,2458,1743,1149,2357,2439,1840,2154,2307,1488,761,2463,1682,912,472,1099,1087,2333,2153,2612,1437,2516,724,2261,1677,1164,2581,545,723,966,2279,1240,2022,1609,2013,2039,1112,654,1007,1362,555,2517,1669,620,2518,657,772,592,2240,1665,1899,862,2427,838,1263,2243,1429,842,647,2198,2044,1408,1492,1045,1687,2001,818,410,795,1934,839,1326,1431,1364,655,526,613,1479,2524,994,1930,2108,566,1372,583,1423,1806,1107,1172,1184,665,662,1470,1965,1290,1028,1265,2185,1739,1191,1954,663,397,1696,1071,1273,1416,2158,1714,1777,2445,2255,1137,643,1706,391,1352,1995,452,1124,2160,406,1043,2104,2388,971,1550,1916,1788,1165,2314,1135,1329,2169,2000,1621,1508,698,1309,834,1971,925,1351,876,700,1252,1419,1955,1530,2435,2066,840,1185,2547,2468,1035,622,1837,607,2454,2135,416,1516,1386,1551,2137,1627,448,1709,476,1507,631,1699,2011,1344,1428,1509,1658,1648,1494,461,1785,868,703,1984,605,1225,1642,634,1188,2511,1019,1161,2591,1216,1476,2475,2079,760,1020,2593,1794,1130,1173,685,769,2498,2312,427,1927,1850,396,1997,1933,2050,2315,2216,1588,380,717,1459,2076,1843,845,732,1404,425,2259,1982,2374,2049,637,1383,918,756,2590,1599,1833,2180,2522,1075,2276,2299,1335,1819,2125,671,1175,2545,2332,785,694,1921,831,540,1953,1128,479,1120,527,1061,1558,1531,2506,1647,1672,2109,420,2242,2105,1478,699,2434,2210,1639,2302,1845,986,1522,1285,1314,1291,2133,496,2537,673,667,1700,2490,1701,1157,499,2480,2532,964,2165,801,1234,1897,2054,1618,2005,2377,1011,2526,1775,2209,1464,1167,757,2263,1420,2110,1556,1033,2576,1316,776,901,1633,886,1116,1535,2573,1155,1856,1346,1668,2574,675,2500,422,822,744,1169,1505,1810,2369,1907,1073,447,1356,1886,1594,907,1867,928,860,1481,968,953,978,836,2004,2311,2062,621,2237,1974,1973,1204,2501,1978,1536,1977,1307,2525,2421,734,2059,2254,2051,2124,504,701,1357,2507,1891,774,923,1560,1601,837,2177,2188,728,711,1294,1147,2221,2343,2599,2563,2345,2225,412,2296,999,2327,633,946,402,2585,2102,2120,451,2446,588,1454,706,1490,1585,1046,1142,970,1683,2430,1992,2230,1382,1421,2429,2070,1027,1589,1001,1753,430,1065,2359,1395,2047,2212,587,875,1852,696,2515,1377,2199,1041,1802,813,1321,1218,1213,1756,740,720,1015,450,1925,1765,2130,585,1868,1940,2323,2451,945,1803,1820,2196,381,529,1194,626,2496,463,556,2570,1463,1418,2466,938,1427,1366,2561,1801,577,903,2510,1105,902,1086,1003,1661,2080,1895,393,843,2118,810,1910,494,949,693,1533,2114,2248,1168,1384,1146,1468,1793,714,2126,1960,441,1976,1520,1755,844,632,803,600,2447,668,1532,1373,850,1825,2280,1697,1311,1678,1474,2163,793,851,413,759,749,1686,1072,2469,2143,1546,1577,833,558,399,594,510,1067,2471,434,1012,2543,1091,1881,764,2190,1575,1727,2088,1851,1540,1228,1744,887,601,1789,2275,1864,2597,1378,812,2218,797,1944,713,2091,532,2134,1738,2107,1513,1838,519,2189,1174,780,1449,1649,1455,824,1620,2609,1302,1597,752,937,2193,2523,457,1385,2325,2491,382,896,1817,1100,1063,437,2417,827,1009,1221,933,2075,2412,1380,742,1487,1731,727,1539,2355,1445,960,881,2260,1140,646,1572,535,1565,1483,1274,1032,1698,552,1400,861,855,2329,1083,1014,1111,1657,2247,428,2334,2186,2487,934,1790,1190,1561,1740,2117,2046,863,1909,453,1131,1849,1542,1347,505,1748,2023,1231,1088,1253,1266,2027,983,1869,765,1713,716,2366,2326,610,778,2608,1024,950,1101,1145,2401,2384,1491,1913,443,1401,823,1247,418,1928,580,509,1411,783,1834,1049,475,1500,979,439,1287,1092,460,1983,1770,2489,688,1180,2226,883,2304,1893,697,1947,1195,1804,2485,2553,898,2614,722,806,1724,2052,553,982,1846,2191,2224,1877,2409,498,1911,1115,2113,2236,2057,2094,2442,2569,807,2598,1716,518,2453,1898,1270,2060,1297,392,1084,1267,951,1239,1941,1741,954,2142,534,702,2238,1875,2020,576,1410,1044,1858,1376,2474,1999,1343,895,1484,1555,905,1208,2358,478,1289,906,1151,682,892,2440,2239,942,1486,1360,2288,1613,1006,1939,1162,1628,2234,565,805,1924,2015,2423,2164,2386,1282,1031,1646,719,1201,1042,1441,1622,1122,1723,1643,575,899,1544,686,2341,635,1624,521,658,1030,2592,2025,679,1206,1205,401,570,2253,550,1249,2505,1603,1760,2456,573,1859,1094,1152,856,1866,729,1480,1158,444,936,2061,660,415,695,616,1342,1432,464,1295,941,2373,1121,2492,2268,2460,2162,1855,2103,1548,1133,2087,2482,515,1761,2407,1199,973,1338,467,1136,1293,1946,921,1872,2356,1186,2509,1578,1829,595,1442,2033,458,2479,2589,511,1573,611,1402,2408,1583,2256,789,1132,581,615,1783,2215,1325,1844,2202,2572,2152,596,2422,1961,1970,1466,624,1425,1354,1680,1254,779,2502,1057,1918,1737,1830,1636,1068,1036,775,1243,2389,1598,1013,1062,2101,1630,1323,2182,2316,930,1664,1077,758,1519,2195,1394,1769,1792,1619,2176,1590,497,1337,2284,2231,1211,2036,571,1823,2241,2250,2213,908,1782,1475,1502,1501,2419,1566,1515,2172,470,1349,935,751,1746,873,2014,1312,672,1994,1361,848,446,1796,2577,1576,2270,996,617,2554,1409,1233,440,1733,726,1236,1901,1752]],
"subdirect product of 3_1.U4(3) and 4.U4(3)"]]],
["12_1.U4(3).2_1",[
["IndividualGroupConstruction","perms",
[[404,587,1187,892,408,1448,229,1343,591,1152,334,1738,1885,1775,47,896,758,521,2011,1763,2026,75,444,69,1150,1780,706,630,552,1233,1036,838,1132,1077,2088,130,624,124,1523,1163,994,631,862,1577,748,584,535,1452,89,397,1894,1131,545,93,2002,1159,757,729,156,1248,1514,1477,1633,237,923,27,1907,1533,1416,929,1317,1278,1026,889,689,1746,144,581,2165,1513,857,148,1080,1531,1035,1013,262,1586,672,1741,998,212,951,919,843,336,1881,1511,1520,644,1756,147,138,1406,244,9,984,1903,1844,914,1872,732,438,1073,468,1277,650,1408,1897,1360,41,1167,1664,1197,1366,366,1604,779,1340,980,765,251,886,1104,1196,1313,255,1480,1662,1158,1430,456,1701,965,2014,1419,317,380,1359,1069,523,2081,668,1739,942,2019,254,245,1853,54,16,1112,1828,675,1284,767,1015,619,1473,115,1603,946,1855,2091,2062,2201,828,1414,491,1017,1672,97,640,1262,1400,763,1029,1797,1649,1671,420,722,883,1151,1934,289,1614,272,279,1985,1057,567,501,493,52,651,172,99,1792,11,854,395,1407,1019,1288,1800,193,1479,647,358,679,1450,1915,514,1318,110,1005,1404,955,633,499,1852,1958,1202,1053,401,348,1042,413,1337,1495,1555,359,449,1726,1974,1530,1862,101,1991,1394,2189,710,506,566,340,840,1070,962,2012,1375,2193,448,55,690,82,3,1499,1130,968,433,1044,1432,1882,170,1948,1379,692,1116,2205,2085,213,695,812,1434,1290,152,938,663,1847,1040,1443,1122,1968,1289,602,1008,1334,1524,1629,481,1204,427,472,2113,1462,658,822,814,80,947,277,154,2035,18,1310,579,1854,1436,1611,755,298,1286,351,544,971,1304,1731,832,367,165,1423,1851,1386,931,820,688,2176,1559,169,1165,950,701,71,1535,1283,1409,15,2204,2149,1592,529,1952,1295,2202,1916,2023,1509,445,111,65,933,1470,870,683,813,1928,498,1422,609,1198,247,2120,1136,621,1143,1759,1358,1370,145,1944,1345,1168,1405,1714,1883,1594,349,1453,772,1046,1953,770,1562,150,1841,815,954,831,774,1445,1092,143,1460,616,1621,1041,1478,1004,1972,1736,1395,1638,118,1570,1699,1729,1139,1134,1106,1030,1857,1363,1307,1180,2043,1454,1875,1906,711,423,278,1056,186,1691,1927,216,1338,1435,1723,704,1114,1597,728,852,1751,712,827,657,527,231,1471,1128,1145,1098,2232,92,83,981,137,5,693,1512,1397,614,1815,1072,275,2174,1835,983,1502,2228,1816,318,196,1864,1613,258,1371,957,1871,1508,2181,1612,906,1425,393,1908,1226,802,1291,119,2075,1125,952,207,199,135,1380,470,260,1241,32,354,885,691,1865,1250,1033,488,1610,538,856,1177,220,553,271,1859,687,1632,1368,205,979,2058,1923,274,1534,1383,442,126,1082,1609,783,22,2161,1653,1942,845,1615,2086,2142,1811,1901,219,166,120,1191,1880,1324,974,197,1129,819,730,911,1556,57,2092,1517,178,1193,1647,436,1832,252,1260,406,629,1995,2070,1764,536,656,1455,1709,217,1925,256,666,200,1385,1048,1216,1489,250,1645,916,1955,1451,1825,744,2182,2010,733,173,1932,1990,2005,1096,1515,1108,1444,708,1766,347,1543,1768,776,1786,713,605,471,1461,291,1668,2089,321,398,737,992,1245,714,786,817,296,1356,948,2160,2049,2111,895,1867,1874,17,1547,1626,300,1943,1793,1772,453,2196,546,1465,1618,1255,342,1646,1510,1127,2129,1183,1185,1804,1200,446,1261,402,1744,940,1267,1563,218,1091,1010,1402,716,842,1293,19,939,276,1071,2083,1813,1062,1581,2050,1094,1424,1728,2214,1898,464,399,570,2162,36,2099,1889,829,1848,203,476,343,330,2109,1623,281,986,1264,418,798,440,806,2136,726,2231,936,1538,1154,1913,1398,1172,2102,297,912,789,681,1719,394,1258,2,580,908,528,879,519,192,1750,868,171,352,599,1980,557,2046,1703,2034,1992,522,2100,430,2240,2047,1487,1937,350,1101,1332,234,2044,1956,1323,592,1654,1561,960,1326,309,102,724,1546,473,1558,2107,1068,1299,809,1079,333,1466,1119,164,1382,484,2163,1239,1620,719,2006,225,1503,1627,723,603,387,907,1950,269,383,1516,1782,518,1417,507,301,735,452,1833,1388,751,1900,1686,1951,1268,1860,577,1133,1572,184,1294,174,1684,785,381,312,304,242,1836,117,454,1582,7,540,1336,982,738,1588,1446,1312,1540,325,863,465,978,661,1830,310,1624,1160,467,1912,1707,622,29,1481,697,2226,1970,1704,1232,1176,1818,1144,324,23,1550,2055,375,302,1217,204,717,1354,1920,85,1652,283,1552,1179,617,637,589,928,2187,1075,2021,850,766,1873,322,1735,450,305,1838,684,754,1890,60,782,1357,2175,1745,2052,1024,2097,2087,673,2118,2186,1679,1287,1904,1497,669,996,627,534,1050,999,909,1877,222,1977,1214,510,582,1018,696,1000,788,202,486,431,1381,2225,2066,1346,742,773,31,1798,626,490,1111,1795,1706,98,1661,198,1170,1725,1178,1902,1215,2155,1545,2039,90,1596,585,1682,1373,419,1254,323,707,1427,1849,1002,1175,33,1372,469,1472,2098,2045,1938,1737,1490,2004,2153,2059,109,437,877,1677,64,1688,2164,214,680,308,530,517,1777,1957,474,600,179,620,190,2135,1011,2094,1526,1161,1845,1536,1100,487,1355,1059,720,1657,578,4,759,796,844,781,1195,1322,539,903,867,2200,1253,1715,839,2082,611,1888,1141,537,1493,386,339,1769,1302,373,897,1971,682,1391,377,157,1009,1660,745,1922,1110,1619,520,1171,1505,270,653,805,1089,1580,1954,1680,1681,1743,572,1269,1826,463,569,1905,2029,836,930,1296,1028,114,1328,106,1039,1449,548,1910,1113,1850,1225,664,847,1924,391,1959,76,1659,2018,646,1162,1392,2054,2238,384,932,1367,989,1574,439,360,1298,825,1097,1698,921,2115,902,182,238,287,48,392,2208,972,497,846,1921,1690,1272,563,665,2104,1315,1081,2051,134,2190,901,1771,1421,2151,990,1025,400,2007,1387,1548,412,2065,699,1228,568,541,2132,241,1824,1093,1551,1748,414,1773,1282,1753,1205,795,811,1259,403,2179,1809,1640,58,1790,2138,2178,1988,1384,882,2134,2158,163,1330,1135,1584,2031,709,151,316,858,743,495,2218,1720,1779,573,800,880,1697,1078,899,502,2123,6,1909,51,1279,66,1052,485,860,68,881,457,86,243,2146,2090,1879,2078,40,861,466,956,1189,926,2127,1812,1622,2220,1049,2068,503,1999,1884,2215,524,970,353,1601,77,426,1553,2103,655,180,1173,848,1658,1537,1020,855,1252,46,1598,1525,1169,1103,777,313,1256,268,1220,1137,1994,988,364,804,292,1043,1674,1637,516,834,1209,771,676,1721,1164,1211,1184,752,1507,1276,1243,1192,432,2194,1485,1138,477,1230,345,1639,2003,865,784,327,1389,1696,1931,1482,1064,1667,505,96,1976,826,1047,1801,741,1642,1796,761,830,215,1829,43,1166,987,2057,2101,1292,2048,1123,513,37,635,561,492,1566,1003,428,2056,140,1969,441,1124,1542,917,935,894,1365,2235,1475,1308,511,1207,95,494,660,975,1032,1224,88,1055,435,1301,764,718,1655,1702,966,1222,2236,849,1457,1420,1213,2185,1565,887,1058,307,807,612,1142,2080,1819,407,1022,1757,925,2036,1297,153,1791,303,792,1708,1541,2167,753,2140,1918,2199,890,1983,1834,601,1591,512,995,1749,1539,61,1666,116,1713,1687,1770,2171,1820,1891,2222,618,1331,1678,1987,1090,319,835,2027,2124,746,904,284,920,295,1428,2209,638,1174,1492,808,1463,1006,884,8,1037,422,1231,227,1554,372,853,736,1321,2234,1590,1996,230,2117,851,1806,571,526,1303,559,1347,973,263,1426,1973,175,2121,1498,837,793,654,189,2114,1981,1982,2015,421,108,876,1212,1765,226,1616,1442,379,161,1201,859,2168,1500,686,1571,958,1305,575,2177,131,2192,944,1532,1842,2203,232,1651,1411,210,705,1989,1218,1352,479,576,1401,818,1208,1140,1273,872,959,1784,362,1190,1712,1351,1858,1412,778,583,1839,1799,595,2206,875,1067,596,2025,1608,2016,1065,195,1595,586,2079,2041,1963,2217,1685,1837,390,1939,1194,997,257,1314,1023,816,2152,1998,1333,1249,1349,823,1203,10,1206,79,1605,121,747,768,123,1257,141,53,2122,2144,1316,112,2069,2072,685,2116,824,2150,1399,181,1149,132,608,1785,285,1306,1437,1311,674,74,1945,791,1051,1593,462,1569,1518,1410,550,188,482,1978,1961,224,969,1074,1602,613,2237,1886,1095,799,1576,532,1962,1628,1319,1263,2169,1787,1467,2184,211,1456,703,1021,1965,2037,368,320,610,1564,496,191,1648,1084,478,731,1734,642,1575,59,78,910,1527,641,1946,84,133,261,155,1148,1730,1868,306,1568,489,634,590,2224,1722,338,1181,1876,2061,1271,1599,1587,2133,2105,2229,1634,556,1617,103,588,797,1329,1083,794,1447,515,2172,24,1752,727,628,1803,1146,1831,1993,1378,249,299,376,104,598,382,405,475,1415,1086,1758,239,162,1762,1689,543,1788,168,698,483,2213,1413,2128,1781,1643,1236,424,625,267,1578,1281,2053,100,1458,2110,177,2148,35,371,1802,1438,344,1107,1675,1364,2095,547,1716,425,1199,2071,94,185,888,1469,223,365,542,1967,1369,1186,280,1270,1153,396,38,961,341,2188,2009,1694,2191,594,1440,201,1219,45,1494,1403,1740,91,913,652,1027,1433,1936,1863,991,1807,1300,1935,1483,922,1718,2093,1960,1710,253,1676,2216,1234,1350,2227,803,2195,2230,2154,129,288,28,480,42,1919,411,208,869,1266,409,615,500,1484,993,1522,934,841,593,1869,734,1238,1911,558,1221,1099,873,721,290,924,1353,221,1361,1933,555,1246,700,1,1439,1188,1362,2197,259,1126,1031,1341,1808,905,1223,725,1914,12,1986,2024,1240,1823,1066,2130,918,385,1979,2084,1488,508,176,1861,1893,787,1335,604,332,648,417,1814,1941,335,2212,1309,1693,878,1896,228,1063,949,294,1117,2022,331,1870,565,762,1156,694,977,1377,1663,670,1810,337,632,1705,315,1567,416,769,1519,1390,2030,1549,1821,415,1856,662,1247,900,1949,1732,1468,891,1644,659,1418,451,361,2221,1692,388,1560,363,26,389,248,81,2219,167,1761,2207,976,2211,209,1076,1846,286,357,1866,355,967,1061,107,1789,293,2073,329,1474,1947,1817,1491,1776,369,2032,1878,1717,2198,554,509,374,1926,1014,87,639,2173,139,240,455,1521,1930,810,2239,2000,525,1544,1940,2108,866,158,893,833,1012,927,2038,1147,636,1636,1695,562,159,49,1755,1105,2033,1085,606,461,1280,1607,1778,282,1244,63,756,531,1109,1747,1767,2210,1997,607,1557,149,1339,1650,328,551,2180,2064,1115,1805,1631,73,2013,146,1441,2170,2040,1700,702,1656,447,2096,1237,1630,187,2223,236,801,70,915,821,1275,233,898,749,1016,1579,2159,715,1327,1007,326,1625,2139,1585,1348,750,549,1975,1210,1840,1120,1054,122,20,1827,1459,1589,2060,1118,235,1528,346,1683,937,1711,945,2126,14,533,1600,2119,874,1964,871,265,1265,564,113,1229,2020,1242,1670,2156,1088,1724,1285,2166,2143,1325,459,1641,2077,504,953,2137,246,50,1045,56,623,780,1251,1822,649,1794,775,1504,2106,1476,356,2063,574,1583,136,560,21,1038,128,311,72,460,941,44,1374,1727,1393,964,1506,1486,678,30,943,2141,1669,790,1087,458,1034,1464,2125,985,2112,677,160,740,127,34,273,1742,1966,1733,2233,1429,963,2042,1929,2067,597,1342,314,739,1396,1121,2145,1892,864,2157,1431,142,1274,2076,194,1917,1320,264,1344,1496,1606,2028,667,1760,1501,1102,1754,1227,443,2131,183,125,206,1157,1001,378,410,2183,25,1774,1984,1155,2001,434,760,1635,429,105,1843,1899,1887,1376,1060,2074,645,266,643,62,2008,1665,1783,39,1182,2147,1673,2017,370,1529,1235,1895,1573,671,13,67,2358,2298,2252,2417,2418,2241,2328,2592,2376,2385,2466,2579,2548,2268,2293,2388,2604,2507,2305,2570,2453,2590,2364,2494,2599,2362,2561,2355,2462,2470,2515,2545,2602,2338,2324,2269,2555,2483,2539,2571,2438,2593,2300,2479,2264,2292,2378,2352,2390,2404,2456,2299,2350,2504,2460,2334,2614,2603,2412,2581,2427,2487,2416,2573,2309,2551,2434,2576,2259,2316,2409,2582,2474,2546,2366,2533,2468,2500,2337,2601,2565,2442,2249,2469,2369,2356,2278,2282,2597,2333,2594,2297,2345,2342,2518,2531,2419,2476,2441,2532,2318,2574,2437,2325,2559,2395,2336,2505,2284,2534,2302,2380,2340,2346,2254,2568,2270,2246,2326,2374,2549,2322,2583,2524,2522,2482,2329,2257,2344,2612,2389,2363,2611,2315,2595,2320,2499,2410,2428,2285,2523,2495,2393,2349,2359,2461,2319,2584,2609,2431,2279,2273,2386,2398,2587,2463,2489,2608,2572,2401,2370,2490,2289,2266,2377,2308,2488,2446,2566,2585,2304,2317,2408,2448,2471,2506,2400,2286,2445,2281,2563,2430,2420,2540,2265,2501,2607,2267,2478,2556,2391,2415,2426,2432,2616,2615,2598,2451,2477,2447,2492,2306,2343,2562,2472,2550,2547,2560,2443,2484,2351,2295,2498,2373,2399,2588,2610,2323,2519,2567,2525,2444,2459,2294,2262,2381,2527,2542,2288,2347,2287,2509,2435,2330,2310,2425,2331,2605,2457,2276,2481,2260,2327,2521,2516,2421,2503,2554,2387,2251,2290,2405,2449,2275,2558,2339,2502,2261,2589,2341,2433,2255,2423,2464,2517,2357,2403,2512,2397,2575,2557,2569,2263,2372,2379,2467,2348,2439,2383,2586,2429,2335,2541,2375,2396,2277,2321,2422,2440,2271,2303,2353,2296,2367,2312,2406,2537,2538,2258,2402,2424,2245,2365,2452,2411,2530,2606,2280,2564,2544,2491,2496,2536,2485,2613,2529,2368,2513,2454,2414,2314,2242,2617,2361,2407,2311,2413,2283,2244,2596,2247,2510,2618,2577,2580,2354,2475,2253,2243,2535,2250,2455,2511,2256,2307,2526,2553,2291,2552,2458,2436,2486,2578,2543,2382,2600,2497,2301,2394,2360,2465,2450,2480,2514,2392,2528,2493,2274,2272,2591,2313,2508,2332,2520,2384,2248,2473,2371],
--> --------------------

--> maximum size reached

--> --------------------