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