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