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