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