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