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