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