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