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