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