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