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