edge(1,2).
edge(3,4).
edge(3,5).
edge(3,6).
edge(7,8).
edge(7,9).
edge(7,10).
edge(11,12).
edge(11,13).
edge(11,14).
edge(11,15).
edge(11,16).
edge(11,17).
edge(18,19).
edge(20,21).
edge(20,22).
edge(23,24).
edge(25,26).
edge(25,27).
edge(12,28).
edge(12,29).
edge(12,8).
edge(12,30).
edge(12,31).
edge(12,32).
edge(12,33).
edge(12,34).
edge(12,35).
edge(12,36).
edge(12,37).
edge(12,38).
edge(12,39).
edge(40,8).
edge(40,41).
edge(40,42).
edge(40,35).
edge(40,43).
edge(40,44).
edge(45,8).
edge(46,47).
edge(46,48).
edge(46,49).
edge(46,38).
edge(46,50).
edge(46,39).
edge(51,9).
edge(51,52).
edge(53,54).
edge(53,30).
edge(55,56).
edge(57,58).
edge(57,13).
edge(57,15).
edge(57,59).
edge(57,17).
edge(60,61).
edge(60,13).
edge(62,63).
edge(62,64).
edge(62,65).
edge(62,66).
edge(62,67).
edge(62,68).
edge(62,69).
edge(62,70).
edge(62,71).
edge(72,73).
edge(71,63).
edge(71,64).
edge(71,67).
edge(71,70).
edge(2,74).
edge(2,75).
edge(76,65).
edge(77,78).
edge(77,9).
edge(64,63).
edge(64,79).
edge(64,67).
edge(64,69).
edge(64,80).
edge(64,81).
edge(64,70).
edge(82,83).
edge(82,84).
edge(85,74).
edge(85,86).
edge(87,88).
edge(5,22).
edge(5,39).
edge(14,88).
edge(14,89).
edge(14,90).
edge(14,35).
edge(91,48).
edge(91,50).
edge(33,58).
edge(33,8).
edge(33,30).
edge(33,92).
edge(33,56).
edge(93,94).
edge(93,30).
edge(93,95).
edge(93,73).
edge(96,8).
edge(96,30).
edge(97,8).
edge(97,98).
edge(99,8).
edge(99,100).
edge(99,78).
edge(99,101).
edge(27,73).
edge(27,102).
edge(27,103).
edge(27,104).
edge(27,105).
edge(27,106).
edge(27,107).
edge(58,108).
edge(58,89).
edge(58,109).
edge(58,35).
edge(58,110).
edge(58,84).
edge(111,112).
edge(42,113).
edge(15,13).
edge(15,16).
edge(31,8).
edge(31,30).
edge(31,32).
edge(114,29).
edge(115,54).
edge(115,116).
edge(115,89).
edge(115,117).
edge(115,118).
edge(115,19).
edge(17,59).
edge(17,35).
edge(17,39).
edge(119,90).
edge(119,22).
edge(26,94).
edge(26,113).
edge(110,120).
edge(80,121).
edge(80,67).
edge(122,116).
edge(123,124).
edge(125,126).
edge(125,32).
edge(125,127).
edge(125,128).
edge(125,47).
edge(125,48).
edge(125,49).
edge(125,129).
edge(130,128).
edge(130,105).
edge(130,84).
edge(130,38).
edge(131,74).
edge(131,86).
edge(131,132).
edge(131,10).
edge(102,35).
edge(102,133).
edge(102,84).
edge(134,113).
edge(135,39).
edge(136,8).
edge(136,30).
edge(136,32).
edge(136,56).
edge(136,84).
edge(137,90).
edge(108,34).
edge(92,100).
edge(92,138).
edge(92,35).
edge(92,84).
edge(139,35).
edge(41,140).
edge(141,37).
edge(66,142).
edge(66,65).
edge(66,69).
edge(89,143).
edge(89,117).
edge(89,100).
edge(89,35).
edge(89,84).
edge(4,6).
edge(4,144).
edge(4,84).
edge(117,22).
edge(10,74).
edge(10,86).
edge(10,145).
edge(10,132).
edge(10,146).
edge(10,129).
edge(10,147).
edge(49,78).
edge(148,16).
edge(48,32).
edge(48,149).
edge(48,86).
edge(48,128).
edge(48,47).
edge(48,56).
edge(48,37).
edge(48,129).
edge(48,84).
edge(48,38).
edge(21,150).
edge(21,151).
edge(21,84).
edge(152,39).
edge(153,143).
edge(153,19).
edge(153,37).
edge(153,84).
edge(44,154).
edge(34,126).
edge(34,38).
edge(155,9).
edge(128,156).
edge(128,56).
edge(128,105).
edge(128,84).
edge(128,38).
edge(56,126).
edge(56,32).
edge(56,127).
edge(56,149).
edge(56,157).
edge(56,37).
edge(56,105).
edge(56,158).
edge(159,160).
edge(161,22).
edge(127,29).
edge(127,143).
edge(127,9).
edge(127,37).
edge(52,9).
edge(52,13).
edge(52,39).
edge(70,63).
edge(70,69).
edge(162,163).
edge(112,84).
edge(164,124).
edge(164,16).
edge(22,90).
edge(22,113).
edge(165,84).
edge(165,9).
edge(166,39).
edge(129,47).
edge(151,124).
edge(151,16).
edge(86,74).
edge(86,167).
edge(86,132).
edge(63,67).
edge(63,81).
edge(61,39).
edge(154,168).
edge(75,169).
edge(170,171).
edge(170,84).
edge(156,105).
edge(8,30).
edge(8,32).
edge(8,13).
edge(8,35).
edge(8,144).
edge(8,105).
edge(126,9).
edge(126,35).
edge(54,100).
edge(54,84).
edge(116,19).
edge(116,100).
edge(116,35).
edge(168,172).
edge(140,105).
edge(140,39).
edge(67,81).
edge(173,35).
edge(9,174).
edge(9,35).
edge(9,37).
edge(9,84).
edge(9,175).
edge(32,13).
edge(32,47).
edge(74,132).
edge(74,24).
edge(37,176).
edge(37,177).
edge(37,47).
edge(37,143).
edge(29,36).
edge(19,160).
edge(19,178).
edge(179,144).
edge(179,84).
edge(13,35).
edge(13,180).
edge(181,163).
edge(181,182).
edge(132,167).
edge(132,147).
edge(6,144).
edge(30,183).
edge(160,183).
edge(160,143).
edge(160,84).
edge(184,84).
edge(185,84).
edge(142,24).
edge(142,84).
edge(69,103).
edge(69,24).
edge(186,158).
edge(113,84).
edge(35,172).
edge(35,78).
edge(35,174).
edge(35,143).
edge(35,187).
edge(35,188).
edge(35,105).
edge(35,84).
edge(100,118).
edge(100,84).
edge(124,16).
edge(189,95).
edge(107,103).
edge(107,133).
edge(144,39).
edge(190,138).
edge(190,191).
edge(190,84).
edge(192,84).
edge(78,28).
edge(78,38).
edge(174,187).
edge(193,84).
edge(163,150).
edge(105,88).
edge(47,38).
edge(47,39).
edge(194,171).
edge(194,195).
edge(84,172).
edge(84,88).
edge(84,196).
edge(84,171).
edge(143,118).
edge(197,39).
edge(198,199).
edge(200,88).
edge(188,16).
edge(199,150).
edge(16,59).
first(1).
last(200).
