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