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