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