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