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