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