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