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