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