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