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