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