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