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