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