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