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