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