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