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