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