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