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