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