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