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