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