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