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