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