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