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