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