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