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