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