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