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