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