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