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