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