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