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