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