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