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