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