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