edge(1,2).
edge(1,3).
edge(1,4).
edge(1,5).
edge(1,6).
edge(7,8).
edge(7,9).
edge(7,10).
edge(11,9).
edge(11,12).
edge(13,14).
edge(13,15).
edge(16,17).
edge(16,18).
edge(16,12).
edge(19,20).
edge(19,21).
edge(19,22).
edge(19,23).
edge(24,25).
edge(14,25).
edge(15,26).
edge(15,27).
edge(15,23).
edge(15,28).
edge(15,29).
edge(30,31).
edge(30,10).
edge(22,32).
edge(22,33).
edge(22,34).
edge(35,36).
edge(35,18).
edge(37,38).
edge(37,39).
edge(37,40).
edge(37,34).
edge(37,41).
edge(42,43).
edge(23,27).
edge(23,44).
edge(23,36).
edge(23,5).
edge(23,45).
edge(46,47).
edge(46,48).
edge(49,31).
edge(49,50).
edge(51,48).
edge(52,53).
edge(54,55).
edge(54,56).
edge(54,36).
edge(54,20).
edge(54,57).
edge(54,34).
edge(58,28).
edge(58,34).
edge(59,48).
edge(29,28).
edge(57,60).
edge(57,53).
edge(61,62).
edge(61,34).
edge(21,63).
edge(21,64).
edge(21,34).
edge(21,50).
edge(21,10).
edge(65,41).
edge(53,8).
edge(53,66).
edge(53,34).
edge(60,67).
edge(60,68).
edge(60,69).
edge(25,70).
edge(25,71).
edge(25,72).
edge(25,73).
edge(25,34).
edge(25,74).
edge(36,63).
edge(36,64).
edge(36,75).
edge(36,76).
edge(36,34).
edge(36,50).
edge(36,74).
edge(77,63).
edge(77,78).
edge(75,63).
edge(75,79).
edge(75,50).
edge(72,70).
edge(72,63).
edge(72,41).
edge(3,2).
edge(3,5).
edge(80,68).
edge(81,34).
edge(82,34).
edge(82,83).
edge(84,17).
edge(85,63).
edge(85,32).
edge(86,40).
edge(87,18).
edge(88,12).
edge(8,89).
edge(8,43).
edge(40,90).
edge(41,70).
edge(50,31).
edge(45,27).
edge(48,18).
edge(31,68).
edge(31,34).
edge(31,5).
edge(31,18).
edge(18,91).
edge(18,68).
edge(18,2).
edge(18,92).
edge(18,43).
edge(93,26).
edge(62,94).
edge(62,5).
edge(34,63).
edge(34,66).
edge(78,63).
edge(5,2).
edge(5,76).
edge(94,95).
edge(89,43).
edge(27,44).
edge(64,63).
edge(68,96).
edge(68,97).
edge(20,98).
edge(66,99).
edge(43,63).
edge(98,79).
edge(63,32).
edge(63,100).
first(1).
last(100).
