PermutationGroup<1312|
\[2,4,6,8,10,9,13,1,15,14,18,19,16,22,3,25,26,23,24,30,
31,5,34,35,7,33,39,40,42,36,37,46,47,11,12,51,52,54,48,
49,58,50,60,61,63,53,17,67,68,70,20,21,74,66,75,76,78,69,
81,71,72,85,73,87,88,90,27,28,94,29,96,97,99,32,91,92,104,
93,106,107,95,110,111,113,98,116,100,101,120,38,121,122,124,
41,127,43,44,131,45,133,134,136,138,123,141,125,126,145,146,
128,129,150,130,152,153,132,156,157,159,135,55,56,164,57,166,
167,59,170,171,173,62,176,64,65,180,162,182,163,184,185,165,
188,189,191,168,169,195,196,198,172,201,174,175,205,206,177,
178,210,179,212,213,215,217,77,220,79,80,224,225,82,83,229,
84,231,232,86,235,236,238,89,241,216,244,218,219,248,249,221,
222,253,223,255,256,258,226,227,262,228,264,265,230,268,269,
271,233,234,275,276,278,237,281,239,240,285,102,287,103,289,
290,105,293,294,296,108,109,300,301,303,112,306,114,115,310,
311,117,118,315,119,317,318,286,284,321,288,324,325,327,291,
292,274,331,333,295,336,297,298,340,299,342,343,345,302,348,
304,305,352,353,307,308,357,309,359,360,362,312,313,366,314,
368,369,316,372,373,375,319,378,137,380,139,140,384,385,142,
143,388,144,390,391,393,147,148,397,149,399,400,151,403,404,
406,154,155,365,410,412,158,415,160,161,419,332,379,421,422,
381,382,426,383,428,429,430,386,433,387,435,436,389,439,440,
442,392,445,394,395,448,396,450,451,398,454,455,457,401,402,
461,462,464,405,466,407,408,470,409,471,472,207,411,475,413,
414,479,480,416,417,484,418,485,486,181,488,183,491,492,494,
186,187,498,500,190,503,192,193,507,194,509,510,512,197,515,
199,200,519,520,202,203,524,204,526,527,250,208,530,209,532,
533,211,536,537,242,214,541,489,490,544,545,547,493,550,495,
496,497,554,555,499,558,501,502,374,561,504,505,564,506,566,
567,508,570,571,511,574,513,514,576,465,516,517,580,518,582,
583,584,521,522,588,523,590,525,592,593,595,528,529,473,600,
601,531,604,605,606,534,535,610,611,354,538,539,540,615,243,
616,617,245,246,621,247,623,624,625,251,320,252,629,630,254,
632,633,635,257,638,259,260,641,261,643,644,263,646,647,649,
266,267,483,653,655,270,657,272,273,661,662,277,664,279,280,
668,669,282,283,437,672,673,557,676,678,618,619,682,620,684,
685,622,687,688,546,626,627,609,693,628,695,696,631,699,701,
634,704,636,637,707,708,639,640,467,711,642,713,645,675,715,
717,648,720,650,651,652,724,725,726,654,729,656,573,658,659,
733,660,734,735,737,739,364,663,698,743,665,666,667,748,749,
751,670,671,755,756,757,674,322,323,762,763,765,326,768,328,
329,330,771,772,773,334,335,776,337,338,779,339,719,781,341,
784,785,344,787,346,347,789,349,350,686,351,793,794,795,355,
798,356,453,358,572,800,802,361,363,806,367,809,810,811,370,
371,815,816,376,377,694,730,760,821,761,823,824,825,764,828,
766,767,456,769,770,833,834,835,837,420,487,774,775,842,807,
777,845,778,847,848,780,851,852,782,783,856,857,786,860,788,
861,790,864,791,866,443,792,868,869,871,796,613,797,873,742,
799,839,819,876,801,803,804,702,805,549,741,883,884,886,808,
887,888,683,891,812,813,894,814,895,896,820,817,586,818,902,
903,904,906,423,424,553,425,911,738,427,912,913,431,432,434,
917,918,438,921,923,441,926,444,929,930,446,447,591,449,934,
452,936,938,940,458,459,460,836,944,463,946,468,867,469,948,
899,949,474,920,951,476,477,478,955,956,556,481,482,961,962,
859,960,905,966,907,908,909,970,971,910,973,722,974,976,914,
827,915,585,916,981,577,983,984,919,986,975,922,989,924,925,
992,993,927,928,995,996,998,931,932,1002,982,933,935,712,1004,
937,680,939,594,941,942,978,943,1012,945,1014,1015,947,1017,
997,1018,882,1020,1022,885,599,1025,950,952,953,1003,1028,954,
890,1029,957,958,959,1034,1035,597,1036,855,963,840,542,1041,
543,1043,865,1044,746,548,551,552,965,1049,1050,559,560,1053,
602,562,1056,563,736,1058,565,1061,1062,568,569,1066,1067,862,
575,1069,578,1071,579,1072,581,1073,830,1001,587,1075,589,1077,
596,598,728,603,1032,1081,1083,607,608,1085,1033,1086,1040,612,
614,1089,967,689,1042,1092,1016,1094,1045,690,892,1046,1047,
1055,1048,1099,1074,1100,1101,1051,731,759,1052,1105,1054,1108,
1037,1057,1111,1112,1059,1060,1115,1063,1064,1009,1065,1118,
1104,723,1068,1082,1070,1021,1124,1125,1126,1128,854,1129,900,
1131,1026,1076,1135,1078,1079,1121,1080,1138,1024,1139,880,740,
1142,1143,972,1084,1145,846,744,752,1087,1088,872,1148,1113,
1149,754,677,1144,679,681,1152,1153,1154,1156,691,692,1107,
1159,697,1161,1155,700,1031,703,1165,1166,705,706,1168,1010,
901,709,710,1171,714,1173,716,718,721,1090,727,1130,732,1109,
1178,1180,745,1172,747,1183,750,753,1185,1186,758,870,1096,
1151,1188,1007,1097,1189,979,1192,1157,1095,1158,1195,1196,1170,
1160,1199,838,1162,877,1202,1163,1164,1187,1204,1167,1206,988,
1169,1208,1209,1179,1211,1110,1174,969,1175,999,878,1120,875,
1176,1217,1218,1023,1177,1221,1223,1181,1141,1198,1134,874,1182,
822,1184,1123,1133,1117,1103,1228,964,826,829,831,844,832,1214,
1231,841,1216,843,1234,1194,1212,849,850,1191,853,1127,1232,
858,889,863,1241,1242,1243,968,879,1239,881,1005,1247,893,1248,
897,898,1235,1220,1229,1250,994,1230,1251,990,1200,1039,1255,
1225,1233,1257,1132,1146,1224,1236,1260,1237,1098,1238,1011,
1264,1240,991,1266,977,1268,985,1244,1226,1273,1274,1245,1267,
1246,1252,1270,1147,1276,1197,1091,1207,980,1000,1261,987,1038,
1281,1283,1284,1019,1286,1006,1008,1013,1201,1288,1272,1027,
1030,1205,1279,1280,1290,1292,1293,1150,1210,1102,1259,1271,
1282,1106,1215,1262,1285,1278,1287,1289,1263,1213,1140,1300,
1137,1275,1093,1302,1254,1303,1304,1306,1305,1114,1249,1116,
1119,1256,1122,1269,1136,1307,1203,1308,1296,1227,1301,1265,
1299,1309,1310,1253,1258,1277,1219,1294,1295,1193,1190,1222,
1298,1311,1291,1312,1297],
\[3,5,7,9,11,12,1,14,16,17,2,20,21,23,24,4,27,28,29,6,
32,33,8,36,37,38,10,41,43,44,45,13,48,49,50,15,53,55,56,
57,18,59,19,62,64,65,66,22,69,71,72,73,25,54,26,77,79,80,
82,83,84,30,86,31,89,91,92,93,34,95,35,98,100,101,102,103,
39,105,40,108,109,42,112,114,115,117,118,119,46,90,47,123,
125,126,128,129,130,51,132,52,135,137,139,140,142,143,144,58,
147,148,149,60,151,61,154,155,63,158,160,161,162,163,67,165,
68,168,169,70,172,174,175,177,178,179,74,181,75,183,76,186,
187,78,190,192,193,194,81,197,199,200,202,203,204,85,207,208,
209,87,211,88,214,216,218,219,221,222,223,94,226,227,228,96,
230,97,233,234,99,237,239,240,242,243,245,246,247,104,250,
251,252,106,254,107,257,259,260,261,110,263,111,266,267,113,
270,272,273,274,116,277,279,280,282,283,284,120,286,121,288,
122,291,292,124,295,297,298,299,127,302,304,305,307,308,309,
131,312,313,314,133,316,134,319,320,136,322,323,138,326,328,
329,330,141,332,334,335,337,338,339,145,341,146,344,346,347,
349,350,351,150,354,355,356,152,358,153,361,363,364,365,156,
367,157,370,371,159,374,376,377,375,379,381,382,383,164,362,
386,387,166,389,167,392,394,395,396,170,398,171,401,402,173,
405,407,408,409,176,411,413,414,416,417,418,180,420,248,182,
423,424,425,184,427,185,321,431,432,188,434,189,437,438,191,
441,443,444,446,447,352,195,449,196,452,453,198,456,458,459,
460,201,463,465,357,467,468,469,205,220,206,410,473,474,476,
477,478,210,481,482,483,212,215,213,487,433,489,490,217,493,
495,496,497,499,501,502,504,505,506,224,508,225,511,513,514,
516,517,518,229,521,522,523,231,525,232,528,529,275,235,531,
236,534,535,238,538,539,540,241,542,543,244,546,548,549,551,
552,553,436,249,556,557,559,560,486,253,450,562,563,255,565,
256,568,569,258,572,573,575,336,451,262,577,578,579,264,581,
265,343,585,586,587,268,589,269,591,271,594,596,597,598,599,
276,602,603,278,574,607,608,609,281,612,613,388,614,430,285,
384,287,618,619,620,289,622,290,488,626,627,293,628,294,484,
631,296,634,636,637,639,640,519,300,642,301,645,590,303,648,
650,651,652,306,654,656,524,658,659,660,310,311,663,665,666,
667,315,670,671,461,317,318,674,675,677,679,680,681,324,683,
325,595,686,327,689,690,691,692,331,378,694,333,697,698,700,
702,703,705,550,706,340,709,710,544,342,712,368,345,714,348,
716,718,719,721,722,723,464,353,537,727,728,584,730,731,509,
732,359,426,360,736,738,740,741,742,366,744,745,746,747,369,
750,752,753,754,372,373,758,759,760,761,380,764,766,767,769,
770,682,630,385,751,774,775,673,643,777,778,390,780,391,782,
783,393,592,786,788,503,644,397,790,791,399,792,400,510,796,
797,403,799,404,711,406,801,803,804,805,807,808,412,787,812,
813,814,415,817,818,625,419,819,820,421,822,422,571,826,827,
829,830,662,566,831,832,428,429,836,838,839,840,695,841,435,
843,844,439,846,440,849,850,442,853,854,855,445,858,859,448,
696,862,863,454,865,455,768,867,457,870,852,771,872,684,462,
874,875,515,466,877,878,879,880,470,881,471,882,472,885,835,
725,475,889,890,892,893,739,479,498,480,897,898,899,900,901,
485,773,905,907,908,909,491,910,492,802,580,494,914,915,916,
615,500,919,920,922,924,925,927,928,507,931,932,762,933,532,
512,935,937,939,941,942,943,655,520,945,886,795,947,526,621,
527,847,685,950,530,952,953,828,954,533,957,958,959,960,536,
963,541,964,965,967,968,969,868,545,624,972,547,726,975,977,
978,979,601,554,980,555,982,558,713,985,561,987,988,990,661,
991,564,994,888,583,567,997,999,1000,1001,570,657,789,1003,
576,1005,1006,1007,1008,1009,1010,944,582,1011,743,1013,588,
1016,834,593,940,1019,961,1021,749,1023,1024,600,1026,896,1027,
604,605,837,606,1030,1031,1032,1033,610,611,1022,951,1037,1038,
1039,1040,616,1042,617,785,1045,1046,869,1047,1048,623,724,
1051,917,1052,629,1054,1055,632,1057,633,1059,1060,635,1063,
1064,1065,638,1068,641,918,860,1070,646,824,647,733,649,1074,
1062,911,653,1076,1078,1079,1080,1049,756,664,1082,1028,1084,
884,668,669,1087,1088,735,998,672,676,1090,1091,678,1093,938,
984,1095,810,1096,1097,687,1098,688,1041,876,891,1102,693,1103,
1104,1106,1107,699,1109,1110,701,1113,992,1114,704,1116,1044,
707,1117,708,1119,1120,1121,1122,1123,715,1035,717,1127,720,
825,1067,1130,1132,1133,1134,729,1056,1136,734,1137,737,755,
1140,956,1141,798,851,811,1144,748,1146,1086,887,1147,864,1015,
757,1143,1150,1092,833,1151,1135,1073,763,765,1155,1157,806,
1158,772,934,1160,776,1162,1148,1163,1164,779,1167,1081,794,
781,1128,1169,1170,871,784,1172,1138,1174,1175,996,793,1176,
1177,971,800,1179,1181,1182,809,1050,1184,989,895,815,816,1187,
821,1183,904,823,1099,1077,1190,1191,1193,1126,1115,1194,1161,
1197,970,1198,842,1200,1201,845,1085,1203,1173,848,1205,1154,
1207,962,1072,856,857,1210,861,1212,1213,1214,1094,866,929,
1215,1139,1216,873,1219,1036,1220,1222,1224,936,1012,883,1225,
1226,902,1189,1195,894,1223,1017,1227,903,906,1159,1229,1100,
912,1230,913,1083,1232,1233,981,921,923,1235,1165,1236,926,
1237,930,1238,1239,1240,1202,1186,1118,1244,946,1245,948,1246,
949,1061,966,955,1218,1071,1247,1249,1029,973,974,1168,976,
1252,1253,1254,983,1243,1256,986,1258,1112,1231,1259,993,1261,
995,1262,1263,1002,1265,1004,1267,1242,1269,1270,1271,1272,1014,
1043,1221,1018,1034,1020,1025,1275,1277,1278,1279,1280,1111,
1152,1053,1217,1058,1282,1192,1066,1285,1069,1287,1125,1105,
1075,1289,1290,1089,1257,1291,1250,1255,1101,1145,1294,1295,
1283,1296,1108,1297,1298,1264,1293,1266,1206,1299,1209,1124,
1276,1129,1131,1234,1185,1301,1260,1142,1284,1149,1305,1153,
1156,1300,1166,1199,1268,1171,1304,1307,1288,1178,1180,1188,
1286,1208,1196,1251,1248,1204,1274,1211,1311,1308,1303,1310,
1292,1228,1306,1241,1273,1309,1302,1281,1312]>
