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