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