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