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