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