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