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