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