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