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