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