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