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