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