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