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