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