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