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