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