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