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