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