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