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