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