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