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