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