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