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