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