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