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