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