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