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