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