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