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