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