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