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