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