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