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