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