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