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