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