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