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