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