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