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