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