a := (  2,137, 17)(  3,138, 18)(  4,139, 19)(  5,140, 20)(  6,141, 21)
(  7,142, 22)(  8,143, 23)(  9,144, 24)( 10,145, 25)( 11,146, 26)( 12,147, 27)
( 13,148, 28)( 14,149, 29)( 15,150, 30)( 16,151, 31)( 32,152,257)( 33,153,258)
( 34,154,259)( 35,155,260)( 36,156,261)( 37,157,262)( 38,158,263)( 39,159,264)
( 40,160,265)( 41,161,266)( 42,162,267)( 43,163,268)( 44,164,269)( 45,165,270)
( 46,166,271)( 47,167,272)( 48,168,273)( 49,169,274)( 50,170,275)( 51,171,276)
( 52,172,277)( 53,173,278)( 54,174,279)( 55,175,280)( 56,176,281)( 57,177,282)
( 58,178,283)( 59,179,284)( 60,180,285)( 61,181,286)( 62,182,287)( 63,183,288)
( 64,184,289)( 65,185,290)( 66,186,291)( 67,187,292)( 68,188,293)( 69,189,294)
( 70,190,295)( 71,191,296)( 72,192,297)( 73,193,298)( 74,194,299)( 75,195,300)
( 76,196,301)( 77,197,302)( 78,198,303)( 79,199,304)( 80,200,305)( 81,201,306)
( 82,202,307)( 83,203,308)( 84,204,309)( 85,205,310)( 86,206,311)( 87,207,312)
( 88,208,313)( 89,209,314)( 90,210,315)( 91,211,316)( 92,212,317)( 93,213,318)
( 94,214,319)( 95,215,320)( 96,216,321)( 97,217,322)( 98,218,323)( 99,219,324)
(100,220,325)(101,221,326)(102,222,327)(103,223,328)(104,224,329)(105,225,330)
(106,226,331)(107,227,332)(108,228,333)(109,229,334)(110,230,335)(111,231,336)
(112,232,337)(113,233,338)(114,234,339)(115,235,340)(116,236,341)(117,237,342)
(118,238,343)(119,239,344)(120,240,345)(121,241,346)(122,242,347)(123,243,348)
(124,244,349)(125,245,350)(126,246,351)(127,247,352)(128,248,353)(129,249,354)
(130,250,355)(131,251,356)(132,252,357)(133,253,358)(134,254,359)(135,255,360)
(136,256,361);