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