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