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