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