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