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