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