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