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