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