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