edge(1,2).
edge(1,3).
edge(1,4).
edge(5,6).
edge(5,7).
edge(5,8).
edge(5,9).
edge(10,11).
edge(10,12).
edge(10,13).
edge(10,14).
edge(10,15).
edge(16,17).
edge(18,19).
edge(18,20).
edge(18,21).
edge(22,23).
edge(22,24).
edge(22,25).
edge(22,7).
edge(22,8).
edge(26,27).
edge(28,29).
edge(30,31).
edge(30,4).
edge(30,9).
edge(30,32).
edge(30,33).
edge(30,34).
edge(32,35).
edge(32,36).
edge(32,9).
edge(37,38).
edge(37,39).
edge(37,40).
edge(37,41).
edge(37,42).
edge(37,43).
edge(37,44).
edge(37,45).
edge(37,46).
edge(47,48).
edge(47,49).
edge(47,50).
edge(51,52).
edge(51,53).
edge(51,54).
edge(51,55).
edge(56,38).
edge(57,58).
edge(59,60).
edge(61,3).
edge(61,62).
edge(61,38).
edge(61,60).
edge(63,64).
edge(63,65).
edge(63,66).
edge(63,67).
edge(4,31).
edge(4,68).
edge(14,69).
edge(70,15).
edge(71,72).
edge(71,73).
edge(71,74).
edge(71,75).
edge(76,77).
edge(76,69).
edge(76,78).
edge(76,46).
edge(23,79).
edge(23,29).
edge(23,80).
edge(23,24).
edge(23,81).
edge(23,7).
edge(23,8).
edge(23,82).
edge(23,83).
edge(23,58).
edge(84,85).
edge(86,69).
edge(87,58).
edge(88,89).
edge(88,90).
edge(88,91).
edge(92,93).
edge(92,94).
edge(92,8).
edge(67,95).
edge(67,96).
edge(67,34).
edge(67,97).
edge(67,98).
edge(99,100).
edge(99,75).
edge(99,101).
edge(99,102).
edge(99,103).
edge(99,104).
edge(105,106).
edge(105,107).
edge(105,103).
edge(108,85).
edge(3,109).
edge(3,110).
edge(3,111).
edge(3,7).
edge(112,113).
edge(112,114).
edge(115,116).
edge(117,100).
edge(118,119).
edge(118,120).
edge(118,121).
edge(122,123).
edge(124,90).
edge(125,65).
edge(126,12).
edge(127,128).
edge(127,129).
edge(130,131).
edge(130,132).
edge(133,35).
edge(133,79).
edge(134,72).
edge(12,135).
edge(12,136).
edge(12,137).
edge(94,89).
edge(138,6).
edge(138,45).
edge(131,132).
edge(131,58).
edge(139,140).
edge(139,141).
edge(142,143).
edge(144,145).
edge(146,147).
edge(146,148).
edge(62,64).
edge(62,38).
edge(149,150).
edge(149,151).
edge(149,152).
edge(149,153).
edge(154,155).
edge(154,123).
edge(156,157).
edge(156,158).
edge(156,159).
edge(156,69).
edge(156,58).
edge(156,160).
edge(156,15).
edge(156,161).
edge(25,7).
edge(162,58).
edge(42,38).
edge(42,163).
edge(42,46).
edge(31,164).
edge(31,33).
edge(31,165).
edge(166,167).
edge(168,90).
edge(169,38).
edge(169,170).
edge(171,123).
edge(171,172).
edge(173,174).
edge(77,175).
edge(77,176).
edge(77,177).
edge(77,60).
edge(178,179).
edge(178,49).
edge(158,38).
edge(158,69).
edge(111,106).
edge(111,29).
edge(111,7).
edge(111,8).
edge(180,181).
edge(182,183).
edge(100,101).
edge(175,184).
edge(175,167).
edge(175,185).
edge(175,104).
edge(186,19).
edge(186,187).
edge(186,21).
edge(186,98).
edge(188,60).
edge(80,153).
edge(80,189).
edge(80,190).
edge(80,8).
edge(191,160).
edge(75,192).
edge(75,85).
edge(75,103).
edge(193,116).
edge(193,185).
edge(193,194).
edge(193,45).
edge(49,185).
edge(49,195).
edge(95,72).
edge(95,33).
edge(95,196).
edge(95,34).
edge(95,58).
edge(174,197).
edge(97,98).
edge(40,198).
edge(40,38).
edge(40,69).
edge(199,91).
edge(36,119).
edge(36,200).
edge(143,155).
edge(201,202).
edge(201,2).
edge(201,64).
edge(201,203).
edge(201,58).
edge(204,205).
edge(204,206).
edge(207,195).
edge(46,38).
edge(46,208).
edge(46,148).
edge(209,210).
edge(209,211).
edge(209,58).
edge(206,205).
edge(206,212).
edge(206,213).
edge(155,109).
edge(155,214).
edge(155,215).
edge(155,216).
edge(155,129).
edge(54,217).
edge(218,219).
edge(218,220).
edge(140,141).
edge(192,221).
edge(192,91).
edge(222,113).
edge(222,152).
edge(222,223).
edge(27,224).
edge(27,220).
edge(27,225).
edge(27,226).
edge(227,228).
edge(109,150).
edge(109,214).
edge(229,217).
edge(69,230).
edge(69,231).
edge(69,157).
edge(69,38).
edge(69,232).
edge(69,45).
edge(50,17).
edge(33,81).
edge(15,183).
edge(15,167).
edge(15,159).
edge(15,233).
edge(15,234).
edge(195,184).
edge(235,236).
edge(235,215).
edge(237,238).
edge(237,215).
edge(239,215).
edge(196,240).
edge(145,60).
edge(145,241).
edge(242,243).
edge(165,214).
edge(161,215).
edge(217,244).
edge(217,58).
edge(170,231).
edge(170,17).
edge(170,38).
edge(55,52).
edge(55,53).
edge(55,245).
edge(202,2).
edge(230,38).
edge(147,135).
edge(17,246).
edge(17,247).
edge(17,123).
edge(17,248).
edge(17,60).
edge(7,8).
edge(249,132).
edge(228,250).
edge(228,251).
edge(74,113).
edge(74,152).
edge(74,212).
edge(150,151).
edge(128,240).
edge(252,253).
edge(252,38).
edge(252,104).
edge(52,254).
edge(52,255).
edge(185,253).
edge(185,163).
edge(35,79).
edge(35,256).
edge(198,183).
edge(208,38).
edge(208,257).
edge(258,60).
edge(259,197).
edge(259,260).
edge(259,129).
edge(259,234).
edge(226,261).
edge(226,225).
edge(262,263).
edge(264,265).
edge(264,266).
edge(167,113).
edge(167,266).
edge(167,253).
edge(167,184).
edge(167,163).
edge(167,60).
edge(167,104).
edge(167,267).
edge(79,29).
edge(104,102).
edge(104,253).
edge(104,268).
edge(104,257).
edge(269,19).
edge(270,214).
edge(159,213).
edge(254,214).
edge(254,34).
edge(65,96).
edge(271,272).
edge(271,60).
edge(200,273).
edge(255,274).
edge(261,275).
edge(253,60).
edge(276,98).
edge(263,58).
edge(83,29).
edge(83,81).
edge(83,8).
edge(68,274).
edge(267,277).
edge(116,257).
edge(38,45).
edge(38,278).
edge(19,21).
edge(19,98).
edge(279,21).
edge(280,6).
edge(223,113).
edge(281,98).
edge(24,8).
edge(98,110).
edge(98,282).
edge(98,21).
edge(98,58).
edge(163,113).
edge(275,283).
edge(213,90).
edge(213,103).
edge(213,251).
edge(284,123).
edge(183,181).
edge(247,285).
edge(225,220).
edge(225,251).
edge(286,129).
edge(287,210).
edge(287,129).
edge(152,212).
edge(288,90).
edge(289,243).
edge(90,89).
edge(90,121).
edge(29,290).
edge(29,81).
edge(29,8).
edge(29,291).
edge(214,292).
edge(8,189).
edge(8,81).
edge(293,132).
edge(293,58).
edge(294,243).
edge(294,58).
edge(129,295).
edge(212,296).
edge(106,282).
edge(132,58).
edge(141,283).
edge(141,251).
edge(297,58).
edge(58,45).
edge(58,298).
edge(299,45).
edge(189,300).
first(1).
last(300).
