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