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